📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

A Drop in the Bucket
behance.net·2h
⚖Algorithmic Game Theory
Curl Keeps Cars Rolling: How a Tiny Open-Source Tool Powers Millions of Vehicles
ostechnix.com·2h·
Discuss: r/opensource
👐Open Source Software
Is there a version of Mandarin Chinese: A Functional Grammar that uses Chinese characters in addition to pinyin?
ucpress.edu·2d·
Discuss: r/ChineseLanguage
🧮Programming Language Theory
Inspired by a musing of James Baldwin’s in his memoir, No Name in the Street: “There is reason,…
baileye.tumblr.com·2d
🧮Programming Language Theory
Using External Indexes, Metadata Stores, Catalogs and Caches to Accelerate Queries on Apache Parquet
datafusion.apache.org·17h
🗄️Database Theory
Beyond guardrails: A taxonomy of platform engineering control mechanisms
cloud.google.com·1h
🏗️Software Architecture
SonarSource Surfaces Multiple Caveats When Relying on LLMs to Write Code
devops.com·2d
🔧Compiler Design
Handling long-running LLM streams in a stateful backend
blog.leap.new·1d·
Discuss: Hacker News
⚡Concurrency
Show HN: Accidentally built churn detection AI (I don't code)
github.com·1d·
Discuss: Hacker News
🦀Rust
My First JavaScript Project – Car Counter App 🚗
github.com·23h·
Discuss: DEV
📦WebAssembly
JavaScript Interview Question: Compute the Sum of a List of Numbers, Recursively
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
5G Core Fault Detection and Root Cause Analysis using Machine Learning and Generative AI
arxiv.org·1d
🤝Protocol Design
How to Convert ML Models to ONNX Format: A Complete Guide
dev.to·6h·
Discuss: DEV
🎲Probabilistic Programming
CppCon 2025 Type Traits without Compiler Instrinsics: Promise of Static Reflection -- Andrei Zissu
isocpp.org·5d
🧮Programming Language Theory
From Code to Docs: One Workflow That Does It All
crompt.ai·6h·
Discuss: DEV
🔧Compiler Design
Need help learning frontend fast (0 experience, lazy procrastinator, 1 month deadline)
reddit.com·17h·
Discuss: r/reactjs
📦WebAssembly
What Does a Software Architect Actually Do?
dev.to·4h·
Discuss: DEV
🏗️Software Architecture
The Accidental Birth of NodeJS!
dev.to·2d·
Discuss: DEV
🤝Protocol Design
Improving Diversity in Language Models: When Temperature Fails, Change the Loss
arxiv.org·1d
🧮Programming Language Theory
FIRESPARQL: A LLM-based Framework for SPARQL Query Generation over Scholarly Knowledge Graphs
arxiv.org·13h
🧩Theorem Proving