📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

How Promise Works in JavaScript
developer.mozilla.org·21h·
Discuss: Hacker News
⚡Concurrency
Lesson 1: Variables and Data Types — The “Basic Elements” of Programming
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Why Observability Isn’t Just for SREs (and How Devs Can Get Started)
signoz.io·2h·
Discuss: Hacker News, r/programming
👐Open Source Software
Writing a basic service for GNU Guix
tannerhoelzel.com·10h·
Discuss: Hacker News
🐧Linux
Understanding AsyncStream and AsyncThrowingStream in Swift
dev.to·2h·
Discuss: DEV
⚙Functional Programming
Why Every New Framework Feels the Same (And Why That’s a Good Thing)
dev.to·8h·
Discuss: DEV
🏗️Software Architecture
[AskJS] Should I put all logic inside the class or keep it separate? (Odin project - Book Library Project - OOP Refactor Advice Needed)
reddit.com·23h·
Discuss: r/javascript
🧮Programming Language Theory
️ When Language Hides Power: How Thailand’s Ceasefire Statement Reframes the Narrative
medium.com·37m
🧮Programming Language Theory
The Math Is Haunted
overreacted.io·4d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🧩Theorem Proving
Kimi K2 vs Grok 4: Who’s Better at Real-World Coding Tasks with Tools?
forgecode.dev·2d·
Discuss: r/LocalLLaMA
🧮Programming Language Theory
Python Challenge #1 -Expressions Edition
dev.to·7h·
Discuss: DEV
📝Lisp
Rust vs. Java: Choosing the right tool for your next project
blog.jetbrains.com·2d
🦀Rust
Kubernetes Monitoring — A Complete Solution
reddit.com·16h·
Discuss: r/kubernetes
🦀Rust
Beginning My LeetCode Journey with the NeetCode 150: Progress, Thoughts, and How You Can Too!
dev.to·1h·
Discuss: DEV
🧮Programming Language Theory
A love letter to legacy projects
frederickvanbrabant.com·1d·
Discuss: r/webdev
📦WebAssembly
I am Not Convinced by Vibe Coding
notashelf.dev·14h
👐Open Source Software
undefined in Optional Types: The Gotcha No One Warned Me About
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
Simple Java Project: Basic Contact Book (Console-Based) — Detailed Guide
dev.to·1d·
Discuss: DEV
⚙Functional Programming
👨‍💻 Teach Yourself CS — A Self-Taught Developer’s Roadmap to Computer Science
teachyourselfcs.com·2d·
Discuss: DEV
🧮Programming Language Theory