Lingolol

0 posts0 participants0 posts today

Ray of Sunshine<a href="https://mstdn.social/tags/drexel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#drexel</a> campus in <a href="https://mstdn.social/tags/Philadelphia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Philadelphia</a> on a walk last night <a href="https://mstdn.social/tags/StreetPhotography" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#StreetPhotography</a>

Unicorn RiotIn interviews on-site students said that they were pushing to get <a href="https://mastodon.social/tags/Drexel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Drexel</a> to pull its investments from BlackRock, which does business with Israel, as well as other divestments. They also said Drexel administrators have claimed it is illegal to disclose specific investments.

Penny Richardsstarted a <a href="https://mastodon.world/tags/wikipedia" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#wikipedia</a> article on US pathologist Sheila Moriber Katz (1943-2023), worked on Legionnaire's disease: <a href="https://en.wikipedia.org/wiki/Sheila_Moriber_Katz" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://en.wikipedia.org/wiki/Sheila_Moriber_Katz</a> <a href="https://bird.makeup/users/wikiwomeninred" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@wikiwomeninred</a> <a href="https://mastodon.world/tags/hahnemann" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#hahnemann</a> <a href="https://mastodon.world/tags/Drexel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Drexel</a> <a href="https://mastodon.world/tags/Gladwyne" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Gladwyne</a> <a href="https://mastodon.world/tags/Legionnaires" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Legionnaires</a> <a href="https://mastodon.world/tags/Cornell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Cornell</a> <a href="https://mastodon.world/tags/Duke" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Duke</a> <a href="https://mastodon.world/tags/Diedin2023" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Diedin2023</a>

Andrew LeaheyWeds 10/25 - Trump and Cohen 👀, Eastman Fights for Law License, States Back Subjecting MLB to Antitrust Law, NLRB Case on College Athlete Employee Status and my <a href="https://esq.social/tags/Drexel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Drexel</a> Kline Undergraduate Tax ClassTrump and Cohen have a glare-off in court, <a href="https://esq.social/tags/Eastman" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Eastman</a> continues fight for law license, states back subjecting <a href="https://esq.social/tags/MLB" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MLB</a> to antitrust, an <a href="https://esq.social/tags/NLRB" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NLRB</a> case on employee status of athletes, and Column Tuesday on my class.<a href="https://esq.social/tags/baseball" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#baseball</a> <a href="https://a.gup.pe/u/baseball" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@baseball@a.gup.pe</a> <a href="https://chirp.social/@baseball" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@baseball@chirp.social</a> <a href="https://esq.social/tags/lawfedi" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lawfedi</a> <a href="https://esq.social/tags/podcast" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#podcast</a> <a href="https://esq.social/tags/law" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#law</a> <a href="https://esq.social/tags/trump" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#trump</a> <a href="https://www.minimumcomp.com/p/weds-1025-trump-and-cohen-eastman" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.minimumcomp.com/p/weds-1025-trump-and-cohen-eastman</a>

Danny Boling ☮️"Lack of sufficient <a href="https://mstdn.social/tags/interaction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#interaction</a> between <a href="https://mstdn.social/tags/mother" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mother</a> and <a href="https://mstdn.social/tags/child" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#child</a> may result in <a href="https://mstdn.social/tags/insecure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#insecure</a> attachment and delay of <a href="https://mstdn.social/tags/cognitive" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#cognitive</a>, <a href="https://mstdn.social/tags/motor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#motor</a> and <a href="https://mstdn.social/tags/emotional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#emotional</a> development. As such, <a href="https://mstdn.social/tags/children" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#children</a> <a href="https://mstdn.social/tags/born" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#born</a> as a result of unwanted <a href="https://mstdn.social/tags/pregnancies" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#pregnancies</a> are more likely to suffer from <a href="https://mstdn.social/tags/DomesticViolence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DomesticViolence</a> and witness <a href="https://mstdn.social/tags/parental" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#parental</a> <a href="https://mstdn.social/tags/intimate" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#intimate</a> <a href="https://mstdn.social/tags/partner" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#partner</a> <a href="https://mstdn.social/tags/violence" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#violence</a>." <a href="https://mstdn.social/tags/Abortion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Abortion</a> <a href="https://mstdn.social/tags/AbortionRights" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AbortionRights</a> <a href="https://mstdn.social/tags/BansOffOurBodies" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BansOffOurBodies</a> <a href="https://drexel.edu/medicine/academics/womens-health-and-leadership/womens-health-education-program/whep-blog/unwanted-pregnancies-outcomes-for-children/" rel="nofollow noopener noreferrer" target="_blank">https://drexel.edu/medicine/academics/womens-health-and-leadership/womens-health-education-program/whep-blog/unwanted-pregnancies-outcomes-for-children/</a> Unwanted Pregnancies: Outcomes for Children | <a href="https://mstdn.social/tags/Drexel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Drexel</a> University College of <a href="https://mstdn.social/tags/Medicine" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Medicine</a> <a href="https://mstdn.social/tags/IAmDB" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IAmDB</a>

