📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Epistemology of Language and Space: An Introduction
energeia-online.org·3d·
Discuss: Hacker News
🧮Programming Language Theory
The Words Humans Use to Describe Nature Are Vanishing, Study Finds
sciencealert.com·6h
🔄Category Theory
Getting Creative With Images in Long-Form Content
css-tricks.com·8h
🧫Cellular Automata
Bridging the PRD-to-Code Gap While Vibe Coding
machine-unlearning.com·29m
🏗️Software Architecture
Cao, Yue. - Advanced Networking Technologies [Elektronisk resurs]
libris.kb.se·1d
📊Information Theory
92. letter to myself in 5 years, part 2
chat-leen.bearblog.dev·20h
🧮Programming Language Theory
Claude as Pipeline Orchestrator
moderndescartes.com·2d
🧩Theorem Proving
Fearless Programming with Rust
infoq.com·4d·
Discuss: Hacker News
🦀Rust
Stop overthinking grammar let Slashit App fix it instantly
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Starting Go (Golang) as My First Language – Need Help with Beginner Resources
reddit.com·4d·
Discuss: r/golang
🧮Programming Language Theory
AWS Noob here: EC2 vs SageMaker vs Bedrock for fine-tuning & serving a custom LLM?
reddit.com·10h·
Discuss: r/LocalLLaMA
🧩Theorem Proving
Shorter Tokens Are More Likely
lesswrong.com·2d
🎲Probabilistic Programming
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·3d·
Discuss: DEV
🔍Static Analysis
I've FINALLY switched to Linux. Here's my experience, and why I'm slightly disenchanted (but still loving it)
reddit.com·6h·
Discuss: r/linux
🐧Linux
Event Catalog — Exploring The Advanced Capabili
medium.com·13h
🤝Protocol Design
What is "Meaningness"
lesswrong.com·4d
🧮Programming Language Theory
Show HN: Get insights from Hacker News on X
github.com·8h·
Discuss: Hacker News
🦀Rust
Panorama's
dinandmentink.nl·2d
🧫Cellular Automata
JavaScript lib for exchanging selective disclosure proofs
github.com·2d·
Discuss: Hacker News
🤝Protocol Design
Gwenai—Claude Code but with Ollama support and a GUI
reddit.com·2d·
Discuss: r/selfhosted
🧩Theorem Proving