📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

A Drop in the Bucket
behance.net·6h
⚖Algorithmic Game Theory
Curl Keeps Cars Rolling: How a Tiny Open-Source Tool Powers Millions of Vehicles
ostechnix.com·6h·
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·21h
🗄️Database Theory
SonarSource Surfaces Multiple Caveats When Relying on LLMs to Write Code
devops.com·2d
🔧Compiler Design
There is a non-recursive formula for the Fibonacci numbers, expressing them in terms of the golden ratio and its powers.
threadreaderapp.com·10h
🧭SMT Solvers
Handling long-running LLM streams in a stateful backend
blog.leap.new·1d·
Discuss: Hacker News
⚡Concurrency
My First JavaScript Project – Car Counter App 🚗
github.com·1d·
Discuss: DEV
📦WebAssembly
Intermediate needs good stuff about Compiling and Kernel
reddit.com·12h·
Discuss: r/linux
🔧Compiler Design
5G Core Fault Detection and Root Cause Analysis using Machine Learning and Generative AI
arxiv.org·1d
🤝Protocol Design
CppCon 2025 Type Traits without Compiler Instrinsics: Promise of Static Reflection -- Andrei Zissu
isocpp.org·5d
🧮Programming Language Theory
Need help learning frontend fast (0 experience, lazy procrastinator, 1 month deadline)
reddit.com·21h·
Discuss: r/reactjs
📦WebAssembly
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·17h
🧩Theorem Proving
Large Language Models for Subjective Language Understanding: A Survey
arxiv.org·3d
🔗Parser Combinators
CoDAE: Adapting Large Language Models for Education via Chain-of-Thought Data Augmentation
arxiv.org·2d
🔧Compiler Design
Multi-Label Plant Species Prediction with Metadata-Enhanced Multi-Head Vision Transformers
arxiv.org·17h
🎲Probabilistic Programming
Between Fear and Desire, the Monster Artificial Intelligence (AI): Analysis through the Lenses of Monster Theory
arxiv.org·2d
🤖Sci-Fi