🔤 Type Theory

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

FHE@PDX 2025
jeremykun.com·2d
🔐Homomorphic Encryption
Worth Reading 072725
rule11.tech·5h
🌊Apache Kafka
Claude tries beam bending
leancrew.com·1d
🌀Differential Geometry
Vintage Macintosh Programming Book Library
taoofmac.com·3d
🖥️Vintage Macintosh
Modern (Kernel) Low Fragmentation Heap Exploitation
r0keb.github.io·1d
🧠Memory Allocators
Soil Based Half-Adder Processor
igorkomolov.com·3h·
Discuss: Hacker News
🔩Systems Programming
Visualizing TCP
research.swtch.com·1d·
Discuss: Hacker News
📡Network Archaeology
LLMs Force Engineering Discipline We Should Have Had All Along
kore-nordmann.de·13h·
Discuss: Hacker News
🛠Language Design
ICML 2025 Outstanding Paper Awards
icml.cc·5d·
Discuss: Hacker News
🧠Machine Learning
Hexatetrahedral Rails
blog.julik.nl·2d·
Discuss: Hacker News
🔌Interface Evolution
Texts as Toys
contraptions.venkateshrao.com·5h·
Discuss: Hacker News
🔲Cellular Automata
Expense Coding Errors Aren’t Random—They’re Rule-Based, New Study Finds
hackernoon.com·4d
✅Format Verification
Tessera: A declarative, immediate-mode UI framework for Rust
github.com·20h·
Discuss: Hacker News
🦀Rust Borrowing
The Recursive Coherence Principle: A Formal Constraint on Scalable Intelligence, Alignment, and Reasoning Architecture
arxiv.org·5d
🧠Intelligence Compression
AlphaGo Moment for Model Architecture Discovery
arxiv.org·3d·
Discuss: Hacker News
🎯Performance Proofs
Python source code analyzer based on distrust
github.com·8h·
Discuss: Hacker News
🚀Indie Hacking
Discovering the dynamics of \emph{Sargassum} rafts' centers of mass
arxiv.org·38m
🔲Cellular Automata
Boolean SHA256 with TFHE-rs (2023)
zama.ai·2d·
Discuss: Hacker News
🔢Bitwise Algorithms
Perspective from a Higher Dimension: Can 3D Geometric Priors Help Visual Floorplan Localization?
arxiv.org·38m
📐Projective Geometry
AI Alignment and the Human Fabric of Deceit
d1gesto.blogspot.com·2d·
Discuss: Hacker News
🔲Cellular Automata