onedayapoet<a href="https://mstdn.social/tags/philly" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#philly</a> <a href="https://mstdn.social/tags/Drexel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Drexel</a>

Kathy ReidGood morning :fediverse: In this morning's <a href="https://aus.social/tags/Introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Introduction</a> <a href="https://aus.social/tags/ConnectionList" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ConnectionList</a> <a href="https://aus.social/tags/FollowFriday" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FollowFriday</a> <a href="https://aus.social/tags/TwitterMigration" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TwitterMigration</a> post, I'm bringing you another list of folx you should consider following - so we more richly and deeply connect the <a href="https://aus.social/tags/Fediverse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Fediverse</a>. <a href="https://m.webtoo.ls/@jess" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@jess</a> is a Staff <a href="https://aus.social/tags/SoftwareEngineer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SoftwareEngineer</a> in <a href="https://aus.social/tags/OpenSource" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OpenSource</a> with interests in <a href="https://aus.social/tags/web" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#web</a> and <a href="https://aus.social/tags/testing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#testing</a> 👋 <a href="https://vis.social/@shirley" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@shirley</a> works in <a href="https://aus.social/tags/dataviz" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#dataviz</a> and combines <a href="https://aus.social/tags/code" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#code</a> and <a href="https://aus.social/tags/art" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#art</a> to make wonder and hope 👋 <a href="https://mastodon.nz/@alisonmarigold" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@alisonmarigold</a> is a <a href="https://aus.social/tags/mycologist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#mycologist</a> <a href="https://aus.social/tags/scientist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#scientist</a> 👋 <a href="https://functional.cafe/@hackuador" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@hackuador</a> does <a href="https://aus.social/tags/software" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#software</a>, specifically the <a href="https://aus.social/tags/functional" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#functional</a> <a href="https://aus.social/tags/fp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fp</a> type 👋 <a href="https://discuss.systems/@steveblackburn" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@steveblackburn</a> is a <a href="https://aus.social/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ComputerScience</a> <a href="https://aus.social/tags/professor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#professor</a> <a href="https://aus.social/tags/academic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#academic</a> <a href="https://aus.social/tags/researcher" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#researcher</a> who specialises in <a href="https://aus.social/tags/GarbageCollection" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#GarbageCollection</a> 👋 <a href="https://hci.social/@afsanehrazi" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@afsanehrazi</a> is an Assistant <a href="https://aus.social/tags/Professor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Professor</a> <a href="https://aus.social/tags/researcher" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#researcher</a> <a href="https://aus.social/tags/academic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#academic</a> at <a href="https://aus.social/tags/Drexel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Drexel</a> and she research <a href="https://aus.social/tags/HCI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#HCI</a>, <a href="https://aus.social/tags/privacy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#privacy</a> and <a href="https://aus.social/tags/safety" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#safety</a> 👋 <a href="https://activism.openworlds.info/@jujuliagrace" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@jujuliagrace</a> is a <a href="https://aus.social/tags/doctor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#doctor</a> and <a href="https://aus.social/tags/activist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#activist</a> who is opposing privitisation of the <a href="https://aus.social/tags/NHS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NHS</a> 👋 Professor <a href="https://noc.social/@Prof_Klinger" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@Prof_Klinger</a> is a <a href="https://aus.social/tags/geographer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#geographer</a> and <a href="https://aus.social/tags/SupplyChain" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SupplyChain</a> <a href="https://aus.social/tags/researcher" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#researcher</a> 👋 <a href="https://sfba.social/@georgelakoff" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@georgelakoff</a> is <a href="https://aus.social/tags/Professor" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Professor</a> Emeritus at UC <a href="https://aus.social/tags/Berkeley" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Berkeley</a> in cognitive <a href="https://aus.social/tags/linguistics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#linguistics</a> and <a href="https://aus.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#philosophy</a> - his Metaphors we Live By is a favourite 👋 That's all for this morning, don't forget to build your own <a href="https://aus.social/tags/ConnectionList" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ConnectionList</a> so we can more closely connect the <a href="https://aus.social/tags/Fediverse" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Fediverse</a> ❤️

