🔤 Type Theory

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

Live: $2b to divert children with developmental delays away from NDIS
abc.net.au·7h
🦋Format Metamorphosis
Advanced Windows Exploitation (AWE) Review
wetw0rk.github.io·2d
🔒Secure Boot
Marketplace: my first attempt at training without backprop on GPU efficiently
fangpenlin.com·2d
🔍Vector Forensics
bitdrift turns 2: a retrospective
blog.bitdrift.io·2d·
Discuss: Hacker News
🏺ZIP Archaeology
AI Can't Help You Write Well
jade.ellis.link·19h·
Discuss: Hacker News
🌳Context free grammars
Codeminer42 Dev Weekly #74
blog.codeminer42.com·4d
🔄Reproducible Builds
The State of Python 2025
blog.jetbrains.com·1d·
Discuss: Hacker News
🔄Language Evolution
LLMs + Coding Agents = Security Nightmare
garymarcus.substack.com·2d·
Discuss: Substack
🔓Hacking
SecureGuard: DIY Arduino Keypad-PIR Alarm with LCD Feedback
hackster.io·15h
🏠Home Automation
Temporal Network Analysis of Microservice Architectural Degradation
arxiv.org·2d
📊Dependency Graphs
Me And The Bean
tedium.co·15h
🔲Cellular Automata
The Universe Keeps Rewriting Cosmology
scientificamerican.com·21h
⏰Time Crystals
Why Your n8n HTTP Request Fails—and How to Debug Like a Pro
dev.to·1h·
Discuss: DEV
⚡gRPC
GenFlowRL: Shaping Rewards with Generative Object-Centric Flow in Visual Reinforcement Learning
arxiv.org·2d
🔲Cellular Automata
Automated Verification of Model-Based Design Transformations via Formal Methods and Deep Learning
dev.to·5d·
Discuss: DEV
⚙️Proof Engineering
Evals Are All You Need: The Definitive Guide to AI Agent Evaluation for Developers
dev.to·20h·
Discuss: DEV
👁️System Observability
Agent-Induced Fluctuation Dissipation Theorem Deviations in Non-Equilibrium Chemical Reaction Networks
dev.to·2d·
Discuss: DEV
⚛️Information Physics
From Misunderstandings to Learning Opportunities: Leveraging Generative AI in Discussion Forums to Support Student Learning
arxiv.org·2d
🤖Grammar Induction
Recaller: A fast, Go based command-line tool to recall your shell history with absolute precision & refer documentation
reddit.com·2d·
Discuss: r/golang
📟Terminal Forensics
Energy Efficiency in Robotics Software: A Systematic Literature Review (2020-2024)
arxiv.org·1d
🔩Systems Programming