Helvede

0 posts0 participants0 posts today

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.

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>

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="nofollow noopener noreferrer" target="_blank">#introduction</a> is in order. I'm a <a href="https://lingo.lol/tags/computerscience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#computerscience</a> professor at <a href="https://lingo.lol/tags/Drexel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#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="nofollow noopener noreferrer" target="_blank">#linguistics</a> that dovetail nicely with that background, namely formal <a href="https://lingo.lol/tags/syntax" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#syntax</a> and compositional <a href="https://lingo.lol/tags/semantics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#semantics</a> (mostly categorial <a href="https://lingo.lol/tags/grammars" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#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