ColinRealizing I never did an <a href="https://types.pl/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#introduction</a> here, even though I joined a few months ago.I'm Colin, a <a href="https://types.pl/tags/pl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#pl</a> professor at <a href="https://types.pl/tags/Drexel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Drexel</a> University. Historically I've mostly worked in (capability-based) type systems, effect systems, and program verification. Lately I'm also involved in the "linguistics of formal specifications" (particularly writing formal specs in English) though I'm moving my grumbling about linguistics papers that misuse definitions from computability and logic over to my linguistics-focused alt <a href="https://lingo.lol/@csgordon" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@csgordon@lingo.lol</a> I will however continue to talk here about <a href="https://types.pl/tags/coffee" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#coffee</a>, running <a href="https://types.pl/tags/freebsd" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#freebsd</a> on laptops (bhyve & encrypted <a href="https://types.pl/tags/ZFS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ZFS</a> home directories ftw), random OS (operating system) kernel stuff, and resisting the ever-present temptation to rewrite everything in <a href="https://types.pl/tags/rust" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rust</a> (mastodon, FreeBSD wifi drivers, research code that already works, code for classes I teach in Java, i3, etc).

Colin S. GordonJust moved over from scholar.social, so I suppose a new <a href="https://lingo.lol/tags/introduction" class="mention hashtag" rel="tag">#introduction</a> is in order. I'm a <a href="https://lingo.lol/tags/computerscience" class="mention hashtag" rel="tag">#computerscience</a> professor at <a href="https://lingo.lol/tags/Drexel" class="mention hashtag" rel="tag">#Drexel</a> university. Mostly I work in programming languages and logic, but lately I've been branching out into aspects of <a href="https://lingo.lol/tags/linguistics" class="mention hashtag" rel="tag">#linguistics</a> that dovetail nicely with that background, namely formal <a href="https://lingo.lol/tags/syntax" class="mention hashtag" rel="tag">#syntax</a> and compositional <a href="https://lingo.lol/tags/semantics" class="mention hashtag" rel="tag">#semantics</a> (mostly categorial <a href="https://lingo.lol/tags/grammars" class="mention hashtag" rel="tag">#grammars</a>), applied to software specifications.

Colin S. GordonHere's an <a href="https://scholar.social/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#introduction</a> / <a href="https://scholar.social/tags/introductions" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#introductions</a> I'm a computer science professor at <a href="https://scholar.social/tags/drexel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#drexel</a> University, working mostly in <a href="https://scholar.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> languages (type and effect systems, program verification, separation logic, compilers), but lately I'm veering into <a href="https://scholar.social/tags/linguistics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#linguistics</a>, using classic ideas from <a href="https://scholar.social/tags/syntax" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#syntax</a> and compositional <a href="https://scholar.social/tags/semantics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#semantics</a> (categorial <a href="https://scholar.social/tags/grammar" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#grammar</a> and type-theoretical semantics) to connect natural language to program specifications.

Recent searches

Search options

Administered by:

Server stats:

#Drexel