🔤 Type Theory

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

You don't need to be a biologist to see the problem with "sex isn't binary"
thecritic.co.uk·22h·
Discuss: Hacker News
🔀Category Theory
New Tutorial: Building Data Apps in Python with Streamlit
arilamstein.com·12h·
Discuss: Hacker News
📝Concrete Syntax
How Can Math Protect Our Data?
quantamagazine.org·4d·
Discuss: Hacker News
⚛️Quantum Error Correction
BUILD: Solving the Software Complexity Puzzle
computing.llnl.gov·1d·
Discuss: Hacker News
🔗Dependency Resolution
Different isn't always better, better is always different
cory.news·10h·
Discuss: Hacker News
🔄Language Evolution
Midnight: An ORM that is only for SQLite
github.com·2d·
Discuss: Hacker News
💾SQLite
Build a Pro Docs Site Fast with MkDocs
dev.to·21h·
Discuss: DEV
📄PostScript
Seeing Like an LLM
blog.continua.ai·1d·
Discuss: Hacker News
💻Local LLMs
Understanding the Security Landscape of MCP
apideck.com·1d·
Discuss: Hacker News
📦Container Security
$100,000 or the Robot Gets it! Tech Workers' Resistance Guide: Tech Worker Actions, History, Risks, Impacts, and the Case for a Radical Flank
arxiv.org·2h
🧲Magnetic Philosophy
Catch and Fix Memory Leaks in Go Like a Pro
dev.to·1d·
Discuss: DEV
🦀Rusty Databases
Exact and Heuristic Algorithms for Constrained Biclustering
arxiv.org·4d
📐Linear Algebra
All you need to know about Tokenization in LLMs
medium.com·1d·
Discuss: Hacker News
📝Text Parsing
Noise-Aware Generative Microscopic Traffic Simulation
arxiv.org·2h
🔲Cellular Automata
Bayesian Gaussian Process ODEs via Double Normalizing Flows
arxiv.org·1d
🌀Differential Geometry
Ensemble-Based Graph Representation of fMRI Data for Cognitive Brain State Classification
arxiv.org·1d
🌈Spectral Methods
Understanding Dynamic Scenes in Ego Centric 4D Point Clouds
arxiv.org·2h
📐Projective Geometry
AI Meets Blockchain: The Ultimate Guide to the Future of Trust, Automation & Intelligence
dev.to·1d·
Discuss: DEV
🔗Hash Chains
G-UBS: Towards Robust Understanding of Implicit Feedback via Group-Aware User Behavior Simulation
arxiv.org·1d
🎛️Feed Filtering
I Built a Comprehensive AI Coding Tools Directory
dev.to·19h·
Discuss: DEV
🔌Archive APIs