📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

Sucharan Nuthula: Architect of Innovation in Automotive Software Engineering
techtimes.com·11h
🔧Compiler Design
Executor 2.0.0.0
majorgeeks.com·3h
🧩Theorem Proving
Physicists create thin films that unite topological insulators and ferroelectric behavior
phys.org·1h
🔐Cryptography
Boggle Roundup: My Fifteen Minutes of Fame
danvk.org·2d
🔗Parser Combinators
Learning to Decode Whale Language: Dawn of the Universal Translator
reactormag.com·2d
🧮Programming Language Theory
The Right to Read
gnu.org·9h·
Discuss: Hacker News
👐Open Source Software
Origin story of Pandunia
reddit.com·7h·
Discuss: r/pandunia
🧮Programming Language Theory
A Simulated Comprehensive Photon Flux Shielding Spectra Dataset for Advanced Radiation Safety Assessment
nature.com·5h
🎲Probabilistic Programming
Dictators and Strongmen: Oppressive Regimes in Historical Fiction
bookriot.com·5h
🔄Category Theory
Improving Frontend Structure in a CodeIgniter 4 Internal Application
reddit.com·11h·
Discuss: r/webdev
🔧Compiler Design
google/highway
github.com·3d
🏗Computer Architecture
Everyone talks about AI “memory,” but nobody defines it.
threadreaderapp.com·3h
🧠Memory Management
state-o-gram --A Novel 2D Visualization for Quantum States
arxiv.org·11h
🔐Cryptography
Show HN: Cairo – Open-source multi-tenant data segregation for GTM
github.com·2d·
Discuss: Hacker News
🦀Rust
Six bets on web development in the era of AI
dev.to·11h·
Discuss: DEV
🧮Programming Language Theory
Beyond prior knowledge: The predictive role of knowledge-building in Tutor Learning
arxiv.org·11h
🎲Probabilistic Programming
HiCL: Hippocampal-Inspired Continual Learning
arxiv.org·1d
🔧Compiler Design
Mapping urban gullies in the Democratic Republic of the Congo
nature.com·1m
🧫Cellular Automata
[D] Views on LLM Research: Incremental or Not?
reddit.com·2d·
Discuss: r/MachineLearning
🧮Programming Language Theory
Show HN: Async – Claude Code and Linear and GitHub PRs in One Opinionated Tool
github.com·2d·
Discuss: Hacker News
🦀Rust