📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

LeetCode #70: Climbing Stairs
anmoltomer.bearblog.dev·1d
📈Complexity Theory
Version control: how I combat the rise of generative AI in the classroom
nature.com·19h
🧩Theorem Proving
Creating a Toy Programming Language with Actor-Based Parallelism
pointersgonewild.com·3d·
Discuss: Hacker News
🔧Compiler Design
Day 22 of #100DaysOfRust: Closures in Rust
dev.to·2d·
Discuss: DEV
⚙Functional Programming
A Beginner's Guide to Skyline Queries
hackernoon.com·15h
🎯Constraint Programming
Gmail API developer intro: spotting chatty threads
dev.to·2h·
Discuss: DEV
👐Open Source Software
TypeScript Delivers Better Developer Experience With New Enhancements
hackernoon.com·2d
🔧Compiler Design
Dart Lesson 6: Advanced Functions - Higher-Order Functions and Closures
dev.to·3d·
Discuss: DEV
📝Lisp
Building Rich Domain Models: A Practical Guide to DDD in .NET
dev.to·10h·
Discuss: DEV
🧮Programming Language Theory
Inside the JVM House: Meet the Language Cousins
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
Simple Methods Defend RAG Systems Well Against Real-World Attacks
arxiv.org·1d
🔍Static Analysis
Things I Wish I Had Known Before Starting ML
towardsdatascience.com·10h
🔗Parser Combinators
Dart Lesson 21: code conventions and static analysis
dev.to·19h·
Discuss: DEV
🔍Static Analysis
Human in the Loop
dev.to·43m·
Discuss: DEV
🧮Programming Language Theory
Speech-to-LaTeX: New Models and Datasets for Converting Spoken Equations and Sentences
arxiv.org·6h
🔗Parser Combinators
Coherent Multimodal Reasoning with Iterative Self-Evaluation for Vision-Language Models
arxiv.org·6h
🔗Parser Combinators
Legacy code: How bad are comments (really)?
dev.to·20h·
Discuss: DEV
🔍Static Analysis
The Evolution of Software Engineering Through Java Development
dev.to·4h·
Discuss: DEV
🔧Compiler Design
An equivalence between time-symmetry and cyclic causality in quantum theory
arxiv.org·1d
🔐Cryptography
I built a collection of simple Python projects for beginners (CLI,GUI,Web,API)
github.com·1d·
Discuss: Hacker News
🧮Programming Language Theory