📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Manuel Marey , experto en incendios : Hai que asumir que hai que deixar arder zonas para atallar o lume
elprogreso.es·18h
🧮Programming Language Theory
RH (RH): A Bear Case Theory
finance.yahoo.com·2d
🎲Probabilistic Programming
Scaling SDK Generation in Rust to Handle Millions of Tokens Per Second
sideko.dev·1d·
Discuss: r/rust
🏗Computer Architecture
The Grand Ballroom Theory of Literature
countercraft.substack.com·2d·
Discuss: Substack
🧮Programming Language Theory
Researchers glimpse the inner workings of protein language models
phys.org·1d
🔗Parser Combinators
Mah Jong anyone?
reddit.com·6h·
Discuss: r/BostonSocialClub
🧫Cellular Automata
The Ethical Paradox: When Code Inherits Prejudice
psychologytoday.com·2d
🧮Programming Language Theory
Inclusion Arena: An Open Platform for Evaluating Large Foundation Models with Real-World Apps
arxiv.org·2d
🧭SMT Solvers
A Complete Guide To Api Functional Testing
dev.to·12h·
Discuss: DEV
🔍Static Analysis
Claude Code: Tips and Tricks
post-training.aitinkerers.org·1d·
Discuss: Hacker News
🧩Theorem Proving
[R] How do you make text labeling less painful?
reddit.com·10h·
Discuss: r/MachineLearning
🔗Parser Combinators
Why I Love Coding & Storytelling Together
dev.to·4h·
Discuss: DEV
🔧Compiler Design
Type-safe query keys in React Query
reddit.com·1d·
Discuss: r/reactjs
🦀Rust
Understanding Database Indexes: A Comprehensive Guide day 33 of sytem design basics
dev.to·16h·
Discuss: DEV
🗄️Database Theory
The Unseen Battleground: An Architect’s Retro on Streaming 1 Billion Minutes of Live Sports
hackernoon.com·16h
🌍Distributed Systems
Web Developer Travis McCracken on Using Go for Cloud Functions
dev.to·3d·
Discuss: DEV
🦀Rust
Cincinnati dismisses Jizzle James, son of Edgerrin James, from team amid 'personal issues'
nytimes.com·1d
🧮Programming Language Theory
Your agent, your rules: A deep dive into the Responses API with Llama Stack
developers.redhat.com·16h
🎲Probabilistic Programming
Why Your AI Chatbot is Dumb — And How to Fix It with AutoGPT Agents
dev.to·10h·
Discuss: DEV
🤖Sci-Fi
Oxlint Introduces Type-Aware Linting Preview
socket.dev·2d·
Discuss: Hacker News
🦀Rust