📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

NIST Finalizes ‘Lightweight Cryptography’ Standard to Protect Small Devices
i-programmer.info·1h
🛡️IoT Security
We Computers: A Conversation with Hamid Ismailov and Shelley Fairweather-Vega
yalebooks.yale.edu·1d
🧮Programming Language Theory
A not-so-silent revolution is happening in AI inference
julsimon.medium.com·5h
🏗Computer Architecture
An Analysis of the Impact of Gold Open Access Publications in Computer Science
cacm.acm.org·3h
⚖Algorithmic Game Theory
A brief consideration of input shapes (fuzzing)
addisoncrump.info·3d·
Discuss: Lobsters, Hacker News
🔗Parser Combinators
The joy of recursion, immutable data, and pure functions: Generating mazes with JavaScript
jrsinclair.com·2d·
Discuss: Hacker News
⚙Functional Programming
Easy will always trump simple
surfingcomplexity.blog·2d·
Discuss: Hacker News
⚙Functional Programming
What Do You Mean?
quarter--mile.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Words as Forcefields: The Exile of Symbolic Speech
neofeudalreview.substack.com·3d·
Discuss: r/LLM
🧮Programming Language Theory
Emacs is violent passion
mihaiolteanu.me·7h·
Discuss: Hacker News
👐Open Source Software
One Prompt, Zero Engineers: Your New Internal Dev
a16z.com·3h·
Discuss: Hacker News
📦WebAssembly
Why I Built an "Awesome List" for Data Analysis (And How It Can Help You)
dev.to·4h·
Discuss: DEV
🔍Static Analysis
haskell/bytestring
github.com·3d
⚙Functional Programming
on the platform extremes
cozypper.net·52m
👐Open Source Software
The Rise of Remote Agentic Environments
thenewstack.io·3h
🔌Network Programming
Von Neumann's minimax theorem through Fourier-Motzkin elimination
arxiv.org·2d
🔢Mathematical Logic
A Multi-Resolution Benchmark Framework for Spatial Reasoning Assessment in Neural Networks
arxiv.org·1d
🎲Probabilistic Programming
Design Ethos
carlbarenbrug.com·9h
🧮Programming Language Theory
Why I Write My README Before I Touch the Keyboard
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Contextual Attention-Based Multimodal Fusion of LLM and CNN for Sentiment Analysis
arxiv.org·15h
🔗Parser Combinators