📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Modeling Symmetries
markneumann.xyz·1d·
Discuss: Hacker News
🔐Cryptography
HTTP is not simple
daniel.haxx.se·1d·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
Dear String-to-Integer Parsers
owl.billpg.com·2d·
Discuss: Hacker News
🔗Parser Combinators
From GPT-2 to gpt-oss: Analyzing the Architectural Advances
magazine.sebastianraschka.com·7h
🏗Computer Architecture
In a World of Hype, GraphQL's Fundamental Advantages over tRPC Still Hold True
metaduck.com·1d·
Discuss: Hacker News
🤝Protocol Design
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·3d·
Discuss: Hacker News
🔗Parser Combinators
🎉 I Just Wrapped Up the Meta Front-End Developer Specialization on Coursera!
lnkd.in·1d·
Discuss: DEV
🧮Programming Language Theory
AWS-LC is a general-purpose cryptographic library
github.com·2d·
Discuss: Hacker News
🤝Protocol Design
Demystifying Cosine Similarity
towardsdatascience.com·1d
🔗Parser Combinators
Algorithmic Equity Gradient Optimization for Resource Allocation in Disaster Relief
dev.to·4h·
Discuss: DEV
⚖Algorithmic Game Theory
Posterior-GRPO: Rewarding Reasoning Processes in Code Generation
arxiv.org·1d
🎲Probabilistic Programming
The LLM world is an illusion of progress
reddit.com·21h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
I “Vibe” Built a System Inspired by Nature's Math, and It's 1.82x Faster Than Nginx
dev.to·2d·
Discuss: DEV
🌍Distributed Systems
I Was Tired of Building Invoices, So I Built a Full-Stack React Document Designer
dev.to·9h·
Discuss: DEV
🔧Compiler Design
The World According to LLMs: How Geographic Origin Influences LLMs' Entity Deduction Capabilities
arxiv.org·1d
🎲Probabilistic Programming
I Built a Tool to Stop Explaining My Codebase to AI Every Single Time
dev.to·18h·
Discuss: DEV
🧩Theorem Proving
🧠Stack vs Heap in C# (.NET Core) – Complete Guide with Examples
dev.to·6h·
Discuss: DEV
🧠Memory Management
As a 15 year old, I built an AI Bot to Beat Four Pattern-Based Rock-Paper-Scissors Bots!
github.com·1d·
Discuss: DEV
🧫Cellular Automata
A causal inference-based root cause analysis framework using multi-modal data in large-complex system
sciencedirect.com·1d
🎲Probabilistic Programming
Federated Data Harmonization via Dynamic Schema Alignment & Semantic Graph Enrichment
dev.to·13h·
Discuss: DEV
🔗Parser Combinators