📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

for noobs (and me too) this reposted but mandatory read
m4xshen.dev·16h·
Discuss: r/vim
👐Open Source Software
Trying to finish my AI-powered cubing app—just need one dev to help me change cubing, forever!
cube-timer-ten.vercel.app·1d·
Discuss: DEV
🧭SMT Solvers
Let's Build a Text Adventure - Part 2
blog.makethingswork.dev·4h
🦀Rust
The shape of the universe revealed through algebraic geometry
phys.org·3d
🔄Category Theory
I swapped my resource-hungry apps for terminal alternatives, and it changed everything
xda-developers.com·22h
💾Retrocomputing
My journey to becoming a CSS pro with Keith Grant
google.com·1d·
Discuss: DEV
🧩Theorem Proving
Knowing a little C, goes a long way in Python
reddit.com·18h·
Discuss: r/opensource
🔧Compiler Design
Writing an LLM from scratch - Tutorial series
gilesthomas.com·2d
🔗Parser Combinators
Using observer pattern to save status in Database?
reddit.com·1d·
Discuss: r/golang
🤝Protocol Design
Is React the right choice?
reddit.com·8h·
Discuss: r/reactjs
📦WebAssembly
How I Built a Simple AI Text Summarizer in Python
dev.to·14h·
Discuss: DEV
🔗Parser Combinators
🧠Can AI Learn to Care?
dev.to·23h·
Discuss: DEV
🤖Sci-Fi
⭐ ggml-org llama.vim
waylonwalker.com·14h
🔧Compiler Design
Golang Meets AWS: Cloud Integration Magic ✨
dev.to·1d·
Discuss: DEV
🤝Protocol Design
⭐ Exafunction codeium.nvim
waylonwalker.com·14h
📝Lisp
⭐ wbthomason packer.nvim
waylonwalker.com·14h
🧮Programming Language Theory
I can’t code anything without ChatGPT or a tutorial — how do I break this?
reddit.com·2d·
Discuss: r/AskProgramming
🧩Theorem Proving
Provably Transformers Harness Multi-Concept Word Semantics for Efficient In-Context Learning
arxiv.org·3d
🔗Parser Combinators
[Media] Tur - A language for defining and executing Turing machines with multi-platform visualization tools (Web, TUI and CLI) written in Rust 🦀
reddit.com·5d·
Discuss: r/rust
🧮Programming Language Theory
⭐ Slackadays Clipboard
waylonwalker.com·14h
👐Open Source Software