📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

simonw/codespaces-llm
simonwillison.net·16h
🧮Programming Language Theory
Reverse engineering natively-compiled .NET apps
migeel.sk·2d·
Discuss: Hacker News
🔧Compiler Design
Will AI Usher in the End of Deep Thinking?
theringer.com·3h·
Discuss: Hacker News
🧮Programming Language Theory
Monsters and Other Tales of Humanity by Carla E. Dash: Review by Eugen M. Bacon
locusmag.com·6h
🧮Programming Language Theory
DeepSeek's Reasoning Memotypes: Could Linguistic Patterns Be Replicating Through Synthetic Data?
amanpriyanshu.github.io·1d
🧮Programming Language Theory
Coding Agents Showdown: VSCode Forks vs. IDE Extensions vs. CLI Agents | Forge Code
forgecode.dev·1d·
Discuss: r/programming
🔌Network Programming
How do you prep for interviews where you answer a vague, hypothetical architecture question?
reddit.com·22h·
Discuss: r/webdev
🏗️Software Architecture
Understanding when to use list comprehensions vs generator expressions
dev.to·2d·
Discuss: DEV
🔗Parser Combinators
Build data pipelines with dbt in Amazon Redshift using Amazon MWAA and Cosmos
aws.amazon.com·1h
🔍Static Analysis
Benchmarking Array Merges in PHP: When to Optimise and Why It Matters
github.com·1d·
Discuss: DEV
🧠Memory Management
Bidirectional Communication Patterns in Modern Web Apps(6977)
dev.to·8h·
Discuss: DEV
🤝Protocol Design
conductor-oss/conductor
github.com·20h
🤝Protocol Design
Linear scan register allocation on SSA
bernsteinbear.com·21h·
Discuss: Lobsters, Hacker News
🔧Compiler Design
The Modern Data Toolbox: Combining LLMs, ML, and Statistics for Greater Impact
pub.towardsai.net·1d
🎲Probabilistic Programming
Machine learning and creating of bots
reddit.com·4h·
Discuss: r/AskProgramming
🔧Compiler Design
Lightning Prediction under Uncertainty: DeepLight with Hazy Loss
arxiv.org·1d
🎲Probabilistic Programming
Can Smaller Large Language Models Evaluate Research Quality?
arxiv.org·1d
🔗Parser Combinators
Essential Programming Languages and Skills for Developers in the Future
dev.to·2d·
Discuss: DEV
🧮Programming Language Theory
How I’d Learn React, TypeScript & Tailwind in 2025 — and Build a Job-Ready Portfolio
dev.to·4h·
Discuss: DEV
📦WebAssembly
AI Coding Assistants Made Me a Lazy Developer… And That’s Okay
dev.to·6h·
Discuss: DEV
🔧Compiler Design