Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.comยท20hยท
Discuss: Hacker News
๐Ÿ”คType Theory
Outbox Done Right in Go: Building Resilient Event-Driven Systems with NATS and SQL
dev.toยท6hยท
Discuss: DEV
๐Ÿ“Database WAL
AI Companies School Like Fish
dbreunig.comยท5h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.comยท1d
๐Ÿ’ŽInformation Crystallography
DHH is immortal, and costs $200M
danieltenner.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Coco โ€“ Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.deยท2dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
My Lobsters Interview
susam.netยท2d
โš™๏ธProof Engineering
Building software that survives contact with reality
complexsystemspodcast.comยท2hยท
Discuss: Hacker News
๐Ÿ’พPersistence Strategies
Defeating Nondeterminism in LLM Inference โ€“ Thinking Machines Lab
jmason.ieยท2d
๐Ÿ’ปLocal LLMs
DCP-o-matic โ€ข Re: DCP with CPLs with different audio tracks, Verify gives an error.
dcpomatic.comยท17h
โœ…FLAC Verification
Claude Code
michal.sapka.plยท9h
๐Ÿฆ€Rust Macros
Choosing Rust for LLM-generated code
runmat.orgยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Migrate from Anthropicโ€™s Claude 3.5 Sonnet to Claude 4 Sonnet on Amazon Bedrock
aws.amazon.comยท1d
๐Ÿ”ŒInterface Evolution
5 Maths Gems #192
resourceaholic.comยท15hยท
Discuss: www.resourceaholic.com
๐Ÿ“Mathematical Art
A Shadow of Triality?
golem.ph.utexas.eduยท15h
๐Ÿ”ฒProof Irrelevance
Verification power of rational-valued automata with deterministic and affine states
arxiv.orgยท3d
๐ŸŽฏAutomata theory
The Capability-Tractability Tradeoff (2023)
buttondown.comยท1dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
An introduction to program synthesis
mchav.github.ioยท2dยท
Discuss: Hacker News, r/programming
๐Ÿ“Compiler Design
The Data Backbone of LLM Systems
infoq.comยท2dยท
Discuss: Lobsters
๐Ÿ”—Constraint Handling
From Legal Documents to Knowledge Graphs
neo4j.comยท17hยท
Discuss: Hacker News
๐Ÿ“‹Document Grammar