Cactus Language • Pragmatics 4
inquiryintoinquiry.com·12h
📐Format Grammars
SpecTree: Composable Context Engineering for LLMs
fuzzycomputer.com·8h·
Discuss: Hacker News
✅Formal Methods
Bitwise Operators in Python
realpython.com·13h
🔢Bitwise Algorithms
Running in CIRCLE? A Simple Benchmark for LLM Code Interpreter Security
arxiv.org·23h
🔒Language-based security
From XML to JSON to CBOR
cborbook.com·10h·
Discuss: Lobsters, Hacker News
📋Document Grammar
API design note: Don’t make up multiple names for the same thing
devblogs.microsoft.com·13h
🔗Concatenative Programming
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·3h·
Discuss: Hacker News
⚔️Lean Theorem
A Retrospective on Paradigms of AI Programming (2002)
norvig.com·1d·
Discuss: Hacker News
🔗Lisp
Sidekick 5.0
binary.ninja·11h
🔄Language Evolution
HN Tags
paperstack.com·15h
🌀Brotli Internals
Reverse-Engineering Claude Code CLI Using Claude Sub Agents
sabrina.dev·1d·
Discuss: Hacker News
⚡Proof Automation
CodeSOD: An Exert Operation
thedailywtf.com·20h
🔗Dependently Typed
Overarch – model your software system as data
github.com·15h·
Discuss: Hacker News
📋Format Specification
Tokenomics by Grammar
hackernoon.com·19h
📋Document Grammar
Cranelift compiler efficiency, CFGs, and a branch peephole optimizer
cfallin.org·6h·
Discuss: Hacker News
⚙️RISC-V Microcode
What’s the purpose of a theorem? (Hint: It’s not what you think.)
statmodeling.stat.columbia.edu·2d
⚔️Lean Theorem
Formal specs as sets of behaviors
surfingcomplexity.blog·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
✅Formal Methods
Physics+ MIN/MAX & Variation: UNIZOR.COM - Physics+ 4 All - Variations
unizor.blogspot.com·1d·
Discuss: www.blogger.com
⚔️Lean Theorem
AI reshapes the craft of software engineering, with Yoav Tzfati
complexsystemspodcast.com·4h·
Discuss: Hacker News
🔄Language Evolution
Spiral Matrix: Another Matrix Layer Problem
mmhaskell.com·18h
🔗Combinatory Logic