📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

We’re Not So Special: A new book challenges human exceptionalism
democracyjournal.org·2d·
Discuss: Hacker News
🧮Programming Language Theory
The Art of Starting Over
yuricunha.bearblog.dev·14h
🧮Programming Language Theory
3D Printing
tomshardware.com·9h
🤖Sci-Fi
A new spin on SDLC is solving a big problem in industrial AI
nordot.app·15h
🔧Compiler Design
LLMs generate ‘fluent nonsense’ when reasoning outside their training zone
venturebeat.com·2d·
Discuss: Hacker News
🧭SMT Solvers
Analytics for games - do you need it?
reddit.com·11h·
Discuss: r/godot
⚖Algorithmic Game Theory
Amazon is betting on agents to win the AI race
theverge.com·17h
🤖Sci-Fi
Am I the Asshole For Wanting to Cheat on My “Literary” Novel?
lithub.com·17h
🧮Programming Language Theory
Overview of Complex System Design
arxiv.org·4d
🌍Distributed Systems
Functional Analysis of Variance for Association Studies
arxiv.org·4d
⚙Functional Programming
Show HN: I replaced vector databases with Git for AI memory (PoC)
github.com·1d·
Discuss: Hacker News
🧠Memory Management
Just discovered the secret to a happy marriage from Claude Code
reddit.com·18h·
Discuss: r/ClaudeAI
🧩Theorem Proving
Why was this paper rejected by arXiv?
reddit.com·7h·
Discuss: r/compsci
🧩Theorem Proving
Physical Experiences Influence the Way We Think and Learn
psychologytoday.com·1d
🧮Programming Language Theory
Peeking Under the Hood of Claude Code
medium.com·1d·
Discuss: Hacker News
🧩Theorem Proving
ViExam: Are Vision Language Models Better than Humans on Vietnamese Multimodal Exam Questions?
arxiv.org·2d
🔧Compiler Design
Transdisciplinary Philosophy Book Prize Long List Released
dailynous.com·3d
🧮Programming Language Theory
College Student & Course Management System
dev.to·16h·
Discuss: DEV
🗄️Database Theory
Neuro-inspired Ensemble-to-Ensemble Communication Primitives for Sparse and Efficient ANNs
arxiv.org·1d
🎲Probabilistic Programming
The Role of AI in Facilitating Interdisciplinary Collaboration: Evidence from AlphaFold
arxiv.org·2d
🧫Cellular Automata