📊 Formal Semantics - matan · Scour

Shareholder primacy undermined its own logic 🎲Bayesian Cognition

seeingthesystem.com·3d·Hacker News

@Acyn It's not a joke, it's insult towards France ! 🔗Link Aggregation

threadreaderapp.com·1d

The Case Against the U.K. Smoking Ban 🧬Longevity

theatlantic.com

·5d·Hacker News

The Mutable Value Semantics (MVS): A Non-Superficial Study 💬Philosophy of Language

federicobruzzone.github.io·4h·Hacker News

Wakil Ahmad Hakimi, The Impossibility of an Actually Infinite Future: Grounding, Traversal, and Temporal Structure 💬Philosophy of Language

philarchive.org·12h·Hacker News

The Alice and Bob After Dinner Speech 💬Philosophy of Language

hex.ooo·7h·Hacker News

Evaluative AI and Semantic Topology 💬Philosophy of Language

gsnv.substack.com·5h·Substack

StupidStackLanguage 💻Claude Code

esolangs.org·11h·Hacker News

Table Oriented Programming (2002) 📝NLP

oocities.org·16h·Hacker News

Structured Generation for Tool Calling 🔧Workflow Automation

blog.dottxt.ai·1d·Hacker News

neuml/txtai: 💡 All-in-one AI framework for semantic search, LLM orchestration and language model workflows 💬Natural Language Processing

Spell-Checking with LLMs 🧩Morphology

revise.io·8h·Hacker News

Issue 649 🔬AI Research

datascienceweekly.substack.com·4h·Substack

Content Verification Platform 📝NLP

proofididit.com·14h

From Convergence to Confidence: Push-Button Verification for RDTs 🔧Workflow Automation

kcsrk.info·2d·Hacker News, Hacker News

Forging ZK proofs to mint arbitrary DUSK tokens 🤖AI

osec.io·6h·Hacker News

The Final Form of Software Development 💻Claude Code

blog.zksecurity.xyz·1d·Lobsters, Hacker News

and Between the Two of Us, We Couldn't Spec-ify a Thing – SpecDD - Specification-Driven Development framework 💻Claude Code

specdd.ai·16h·Hacker News

Why Law Is Law-Shaped 💬Philosophy of Language

lawvm.org·1d·Hacker News

Both Sides Of A Breakup 📄Zines

Log in to enable infinite scrolling