📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Cosmic Origins Resources
science.nasa.gov·1d
🔧Compiler Design
Software convergence
underlap.org·4d
🧮Programming Language Theory
original ↗
raymondcamden.com·22h
🧫Cellular Automata
Wayland Compositors – Why and How to Handle Privileged Clients (2014)
mupuf.org·1d·
Discuss: Hacker News
⚡Concurrency
Interactive fractal and mathematical art visualiser
synapticspiral.nz·1d·
Discuss: r/InternetIsBeautiful
🧫Cellular Automata
Improving Search for Deep Research Agents
vishnudut.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Fast Reasoning on GPT-OSS with Speculative Decoding and Arctic Inference
snowflake.com·1d
🎲Probabilistic Programming
Isn't It Semantic? – BCS
bcs.org·1d·
Discuss: Hacker News
🧮Programming Language Theory
Chance international applicant for T30
reddit.com·20h·
Discuss: r/chanceme
🧮Programming Language Theory
GitOps Principles: The Future of Declarative Infrastructure and Deployment
blog.devops.dev·1d
🏗️Software Architecture
Study on how French people use AI
huggingface.co·1d·
Discuss: Hacker News
🧮Programming Language Theory
Under the Currents of Generational Myths
psychologytoday.com·2d
🧮Programming Language Theory
An Auditable Pipeline for Fuzzy Full-Text Screening in Systematic Reviews: Integrating Contrastive Semantic Highlighting and LLM Judgment
arxiv.org·1d
🔍Static Analysis
Chip-Scale Rydberg Atomic Electrometer
arxiv.org·18h
🔐Cryptography
AI Dev: Testing Kiro
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Multi-Agent Visual-Language Reasoning for Comprehensive Highway Scene Understanding
arxiv.org·18h
🎲Probabilistic Programming
MAVIL: Design of a Multidimensional Assessment of Visual Data Literacy and its Application in a Representative Survey
arxiv.org·18h
🎲Probabilistic Programming
Taylor Swift's engagement arrives right on time for Iga Swiatek's first U.S. Open win of 2025
nytimes.com·2h
🧫Cellular Automata
Constrained Prompt Enhancement for Improving Zero-Shot Generalization of Vision-Language Models
arxiv.org·18h
🔗Parser Combinators
Document Summarization & QA in RAG without Frameworks (PyMuPDF & ChromaDB)
pub.towardsai.net·3d
🔧Compiler Design