Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·14h·
Discuss: Hacker News
🔢Denotational Semantics
And the other Big Red Logic Books?
logicmatters.net·14h
🔀Category Theory
From Object-Oriented to Functional Programming. A Fractal Metamorphisis.
dev.to·18h·
Discuss: DEV
🧬Functional Programming
Counterfactuals
plato.stanford.edu·7h·
Discuss: Hacker News
⚖️Hoare Logic
Linters, Formatters, and Type-Checkers
playfulprogramming.com·1d
🎯Gradual Typing
equality in type theory
ncatlab.org·4d
λLambda Formalization
My first experience with Formal Methods | ZipCPU
zipcpu.com·20h
🔧Hardware Verification
Apple's "Illusion of Thinking" paper shows experts deeply divided on AI reasoning
the-decoder.com·13h
🧮Theorem Proving
Monads are not like burritos
byorgey.github.io·3d·
Discuss: Lobsters, Hacker News
🧬Functional Programming
RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation
arxiv.org·1d
✓Automated Theorem Proving
Structured Output for Beginners and 3 Prompting Tips
pocketflow.substack.com·6h·
Discuss: Substack
🌳Incremental Parsing
What is cosh(List(Bool))? Or beyond algebra: analysis of data types
cofault.com·3d·
Discuss: Hacker News
🧮Algebraic Datatypes
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·2d
🔓Decompilation
Toward A Theory Of Kevin Roose | Defector
defector.com·1h
🧲Magnetic Philosophy
Posit floating point numbers: thin triangles and other tricks
marc-b-reynolds.github.io·16h·
Discuss: Lobsters, Hacker News
💎Information Crystallography
The Less Humble Programmer (2023)
digitalhumanities.org·11h·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
Cactus Language • Syntax 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
graven-image: Portability library for CL image in REPL
github.com·12h·
Discuss: Lobsters
🦀Rust Macros
Algebra 2 Problems of the Day (Algebra 2, January 2025 Part I)
mrburkemath.blogspot.com·1d·
Discuss: www.blogger.com
⚔️Lean Theorem
Show HN: CompoConf – modular configuration for modular systems
korbi.ai·9h·
Discuss: Hacker News
🧩WASM Modules