📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

The Road Not Taken: Why Mars Chose Manual Recursion Over the Visitor Pattern 🛤️
dev.to·2d·
Discuss: DEV
📝Lisp
Web Developer Travis McCracken on Using Async Rust Safely
dev.to·1h·
Discuss: DEV
🦀Rust
This web framework was built by Claude
rgk.io·19h·
Discuss: Hacker News
🏗️Software Architecture
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·2d·
Discuss: Hacker News
🧮Programming Language Theory
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·22h·
Discuss: Hacker News
🏗Computer Architecture
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Looking to deepen my knowledge as a cs student
reddit.com·3d·
Discuss: r/compsci
🧮Programming Language Theory
TypeScript 5.9 Adds Expandable Hovers
i-programmer.info·2d
🧮Programming Language Theory
Simple Java Project: Basic Contact Book (Console-Based) — Detailed Guide
dev.to·2h·
Discuss: DEV
⚙Functional Programming
Parsec — Terminal-Based File Summarizer TUI in Go with Multi-language Support
reddit.com·1d·
Discuss: r/golang
🔧Compiler Design
TypeScript: Langium 4.0 brings infix operators for more compact grammar
heise.de·1d
🧮Programming Language Theory
Speak, Don't Type
typeless.com·11h·
Discuss: Hacker News
🧮Programming Language Theory
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Python Scripts – From Classroom to Community - 1
brezular.com·21h
🧮Programming Language Theory
Rust vs. Java: Choosing the right tool for your next project
blog.jetbrains.com·1d
🦀Rust
Kimi K2 vs Grok 4: Who’s Better at Real-World Coding Tasks with Tools?
forgecode.dev·1d·
Discuss: r/LocalLLaMA
🧮Programming Language Theory
2000 words about arrays and tables
buttondown.com·3d·
Discuss: Lobsters, Hacker News, r/programming
⚙Functional Programming
Archetype: C++11 type-erased interfaces without new, virtual, or inheritance, useful for embedded drivers and portable APIs
reddit.com·3d·
Discuss: r/embedded
🔧Compiler Design
The Math Is Haunted
overreacted.io·3d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🧩Theorem Proving