Aperiodic Tilings V: the Refinable Frontier
chiark.greenend.org.uk·23h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Show HN: I Made an ESP32 On-Call Beeper
techsquidtv.com·10h·
Discuss: Hacker News
🩹Self-Healing Systems
Lightcap: A Symbolic Mirror Forged in Algebra
lightcapai.medium.com·1h·
Discuss: Hacker News
🎮Verification Games
VoCap: Video Object Captioning and Segmentation from Any Prompt
arxiv.org·1d
🧩Parser Combinators
The Origins of Python
inference-review.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
‘World Models,’ an Old Idea in AI, Mount a Comeback
quantamagazine.org·10h·
Discuss: Hacker News
🧠Automated Reasoning
Breaking Verifiable Abstractions
alperenkeles.com·1d·
Discuss: Hacker News, r/programming
🔍Formal Verification
Seven Hours, Zero Internet, and Local AI Coding at 40,000 Feet
betweentheprompts.com·8h·
Discuss: r/programming
🔬Unikernels
Method Iteration: An LLM Prompting Technique
lesswrong.com·3d
✓Automated Theorem Proving
Build an AI coding agent in Python
theptrk.com·18h·
Discuss: Hacker News
💎Refinement Types
Tripping Around REPL
vlaaad.github.io·1d·
Discuss: Hacker News
🛡️seL4
How AI Is Changing–Not 'Killing'–College
insidehighered.com·9h·
Discuss: Hacker News
🎮Verification Games
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
🧩Parser Combinators
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2d·
Discuss: Hacker News
🔤DSLs
Erik's Plea in The Free Press: Bring Back Aristocratic Tutoring
theintrinsicperspective.com·8h·
Discuss: Hacker News
🎮Verification Games
ORCA: ORchestrating Causal Agent
arxiv.org·1d
⚙Operational Semantics
Show HN: I Used RAG and Power Automate to Turn User Story to Tech Spec and Tasks
medium.com·9h·
Discuss: Hacker News
🤖Program Synthesis
Is AI Running the Government? Here’s What We Know
gizmodo.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Do Self-Supervised Speech Models Exhibit the Critical Period Effects in Language Acquisition?
arxiv.org·1d
🧩Parser Combinators
Zero-Shot KWS for Children's Speech using Layer-Wise Features from SSL Models
arxiv.org·1d
🔠Type-Level Programming