Double Maths First Thing: Issue 2A
aperiodical.com·16h
👑Isabelle
Greedy Is Good. Less Greedy May Be Better
gojiberries.io·23h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
What LLMs Know About Their Users
schneier.com·13h·
Discuss: Hacker News
💻Local LLMs
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·7h
🔒Linear Types
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·20h
🔍Type Inference
BNFGen: A random text generator based on context-free grammars
baturin.org·6h·
Discuss: Hacker News
🌳Context free grammars
daily quizzz
dev.to·11h·
Discuss: DEV
λLambda Encodings
higher: Your favourite Haskell type classes for Rust (2023)
github.com·4d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Godel's Incompleteness Theorem
news.ycombinator.com·7h·
Discuss: Hacker News
🔤Type Theory
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·13h·
Discuss: Hacker News, r/programming
🔗Lisp
Cactus Language • Syntax 11
inquiryintoinquiry.com·2d
📝Concrete Syntax
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·2d
🔗Combinatory Logic
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Eristic Architecture for AI
rexriepe.com·5h·
Discuss: Hacker News
🔲Cellular Automata
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·20h
🔗Topological Sorting
LeetCode 2040 Beginner friendly explanation
dev.to·1d·
Discuss: DEV
🧮Kolmogorov Complexity
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·1d
👑Coq Tactics
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages