higher: Your favourite Haskell type classes for Rust (2023)
github.com·20h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·6h·
Discuss: DEV
🧬Functional Programming
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Coping with Complexity
slott56.github.io·23h
🔗Concatenative Programming
Graphs With Polarities (Part 6)
johncarlosbaez.wordpress.com·1d
📈Spectral Graph Theory
Of Course ML Has Monads! (2011)
existentialtype.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🧬Functional Programming
Is Mathematics Mostly Chaos or Mostly Order?
quantamagazine.org·1d·
Discuss: Hacker News
🏗️Constructive Mathematics
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·2d·
Discuss: Hacker News
🔢Denotational Semantics
brainfuck-rs: A Brainfuck AOT compiler written in Rust
reddit.com·1h·
Discuss: r/rust
🦀Rust Macros
Program Synthesis is Interesting and Open
stephendiehl.com·10h·
Discuss: Hacker News
💻Programming languages
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
A very short book note
logicmatters.net·1d
⚔️Lean Theorem
Cracovians: The Twisted Twins of Matrices
marcinciura.wordpress.com·1d·
Discuss: Hacker News
📐Linear Algebra
equality in type theory
ncatlab.org·6d
λLambda Formalization
Memory Safety in Web Rust System Zero Cost Secure（1750570224424500）
dev.to·5h·
Discuss: DEV
🦀Rust Borrowing
Discover C++26’s compile-time reflection
lemire.me·9h·
Discuss: Hacker News
🦀Rust Macros
Typst Examples Book
sitandr.github.io·1d
📝Concrete Syntax
Book Notes: Full Frontal Calculus by Seth Braver — Chapter 1 Review
ruslanspivak.com·1d
🔬Lean
Grelling–Nelson Paradox
en.wikipedia.org·1d·
Discuss: Hacker News
🔲Proof Irrelevance
New Othello experiment supports the world model hypothesis for large language models
the-decoder.com·1h
🤖Paleographic AI