🔤 Type Theory

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

State of CSS 2025
2025.stateofcss.com·1h·
Discuss: Lobsters, Hacker News
🖋Typography
You don't need to be a biologist to see the problem with "sex isn't binary"
thecritic.co.uk·1d·
Discuss: Hacker News
🔀Category Theory
Rain: Transiently Leaking Data from Public Clouds Using Old Vulnerabilities
openreview.net·15h·
Discuss: Hacker News
🌳Archive Merkle Trees
New Tutorial: Building Data Apps in Python with Streamlit
arilamstein.com·16h·
Discuss: Hacker News
📝Concrete Syntax
Procrastination and the Bikeshed Effect (2009)
blog.codinghorror.com·1d·
Discuss: Hacker News
🔗Topological Sorting
Different isn't always better, better is always different
cory.news·14h·
Discuss: Hacker News
🔄Language Evolution
Build a Pro Docs Site Fast with MkDocs
dev.to·1d·
Discuss: DEV
📄PostScript
Seeing Like an LLM
blog.continua.ai·1d·
Discuss: Hacker News
💻Local LLMs
Nyctal: Zero dependency Golang Wayland compositor
github.com·18h·
Discuss: Hacker News
🔓Open Source Software
Writer's block with some slick hardware and a healthy environment.
reddit.com·7h·
Discuss: r/homelab
🔩Systems Programming
Understanding the Security Landscape of MCP
apideck.com·1d·
Discuss: Hacker News
📦Container Security
Catch and Fix Memory Leaks in Go Like a Pro
dev.to·1d·
Discuss: DEV
🦀Rusty Databases
All you need to know about Tokenization in LLMs
medium.com·2d·
Discuss: Hacker News
📝Text Parsing
Noise-Aware Generative Microscopic Traffic Simulation
arxiv.org·6h
🔲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·6h
📐Projective Geometry
I “Vibe” Built a System Inspired by Nature's Math, and It's 1.82x Faster Than Nginx
dev.to·4d·
Discuss: DEV
🎯Performance Proofs
AI-Driven Nanoparticle Detection Enhancement in Microchannel Plate Detectors via Adaptive Resonance Theory
dev.to·2h·
Discuss: DEV
📄Document Digitization
AI Meets Blockchain: The Ultimate Guide to the Future of Trust, Automation & Intelligence
dev.to·1d·
Discuss: DEV
🔗Hash Chains