📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Archaeologists perplexed to find west African ancestry in early medieval England
the-independent.com·1d
🧮Programming Language Theory
A programmer's field guide to assertions
typesanitizer.com·3d·
Discuss: Lobsters, Hacker News
🧩Theorem Proving
When Time Collapsed
psychologytoday.com·9h
🔐Cryptography
Smithery MCP Server: Port Python Projects to Typescript
smithery.ai·3d·
Discuss: r/typescript
🦀Rust
original ↗
crookedtimber.org·2d
🤖Sci-Fi
Anaphoric Macros
letoverlambda.com·5d·
Discuss: Lobsters
📝Lisp
Rewriting Numaflow (for AI), an open-source stream processing platform, in Rust
blog.numaproj.io·2d·
Discuss: Hacker News
🦀Rust
How to Build Abstractions in Rust Applications (2023)
orodu.net·6d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Combining Nonlinear FETI-DP Methods and Quasi-Newton Methods using an SQP Approach
arxiv.org·3d
🧩Theorem Proving
Harvesting Contextuality from the Vacuum
arxiv.org·2d
🎲Probabilistic Programming
RTS useful designs
reddit.com·7h·
Discuss: r/godot
🧫Cellular Automata
Monitoring Infrastructure with Prometheus and Grafana: A Practical Guide
dev.to·1h·
Discuss: DEV
🦀Rust
Under the hood: how AWS Lambda SnapStart optimizes function startup latency
aws.amazon.com·1d
📦WebAssembly
How Test Case Management Boosts QA Efficiency
dev.to·1h·
Discuss: DEV
🔍Static Analysis
ORFuzz: Fuzzing the "Other Side" of LLM Safety -- Testing Over-Refusal
arxiv.org·3d
🧭SMT Solvers
Documentation That Scales: Building Knowledge Systems for Growing Dev Agencies
dev.to·1h·
Discuss: DEV
🔧Compiler Design
We built something kinda crazy: open-source Al eval toolkit for LLMs feedback wanted!
reddit.com·1h·
Discuss: r/opensource
🔧Compiler Design
Rust in 2025: Why Developers Can’t Afford to Ignore It
dev.to·2d·
Discuss: DEV
🦀Rust
notes-on-cpp-undefined-behavior
chadnauseam.com·4d
⚙Functional Programming
📘 Top 50 Java Interview Questions Every Developer Must Master
dev.to·1d·
Discuss: DEV
🧠Memory Management