🔤 Type Theory

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

Turkey’s transport minister fined after posting video of himself speeding
politico.eu·6h
🏴‍☠️Piracy
Communicating Science, Not Magic
nature.com·1d·
Discuss: Hacker News
🧲Magnetic Philosophy
The Creator's Oath: A Manifesto for Principled Software Builders
creatorsoath.org·4d·
Discuss: Hacker News
🎨Swedish Design Philosophy
Fun with niri window manager
rousette.org.uk·1d·
Discuss: Hacker News
🪟Awesome windows command-line
Stock exchanges representatives warn against turning financial assets into cryptocurrencies
techspot.com·21m
🏷️Metadata Standards
My year-long quest to debug a single TCP connection
fdi.sk·3d·
Discuss: Hacker News
📡Network Archaeology
86Box 5.0
86box.net·2d·
Discuss: Hacker News
🕸️WASM Archives
Trial and error: research and the criminal justice system
nature.com·4h
⚙️systems theory
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·6d·
Discuss: Hacker News
🌊Streaming Algorithms
Why Is This Hard?
programmersstone.blog·6d·
Discuss: Lobsters, Hacker News
📏Code Metrics
Cluster API hybrid solution
reddit.com·14h·
Discuss: r/kubernetes
⚡gRPC
What is Backpropagation?
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Ask Me Anything: AI, Prompting & Writing
dev.to·15h·
Discuss: DEV
⚡Proof Automation
Predicting brain tumour enhancement from non-contrast MR imaging with artificial intelligence
arxiv.org·15h
🔍Vector Forensics
Physics-inspired computer architecture solves complex optimization problems
phys.org·3d
⚛️Information Physics
Grokl without iPhone integration: Musk's xAI sues Apple and OpenAI
heise.de·13h
🍎XNU Internals
CausalPlan: Empowering Efficient LLM Multi-Agent Collaboration Through Causality-Driven Planning
arxiv.org·6d
⚙️TLA+
Need help getting Rail Kit installed in Server Rack
reddit.com·6h·
Discuss: r/homelab
🏠HomeLab
When your formulation IP is beyond compare (T 0722/24)
ipkitten.blogspot.com·1d·
Discuss: ipkitten.blogspot.com
⚖️Emulation Ethics
How AI is Changing Software Development: Looking for Manager Perspectives
dev.to·14h·
Discuss: DEV
🔄Language Evolution