📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Counting Org mode headlines
mbork.pl·1d
📝Lisp
Android Document Readers and Deception: Tracking the Latest Updates to Anatsa
zscaler.com·15m·
Discuss: Hacker News
🏗️Software Architecture
Scientists Create Synthetic Organism That Rewrites Life’s Universal Genetic Code
zmescience.com·2h
🧫Cellular Automata
Decision Process Theory, Twitter, Substack, More: Monday ResearchBuzz, August 25, 2025
researchbuzz.me·1d
⚖️Logic Programming
original ↗
manton.org·19h
🧫Cellular Automata
How we leveraged vLLM to power our GenAI applications at LinkedIn
linkedin.com·19h
🔧Compiler Design
013Home
antechei.bearblog.dev·1d
💾Retrocomputing
The Science of Intelligent Exploration: Why We Need Exploration in AI
richardcsuwandi.github.io·2d·
Discuss: Hacker News
🤖Sci-Fi
Chromeが“Material 3 Expressive”デザインに進化─Canary版で先行テスト開始
news.jp·19h
🧮Programming Language Theory
yolo-cls - A C++ CLI tool for batch image classification with ONNX Runtime
reddit.com·1d·
Discuss: r/commandline
🔧Compiler Design
My experience learning godot and getting over the complete beginner hump
reddit.com·1d·
Discuss: r/godot
🧩Theorem Proving
In what order do you do things?
reddit.com·2d·
Discuss: r/webdev
📦WebAssembly
Why Science Must Embrace Co-Creation with Generative AI to Break Current Research Barriers
towardsdatascience.com·1d
🧩Theorem Proving
Learning measurement-induced phase transitions using attention
arxiv.org·1d
🎲Probabilistic Programming
At 33, Baby on the Way, No Plan: How I Became a Developer
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Postit 2025-04-08 14:07:40
dinandmentink.nl·3d
🧫Cellular Automata
Improving culture with the capability culture cycle
dev.to·4h·
Discuss: DEV
🏗️Software Architecture
Taming the Beast: The Outbox Pattern for Reliable Event Publishing
dev.to·11m·
Discuss: DEV
🤝Protocol Design
Securing Heterogeneous Network (HetNet) Communications for Wildfire Management: Mitigating the Effects of Adversarial and Environmental Threats
arxiv.org·15h
📊Information Theory
Toward Socially Aware Vision-Language Models: Evaluating Cultural Competence Through Multimodal Story Generation
arxiv.org·15h
🔧Compiler Design