📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

TypeScript: Langium 4.0 brings infix operators for more compact grammar
heise.de·1d
🧮Programming Language Theory
Speak, Don't Type
typeless.com·21h·
Discuss: Hacker News
🧮Programming Language Theory
Python Scripts – From Classroom to Community - 1
brezular.com·1d
🧮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
The Math Is Haunted
overreacted.io·4d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🧩Theorem Proving
Mastering NLP with spaCy – Part 2
towardsdatascience.com·1d
🔗Parser Combinators
Kubernetes Monitoring — A Complete Solution
reddit.com·2h·
Discuss: r/kubernetes
🦀Rust
Basic and advanced pattern matching in Java
infoworld.com·2d
⚙Functional Programming
A love letter to legacy projects
frederickvanbrabant.com·1d·
Discuss: r/webdev
📦WebAssembly
The smallest embeddable scripting language, part 1
log.schemescape.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔧Compiler Design
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·2d·
Discuss: Hacker News
🔧Compiler Design
Turn on the LLM and use it in your daily workflow
funcall.blogspot.com·1d·
Discuss: Hacker News
🔧Compiler Design
Build a Kanban Board in Minutes with GenosDB
genosdb.com·8h·
Discuss: Hacker News
📝Lisp
Swift 6 Error Handling: Typed Throws Explained
dev.to·2d·
Discuss: DEV
🤝Protocol Design
Onboarding for Coding Agents
fuzzycomputer.com·11h·
Discuss: Hacker News
🧩Theorem Proving
JavaScript Types: What Are They and How Do You Check Them?
howtogeek.com·1d
🧮Programming Language Theory
Looking to deepen my knowledge as a cs student
reddit.com·3d·
Discuss: r/compsci
🧮Programming Language Theory
Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
arxiv.org·3d
⚙Functional Programming
Streamlining AWS Serverless workflows: From AWS Lambda orchestration to AWS Step Functions
aws.amazon.com·2d
🤝Protocol Design