🔤 Type Theory

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

A quick glance at another bunch of codecs
codecs.multimedia.cx·3d
🎬Cinema Codecs
Show HN: Alertee.io – Catch data issues early with SQL-based checks
alertee.io·19h·
Discuss: Hacker News
🗄️Database Recovery
Tory chair says party would consider deal with Taliban to return Afghan migrants – UK politics live
theguardian.com·1h
📡RSS
Survey Finds More Python Developers Like PostgreSQL, AI Coding Agents - and Rust for Packages
developers.slashdot.org·2d
🦀Rust Macros
I coached ChatGPT into crossing its own line
myexocortex.bearblog.dev·1d·
Discuss: Hacker News
🧪Protocol Fuzzing
I tried DSPy and now I get why everyone won't shut up about it
pedramnavid.com·4d·
Discuss: Hacker News
🔄Burrows-Wheeler
Linear scan with lifetime holes
bernsteinbear.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News, r/programming
🚀Compiler Optimizations
Debugging the Draft
codingfearlessly.com·5d·
Discuss: Hacker News
🎯Gradual Typing
2025 US Open Day 3 betting tips, best bets and 15/1 accumulator
the-independent.com·19h
🏗️Constructive Analysis
Stealth AI startup Aurasell raised $30 million in seed funding in 28 hours to take on Salesforce
businessinsider.com·21h
🚀Indie Hacking
Does Computing Face a Lean Future?
spectrum.ieee.org·1d·
Discuss: r/hardware
⚙️Modern Assembly
Qclojure: Functional quantum computer programming library for Clojure
github.com·6d·
Discuss: Hacker News
⚛️Quantum Compilers
Replacement for Ruckus ICX 7150 Switch
reddit.com·13h·
Discuss: r/homelab
📊Homelab Monitoring
[P] Analyzing classroom data
reddit.com·2d·
Discuss: r/MachineLearning
🤖Grammar Induction
Hybrid Intelligence Systems and Cognitive Biases in AI: Integrating Large Language Models with Classical Reasoning for E
dev.to·5d·
Discuss: DEV
🔲Cellular Automata
5 Minutes of Human-AI Interaction: From Requirements to E2E Test Result
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Asking Eric: When I realized what was going on, I evicted my wife’s kids. Things got ugly.
mercurynews.com·23h
🏠Personal Archives
Peeking Under the Hood of Claude Code
medium.com·6d·
Discuss: Hacker News
🌳Incremental Parsing
10 Problem-Solving Habits That Separate Good Developers from Great Ones
dev.to·20h·
Discuss: DEV
📏Code Metrics
Benchmarking Computer Science Survey Generation
arxiv.org·5d
⚙️Compression Benchmarking