🔤 Type Theory

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

AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·5d
⚡Incremental Computation
Go-libp2p and JavaScript-libp2p transition to community maintenance
ipshipyard.com·1d·
Discuss: Hacker News
🕸️Mesh Archiving
Time Is on My Side
frankchimero.com·2d·
Discuss: Hacker News
📖Nordic Typography
I did 98,000 Anki reviews. Anki is already dead
miguelconner.substack.com·1d·
Discuss: Substack
🌳Context free grammars
Anno 1800 Frame Analysis
blog.thomaspoulet.fr·3d·
Discuss: Hacker News
📟Terminal Physics
Claude AI Nuked My Git Repo
geextor.com·1d·
Discuss: Hacker News
🌿git
Curran v Cook: 32 runs scored in most expensive five balls in Hundred history
bbc.com·1d
📡DNS Archaeology
Care Copilot
hackster.io·2d
🏠Home Automation
Tackling the DevSecOps Gap in Software Understanding
devops.com·1d
🔐Capability Systems
Self-reinforcing cascades: How ideas, beliefs, and innovations spread in the digital age
phys.org·1d
🌡️Preservation Entropy
Impacket: A collection of Python classes for working with network protocols
github.com·3d·
Discuss: Hacker News
📻Homebrew Protocols
Open, Reproducible and Trustworthy Robot-Based Experiments with Virtual Labs and Digital-Twin-Based Execution Tracing
arxiv.org·5d
🔄Reproducible Builds
AIGC Courses for kids
hackster.io·1d
🎮GameBoy Architecture
Six Acclaimed Artists Interpret Ecology and the Landscape for ‘Ground/work 2025’
thisiscolossal.com·1d
📐Mathematical Art
Tapas are free! Training-Free Adaptation of Programmatic Agents via LLM-Guided Program Synthesis in Dynamic Environments
arxiv.org·5d
⚡Incremental Computation
Enhanced Gasification Efficiency via Dynamic Reactor Configuration Optimization with Bayesian Reinforcement Learning (BRL)
dev.to·16h·
Discuss: DEV
🧮Algorithmic Cooking
Copyright Protection for Large Language Models: A Survey of Methods, Challenges, and Trends
arxiv.org·5d
🧪Archive Fuzzing
Optimizing Memory Allocation in Go: Small and Large Objects Made Simple
dev.to·3d·
Discuss: DEV
🧠Memory Allocators
Creating My Own AI OS Via Linux From Scratch
dev.to·3d·
Discuss: DEV
🔩Systems Programming
Two quantum computers with 20 qubits manage to simulate information scrambling
phys.org·14h
⚛️Quantum Tape