A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3h·
Discuss: Lobsters, Hacker News
📝Lisp
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🧮Programming Language Theory
Show HN: List of Clojure-Like projects
github.com·19h·
Discuss: Hacker News
🔧Compiler Design
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·1d
🧮Programming Language Theory
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·2d
📈Complexity Theory
Questa One Avery VIP: Accelerated Confidence In Complex Protocol Verification
semiengineering.com·2d
🤝Protocol Design
Vibe coding complex changes in Rust
youtube.com·18h
🦀Rust
Lobsters Interview with Icefox
lobste.rs·22h·
Discuss: Lobsters
🔧Compiler Design
🐥 Elixir Anti-Patterns
yellowduck.be·22h
⚙Functional Programming
A Library Approach to Constant Template Parameters
brevzin.github.io·1h·
Discuss: Hacker News
🧮Programming Language Theory
In-Depth Comparison: Workflow Control with LangGraph and CrewAI
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Issuing TLS Certificates in Go
getpid.dev·1h·
Discuss: r/golang
🤝Protocol Design
Footnotes, Gödel exercises, Purcell
logicmatters.net·2d
🔢Mathematical Logic
Research Areas in Information Theory and Cryptography (The Alignment Project by UK AISI)
lesswrong.com·1d
🔐Cryptography
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·2d·
Discuss: Hacker News
🔧Compiler Design
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
Constraint Catalog
sofdem.github.io·1d
🎯Constraint Programming
Prompt Engineering for Security. Innovation in Verification
semiwiki.com·3d
🔍Static Analysis
The Math Is Haunted
overreacted.io·3d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🧩Theorem Proving