📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Crescent library brings privacy to digital identity systems
microsoft.com·12h
🔐Cryptography
Reorganizing Production To Serve Life, Not Profit
znetwork.org·12h
⚖Algorithmic Game Theory
The coming war on general-purpose computing (2012)
boingboing.net·14h·
Discuss: Hacker News
👐Open Source Software
Profiling Performance in Python
realpython.com·14h
🏗Computer Architecture
Ammonia emissions from agricultural products at high resolution across Europe
nature.com·8h
🎲Probabilistic Programming
Daily JavaScript Challenge #JS-264: Unique Anagrams Generator
dev.to·4h·
Discuss: DEV
🔗Parser Combinators
Nightlio: The self-hosted, FOSS alternative to Daylio. Now with Docker, a new UI, dark mode & more, thanks to your feedback!
reddit.com·10h·
Discuss: r/selfhosted
🦀Rust
Why AI Isn’t Ready to Be a Real Coder
spectrum.ieee.org·16h·
Discuss: r/technews
🤖Sci-Fi
This week's ship: Expensely 🪙
dev.to·12h·
Discuss: DEV
🎲Probabilistic Programming
What Makes a Good Website? Lessons From the Edge
dev.to·12h·
Discuss: DEV
⚖Algorithmic Game Theory
Rewriting Modulo Traced Comonoid Structure
arxiv.org·6d
🔄Category Theory
The 7 Programming Lessons That Took Me 10+ Years to Learn (And Could Save You a Decade)
reddit.com·2d·
Discuss: r/programming
🔧Compiler Design
Peripheral blood DNA methylation predicts the early onset of primary tumor in <i>TP53</i> mutation carriers
nature.com·8h
🔢Mathematical Logic
Prompting Techniques for Reducing Social Bias in LLMs through System 1 and System 2 Cognitive Processes
arxiv.org·2d
🎲Probabilistic Programming
Dual Orthogonal Guidance for Robust Diffusion-based Handwritten Text Generation
arxiv.org·1d
🎲Probabilistic Programming
M^3-GloDets: Multi-Region and Multi-Scale Analysis of Fine-Grained Diseased Glomerular Detection
arxiv.org·1d
🎲Probabilistic Programming
Starting over again - how do people clean up old properties and templated notes?
reddit.com·11h·
Discuss: r/ObsidianMD
🧠Memory Management
The Bug That Taught Me More Than Any Tutorial
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Efficient Architecture 101: Is Your Upload Strategy Actually Efficient?
dev.to·11h·
Discuss: DEV
🤝Protocol Design
Probing Local Branching Dynamics with Stern-Gerlach Interferometers and Dual Sensing
arxiv.org·2d
🔐Cryptography