🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Switching from xmonad to i3
underlap.org·5h
🔗Functional Compilers
Extensions and Shadows (7)
sites.psu.edu·6d
🧮Kolmogorov Complexity
Value in Formal Theory Land
4gravitons.com·2d
🏗️Constructive Analysis
Show HN: (Almost) instant NAICS, UNSPSC, HS code classification (free webapp)
classifast.com·15h·
Discuss: Hacker News
🔤Character Classification
From Async/Await to Virtual Threads
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌊Stream Processing
A Phenomenological Approach to the Philosophy of Meaning in Life
link.springer.com·7h·
Discuss: Hacker News
❄️Nordic Design Philosophy
Determinism
theprogrammersparadox.blogspot.com·2d·
Discuss: theprogrammersparadox.blogspot.com, Hacker News
🐚Shell Calculus
[P] I tried implementing the CRISP paper from Google Deepmind in Python
reddit.com·13h·
Discuss: r/MachineLearning
🗂️Vector Databases
Why MIT Switched from Scheme to Python (2009)
wisdomandwonder.com·2d·
Discuss: Hacker News, r/programming
🤖Lisp Machines
Tessera: A declarative, immediate-mode UI framework for Rust
github.com·15h·
Discuss: Hacker News
🦀Rust Borrowing
The Recursive Coherence Principle: A Formal Constraint on Scalable Intelligence, Alignment, and Reasoning Architecture
arxiv.org·4d
🧠Intelligence Compression
AlphaGo Moment for Model Architecture Discovery
arxiv.org·2d·
Discuss: Hacker News
🎯Performance Proofs
Python source code analyzer based on distrust
github.com·3h·
Discuss: Hacker News
🚀Indie Hacking
<p>I&rsquo;ve said this before and I&rsquo;ll say it again: the ability to make a lambda from a method, a la Java&rsquo;s double colon operator (e.g. <code>obj:...
lmika.org·4d
λLambda Formalization
Boolean SHA256 with TFHE-rs (2023)
zama.ai·2d·
Discuss: Hacker News
🔢Bitwise Algorithms
LL and LR Parsing Demystified (2013)
blog.reverberate.org·6d·
Discuss: Lobsters, Hacker News
🔗Monadic Parsing
AI Alignment and the Human Fabric of Deceit
d1gesto.blogspot.com·2d·
Discuss: Hacker News
🔲Cellular Automata
✨ How I Built Philosophy AI Agent for WLH Project
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Inference Gateway – Open-Source
github.com·1d·
Discuss: Hacker News
⚡gRPC
Analysing FIT data with Perl: interactive data analysis
perl.com·11h
📰SGML