🔤 Type Theory

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

The 1830s Device That Created the First Animations: The Phenakistiscope
openculture.com·1h
🏺Media Archaeology
Local LLMs and Ollama
groveronline.com·2d
🕸️WASM Archives
The New Bambu Lab H2S
bambulab.com·1d·
Discuss: Hacker News
📄Document Digitization
Anchorage Digital Ventures: The First Institutional Edge for Protocols
anchorage.com·2d·
Discuss: Hacker News
🔌Interface Evolution
Cozette
github.com·3d
🔠Terminal Fonts
Star Citizen Development Discussion (Is Derek Smart Right?)
forums.anandtech.com·1h
🕹️Retro Gaming
Why countries trade with each other while fighting
news.mit.edu·5h
🔲Cellular Automata
I Stopped Wasting Time in Excel When I Learned These 3 Functions
makeuseof.com·3d
📇Indexing Strategies
How We Migrated 16K Lines of HTML/CSS to Tailwind Using Claude Code
medium.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis
vial-kb/vial-qmk
github.com·2d
⌨️Mechanical Keyboards
Arguments About AI Consciousness Seem Highly Motivated And At Best Overconfident
thezvi.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
Official Release of LyteNyte Grid Version 1.0
medium.com·2d·
Discuss: Hacker News
🏷️Metadata Standards
Tailor Made E-commerce Software Solutions India: The Future of Personalized Online Business
dev.to·2d·
Discuss: DEV
🌍Cultural Algorithms
Plasma group publishes new framework to advance fusion energy research
phys.org·2d
🌡️Preservation Physics
Bearded Dragons Can Switch Sex. Scientists Finally Found Out How
scitechdaily.com·1d
🧬Copy Number Variants
From Logic to Linear Algebra: How AI Is Rewiring the Computer
journal.hexmos.com·3d·
Discuss: Hacker News, r/programming
🖥️Hardware Architecture
Show HN: Simple visual tools for common situations in your LLM via mcp-UI
github.com·1d·
Discuss: Hacker News
🪟Awesome windows command-line
Pet MBTI Personality Analyzer: Understanding Your Furry Friend's Unique Character
dev.to·3d·
Discuss: DEV
🎛️Feed Filtering
VCF 9 Gets MCP Support, GPU Optimization at No Extra Cost
thenewstack.io·1d
🏠Homelab Orchestration
Being a Developer in the Vibe Coding Era
dev.to·1d·
Discuss: DEV
🧪Binary Fuzzing