📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

The Only Programming Language That Refuses to Obey
dev.to·12h·
Discuss: DEV
🧮Programming Language Theory
Rimini Street, University of Melbourne Partner to Support Oracle Systems, Enhance Student Experience
finance.yahoo.com·30m
🧮Programming Language Theory
🔗 Upside-Down Development
jardo.dev·3d
🧮Programming Language Theory
The Schwartzian Transform (2016)
perl.com·17h·
Discuss: Hacker News
📝Lisp
Vibe coding complex changes in Rust
youtube.com·11h
🦀Rust
If Odin Had Macros
gingerbill.org·23h·
Discuss: Lobsters, Hacker News, r/programming
📝Lisp
why you should learn ocaml
sarthak2143.bearblog.dev·2d
⚙Functional Programming
👨‍💻 Teach Yourself CS — A Self-Taught Developer’s Roadmap to Computer Science
teachyourselfcs.com·1d·
Discuss: DEV
🧮Programming Language Theory
TypeScript 5.9 Adds Expandable Hovers
i-programmer.info·1d
🧮Programming Language Theory
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
Review of CWE-843 Type Confusion Vulnerability and Exploit
dev.to·14h·
Discuss: DEV
🔍Static Analysis
Twentyseven 1.0.0
blog.poisson.chat·1d·
Discuss: Hacker News
⚙Functional Programming
The Road Not Taken: Why Mars Chose Manual Recursion Over the Visitor Pattern 🛤️
dev.to·1d·
Discuss: DEV
📝Lisp
Rust vs. Java: Choosing the right tool for your next project
blog.jetbrains.com·19h
🦀Rust
“Opponent shaping” as a model for manipulation and cooperation
lesswrong.com·23h
🧮Programming Language Theory
This web framework was built by Claude
rgk.io·13h·
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·15h·
Discuss: Hacker News
🏗Computer Architecture
TypeScript: Langium 4.0 brings infix operators for more compact grammar
heise.de·1d
🧮Programming Language Theory
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·1d·
Discuss: DEV
🔍Static Analysis