📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Game Reviews
bluesnews.com·4h
⚖Algorithmic Game Theory
When something is not a DNA of a company, that feature often becomes subpar. In this case, with Deep Research:
bsky.app·17m·
Discuss: Bluesky
📈Complexity Theory
x times y
federicopereiro.com·3d·
Discuss: Hacker News
📊Information Theory
Make LLMs supportive, not sycophantic
chrisbarber.co·2d·
Discuss: Hacker News
🔢Mathematical Logic
A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·6d
🔧Compiler Design
Accelerate intelligent document processing with generative AI on AWS - Amazon Web Services
news.google.com·3d
🔗Parser Combinators
How Python Software Enhances Post Construction Cleaning
dev.to·2h·
Discuss: DEV
🏗Computer Architecture
Coffee Break: The Abundance Bros Notice the AI Bubble but What Is Their Narrative Leaving Out?
nakedcapitalism.com·2h
🤖Sci-Fi
Character design ai generator
dev.to·4h·
Discuss: DEV
🧫Cellular Automata
SPA or MPA for a vanilla + TS project?
reddit.com·2d·
Discuss: r/webdev
🦀Rust
Essential Reading for Agentic Engineers - August 2025
steipete.me·3d·
Discuss: Hacker News
🧩Theorem Proving
Color — Caste — Denomination —
bloggingdickinson.blogspot.com·1d·
Discuss: bloggingdickinson.blogspot.com
🔄Category Theory
Practical Translation: Proust
nybooks.com·1d
🧮Programming Language Theory
DEPTH: Hallucination-Free Relation Extraction via Dependency-Aware Sentence Simplification and Two-tiered Hierarchical Refinement
arxiv.org·4d
🔗Parser Combinators
Let's Use ChatGPT To Write Our Paper! Benchmarking LLMs To Write the Introduction of a Research Paper
arxiv.org·4d
🔧Compiler Design
I wrote a guide on Layered Reward Architecture (LRA) to fix the "single-reward fallacy" in production RLHF/RLVR.
reddit.com·1d·
Discuss: r/LLM
🎲Probabilistic Programming
The Pain of Building My Own Fully-Featured Locally Hosted ChatGPT Out of Open Source Tools And a Franken Laptop
dev.to·1d·
Discuss: DEV
💾Retrocomputing
Model Context Protocol (MCP): A Smarter Way to Connect AI Tools
dev.to·2h·
Discuss: DEV
🎲Probabilistic Programming
Looking for a technical co-founder to build the next-gen AI learning platform (Next.js + TypeScript + full-stack)
reddit.com·12h·
Discuss: r/reactjs
🧩Theorem Proving
From Idea to MVP: Building Our Own Platform for Old Game Mods
dev.to·58m·
Discuss: DEV
🦀Rust