You don’t know HTML Lists

This second installment in the "You don't know HTML" series is going to be all about the ways that we put collections of things together

Frank M Taylor
Schanuel’s conjecture and the semantics of FPSan

I’ve been spending some of my time recently developing a tool called FPSan in collaboration with Pawel Szczerbuk. It’s implemented as a Triton compiler pass, but has none of the desirab…

Complex Projective 4-Space

⏳ Deadline Extension: Call for #Tutorial Proposals at #SEMANTiCS 2026!

Are you planning to submit a tutorial proposal to the SEMANTiCS 2026 conference? We are happy to extend the Tutorial proposal submission deadline by two weeks!

📅 New Date: May 30, 2026

🔗 https://2026-eu.semantics.cc/page/cfp_workshops_tutorials.html

a lesson in #language - who's "putting personal #policy preferences ahead of proper interpretations of #law"?

10,000 rulings: The courts’ overwhelming rebuke of Trump’s #ICE policies https://www.politico.com/news/2026/05/13/10k-rulings-ice-mandatory-detention-trump-analysis-00914195

#rhetoric #semantics #propaganda #doublespeak #euphemisms #gaslighting

10,000 rulings: The courts’ overwhelming rebuke of Trump’s ICE policies

A POLITICO analysis reveals judges have ruled against ICE detention practices in roughly 90 percent of cases since the agency mandated that millions of immigrants must be locked up while they face deportation proceedings.

Politico
OK, #C23 #stdckdint #ckd_add () and friends look pretty freaking cool. I spam my own code as copypasta for detecting #wraparound with unsigned integer types in network protocol sequence number spaces, but the #semantics are pretty much lifted straight from #rfc3626 anyway. Maybe I should give it the C23 and C++26 template method treatment. https://gustedt.gitlabpages.inria.fr/c23-library/#stdckdint @JensGustedt @wdtz #languagelawyering
C23 implications for C libraries

Towards a Higher-Order Bialgebraic Denotational Semantics by Sergey Goncharov, @mperessotti, @stelios, Henning Urbat, and me has been (unconditionally) accepted at ICFP'26! Abstract below ​

#icfp #functionalProgramming #programmingLanguages #semantics #coalgebra #categoryTheory
The words we use: Mental health literacy is expanding but not always improving - Healthy Debate

We have more language than ever to describe mental health, but not always more clarity about what those words mean.

Healthy Debate

It's annoying how contested and confusing political terms are.
Does "capitalism" mean free markets or investor-ownership?
Does "libertarianism" mean a politics of freedom or does it mean a politics of property?
Does "communism" mean a classless, moneyless, stateless society or does it mean totalitarianism?
Does "liberalism" mean a politics of freedom or does it mean a politics of 'equity'?
Wikipedia defines left-wing as a politics of equality and right-wing as a politics of hierarchy. But then why is transgenderism considered left-wing and the pro-life-movement right-wing?
And if being against abortion is right-wing, does that mean so is being against killing animals for meat and leather? Because any sane person would say those are both pro-life.

#politics #semantics

One for the semanticists… 🤪
“Remember, today’s pickup is today” (Signal message from the farm share) #semantics #linguistics

🔊 Call for Industry & Use Cases Presentations - #SEMANTiCS 2026

Are you implementing Semantic Technologies in a real-world enterprise environment?

The Industry & Use Case Track at SEMANTiCS 2026 is now open for submissions!

Read more: https://2026-eu.semantics.cc/page/cfp_industry.html