📐 Language Theory - cpt · Scour

Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer 🧩programming

arxiv.org·5d

Shape Grammar ⚙️Compilers

en.wikipedia.org·2d·Hacker News

inamiy/swift-concurrency-type-system: Formal typing rules and presentation materials for Swift 6.2's concurrency type system, focusing on Capability and Region. Presented at try! Swift Tokyo 2026. 🧩programming

github.com·9h·Lobsters

Want to Write a Compiler? Just Read These Two Papers (2008) ⚙️Compilers

prog21.dadgum.com·15h·Hacker News

Robert Smith: Not all elementary functions can be expressed with exp-minus-log 🧩programming

stylewarning.com·2d·Lobsters, Hacker News

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 🧩programming

jointhefreeworld.org·5d·Lobsters, Hacker News

Top (Modern Common Lisp with FSet) 🧩programming

fset.common-lisp.dev·15h·Lobsters, Hacker News

A Dumb Introduction to z3 🧩programming

ar-ms.me·2d·Lobsters, Hacker News

Coalescence and translation: A language model for population genetics 🧩programming

pnas.org·15h

$\lambda_A$: A Typed Lambda Calculus for LLM Agent Composition 🧩programming

arxiv.org·1d

But what about K? ⚙️Compilers

tony-zorman.com·6d·Lobsters, Hacker News

Bad influence: LLMs can transmit malicious traits using hidden signals ⚙️Compilers

nature.com

·10h

Running the first program ⚙️Compilers

enigmaticcode.wordpress.com·2d·Lobsters

The Future of Everything is Lies, I Guess: New Jobs 🧩programming

aphyr.com·12h·Hacker News

research!rsc: Yacc is Not Dead 🧩programming

research.swtch.com·6d·Lobsters

0.16.0 Release Notes ⚡ The Zig Programming Language 🧩programming

ziglang.org·1d·Lobsters, Hacker News, r/Zig

FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning 🧩programming

arxiv.org·1d

Let’s talk about LLMs 🧩programming

b-list.org·6d·Lobsters, Hacker News, Hacker News

A giant leap for jargon 🧩programming

ft.com

·3d

Language models transmit behavioural traits through hidden signals in data 🧩programming

nature.com·10h·Hacker News

Loading more...