Generative #AI has prompted a flurry of experimentation, resulting in a parade of failed pilots, unproven PoCs, and unrealized return on investment.

Lulit Tesfaye improves companies' AI capabilities by adding #semantics to their enterprise architectures. This puts their precious knowledge assets in a #context that machines can actually work with. A crucial part of that context is the interoperability that standards like #RDF enable.

https://knowledgegraphinsights.com/lulit-tesfaye/

From 10:30 to 11:15 on Wednesday, June 24, the PLUSLE reading group will discuss "Universal Types and Relational Substitutions" (chapter 4 of Lau Skorstengaard's tutorial "An Introduction to Logical Relations").

https://plsl.acp.sdu.dk/posts/2026-06-24-universal-types-and-relational-substitutions/

#PLUSLE #logic #semantics #polymorphism #systemF #lambdaCalculus #programmingLanguages

Universal Types and Relational Substitutions

This meeting is a very beginner-friendly refresher on the interplay between parametricity and logical relations to prove program equivalence.

PLUSLE
🚀 Behold, the tech world's latest overhyped solution: a magical tool that promises to decode your Git logs like a fortune teller reading tea leaves. 🌿 With "sem," we can now celebrate the heroic achievement of turning a simple commit into a jargon-filled revelation of brilliance. 🎉 But wait—did anyone actually ask for this? 🤔
https://ataraxy-labs.github.io/sem/ #overhypedtech #magicaltools #gitlogs #semantics #jargon #HackerNews #ngated
sem

Sem: New primitive for code understanding – not LSPs, but entities on top of Git

https://ataraxy-labs.github.io/sem/

#HackerNews #codeunderstanding #Semantics #Gitentities #LSPs #programming

sem

Weekend riddle:

I’m went to the pharmacy to get a vaccine. But what I got was a logic riddle! 😵‍💫

(And/or a #semantics vs #pragmatics riddle)

How should I answer question 7?

Does answering “Yes” mean all previous questions are N/A?
If so, what does answering “N/A” mean?

Otherwise, should I tick the “N/A” column as if I ticked it in all previous questions?

How is it different from answering question 7 with “No”? 🤦‍♂️

#SEMANTiCS 2026: #Grants & #Scholarships

Are you a student or early-career researcher needing support for travel & lodging? Don't let financial barriers stand in your way! Multiple internal & external funding opportunities are available.
🔗 https://2026-eu.semantics.cc/page/scholarships.html

https://2026-eu.semantics.cc

For nearly three decades, Giancarlo Guizzardi has researched and advanced the field of #semantics and the practice of #ontology and #conceptualModeling.

His work on the Unified Foundational Ontology (UFO), the OntoUML pattern language, and AI explainability are just a few of the accomplishments that make him an exemplar of the "full-stack ontologist."

A fun conversation with an incredibly accomplished researcher. Hope you enjoy it, too.

https://knowledgegraphinsights.com/giancarlo-guizzardi/

Giancarlo Guizzardi: ontology, semantics, and explainable AI

Giancarlo Guizzardi is an expert on ontology engineering, conceptual modeling, semantics, and explainable AI at the University of Twente.

KGI

I've shared the opening chapters of A Language Insufficiency Hypothesis on PhilPapers.

📕👉 https://philpapers.org/rec/WILALI-3

I examine the structural limits of human language as a medium for conveying meaning. This counters the widespread assumption that clearer definitions.

👉 https://philosophics.blog/2026/05/25/a-language-insufficiency-hypothesis-on-philpapers/?utm_source=masto&utm_medium=social

#philosophy #books #reading #writing #author #nonfiction #academic #language #communication #efficiency #semantics #pragmatics #meaning #society #critique #complexity #power #blog #poscast

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