📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

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
Migrating from Monolith to Serverless
news.ycombinator.com·1d·
Discuss: Hacker News
🌍Distributed Systems
Using External Indexes, Metadata Stores, Catalogs and Caches to Accelerate Queries on Apache Parquet
datafusion.apache.org·18h
🗄️Database Theory
Beyond guardrails: A taxonomy of platform engineering control mechanisms
cloud.google.com·2h
🏗️Software Architecture
Handling long-running LLM streams in a stateful backend
blog.leap.new·1d·
Discuss: Hacker News
⚡Concurrency
How to do code reviews with AI tools
newsletter.techworld-with-milan.com·1d·
Discuss: r/programming
🔍Static Analysis
How do I structure and maintain a growing startup project as a backend dev with almost zero system design experience? Also, Express vs NestJS?
reddit.com·1d·
Discuss: r/node
📦WebAssembly
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·1d·
Discuss: DEV
📦WebAssembly
5G Core Fault Detection and Root Cause Analysis using Machine Learning and Generative AI
arxiv.org·1d
🤝Protocol Design
AltSchool Of Engineering Tinyuka’24 Month 6 Week 2
dev.to·31m·
Discuss: DEV
🌍Distributed Systems
Need help learning frontend fast (0 experience, lazy procrastinator, 1 month deadline)
reddit.com·18h·
Discuss: r/reactjs
📦WebAssembly
Improving Diversity in Language Models: When Temperature Fails, Change the Loss
arxiv.org·1d
🧮Programming Language Theory
CppCon 2025 Type Traits without Compiler Instrinsics: Promise of Static Reflection -- Andrei Zissu
isocpp.org·5d
🧮Programming Language Theory
FIRESPARQL: A LLM-based Framework for SPARQL Query Generation over Scholarly Knowledge Graphs
arxiv.org·14h
🧩Theorem Proving
Large Language Models for Subjective Language Understanding: A Survey
arxiv.org·3d
🔗Parser Combinators
From Code to Docs: One Workflow That Does It All
crompt.ai·8h·
Discuss: DEV
🔧Compiler Design
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·14h
🎲Probabilistic Programming
Between Fear and Desire, the Monster Artificial Intelligence (AI): Analysis through the Lenses of Monster Theory
arxiv.org·2d
🤖Sci-Fi