📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

RH (RH): A Bear Case Theory
finance.yahoo.com·2d
🎲Probabilistic Programming
From legacy to leverage - unlocking financial data with SurrealDB
surrealdb.com·2h
🔐Cryptography
I Don't Care for Gnome
woltman.com·19h·
Discuss: r/linux
💻Operating Systems
Why does my regular expression work in X but not in Y?
unix.stackexchange.com·1h·
Discuss: Lobsters, Hacker News
📝Lisp
Researchers glimpse the inner workings of protein language models
phys.org·1d
🔗Parser Combinators
Show HN: HealthChain – Python framework for healthcare data that doesn't suck
github.com·9h·
Discuss: Hacker News
🤝Protocol Design
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·15h·
Discuss: DEV
🔍Static Analysis
Melting Go, Vue, and Templ together in Gooo
reddit.com·21h·
Discuss: r/golang
📦WebAssembly
Claude Code: Tips and Tricks
post-training.aitinkerers.org·2d·
Discuss: Hacker News
🧩Theorem Proving
[R] How do you make text labeling less painful?
reddit.com·13h·
Discuss: r/MachineLearning
🔗Parser Combinators
Why I Love Coding & Storytelling Together
dev.to·7h·
Discuss: DEV
🔧Compiler Design
Understanding Database Indexes: A Comprehensive Guide day 33 of sytem design basics
dev.to·19h·
Discuss: DEV
🗄️Database Theory
The Unseen Battleground: An Architect’s Retro on Streaming 1 Billion Minutes of Live Sports
hackernoon.com·19h
🌍Distributed Systems
Building Octint Solutions: the story of creating a modern tech website using Python and C++
dev.to·2d·
Discuss: DEV
📦WebAssembly
Why Aggregators Ate the Internet
every.to·16h
👐Open Source Software
Your agent, your rules: A deep dive into the Responses API with Llama Stack
developers.redhat.com·19h
🎲Probabilistic Programming
Cincinnati dismisses Jizzle James, son of Edgerrin James, from team amid 'personal issues'
nytimes.com·1d
🧮Programming Language Theory
Oxlint Introduces Type-Aware Linting Preview
socket.dev·2d·
Discuss: Hacker News
🦀Rust
Evaluating Open-Source Vision Language Models for Facial Emotion Recognition against Traditional Deep Learning Models
arxiv.org·22h
🎲Probabilistic Programming