Formal Verification of Isothermal Chemical Reactors
arxiv.orgยท21h
๐Ÿ‘‘Coq Tactics
Mu Puzzle
en.wikipedia.orgยท6hยท
Discuss: Hacker News
๐Ÿ”ฒProof Irrelevance
Show HN: Higher-order transform streams: 10x faster AI with recursive prompts
timetler.comยท9hยท
Discuss: Hacker News, r/programming
๐ŸŒŠStream Processing
Door at Launch: Design Review of an LLM-Driven Story Game
ianbicking.orgยท9hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Double Maths First Thing: Issue 34
aperiodical.comยท18h
โš™๏ธProof Engineering
Writing a C compiler in 500 lines of Python
vgel.meยท9hยท
Discuss: Hacker News, r/programming
๐Ÿฆ€Rust Macros
Fractal Geometry as the Blueprint for Encryption
hackernoon.comยท1d
๐Ÿ”Homomorphic Encryption
Incremental query updating in adhesive categories
topos.instituteยท3d
๐Ÿ”—Combinatory Logic
The Gold Medals in an Empty Room: Diagnosing Metalinguistic Reasoning in LLMs with Camlang
arxiv.orgยท21h
๐Ÿ”คType Theory
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.comยท5d
๐ŸŽฏPerformance Proofs
Hledger v1.50
github.comยท3hยท
Discuss: Lobsters, Hacker News
โœ…Format Verification
The Gabian History of Mathematics
cognition.cafeยท1dยท
Discuss: Hacker News
๐Ÿ”ฌLean
Joint AIAI/LFCS Seminar-Monday 29th September 2025 by Visiting Speaker: Andrew D. Gordon
informatics.ed.ac.ukยท1d
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Building Your First RAG System with Amazon Bedrock Agents and FAISS: A Developer's Journey
dev.toยท22hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
A friendly starter paper - Entropy-Guided Loop: Achieving Reasoning through Uncertainty-Aware Generation [R]
reddit.comยท1dยท
Discuss: r/MachineLearning
๐Ÿ”—Constraint Handling
LLMs to Blaze a Trail
blogger.comยท1d
๐Ÿ’พPersistence Strategies
Cyclic Implicit Complexity
arxiv.orgยท2d
๐ŸŽฏPerformance Proofs
The Term "Non-Deterministic" and LLMs
vishalbakshi.github.ioยท1hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
LegalChainReasoner: A Legal Chain-guided Framework for Criminal Judicial Opinion Generation
arxiv.orgยท21h
๐Ÿ”„Graph Rewriting
How to Discover the Binary System as a Child โ€ข Simon Peyton Jones & Chelsea Troy โ€ข GOTO 2025
youtube.comยท2d
โš”๏ธLean Tactics