📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

A quick glance at another bunch of codecs
codecs.multimedia.cx·1d
📊Information Theory
ImageIO, the Infamous iOS Zero Click Attack Vector (2024)
r00tkitsmm.github.io·2d·
Discuss: Hacker News
👐Open Source Software
The Day I Logged in with a Hash
gsociety.fr·11h·
Discuss: Hacker News
🔐Cryptography
Codeminer42 Dev Weekly #75
blog.codeminer42.com·2d
🔧Compiler Design
Dracula: August 24
draculadaily.substack.com·15h·
Discuss: Substack
🔢Mathematical Logic
Optimized FPGA-Based Low-Noise Amplifier Pipeline for Millimeter-Wave ET PA Systems
dev.to·21h·
Discuss: DEV
🏗Computer Architecture
You Can Build Better AI Agents in Java Than Python
medium.com·4d·
Discuss: Hacker News
🧩Theorem Proving
SC CC 'Bonnie Tsui, "On Muscle - The Stuff that Moves Us and Why it Matters" : CSPAN3 : August 23, 2025 2:51pm-3:41pm EDT
archive.org·1d
🔐Cryptography
TIL that adolescent girls in East Africa collect adult water beetles and let them bite their nipples to stimulate breast growth.
en.wikipedia.org·21h·
Discuss: r/todayilearned
🧫Cellular Automata
Building Castles in the Air, but With Surprise Physics
dbreunig.com·3d
🤖Sci-Fi
🌼 Learning Out Loud: My First Steps in Web Development
dev.to·3d·
Discuss: DEV
🔧Compiler Design
What Claude Code gets right
minusx.ai·3d·
Discuss: Hacker News, Hacker News, Hacker News, r/ClaudeAI
🧩Theorem Proving
Am I Just Passing Time in University… or Building My Future?
dev.to·9h·
Discuss: DEV
🧩Theorem Proving
An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.org·5d
📈Complexity Theory
Contrastive Analysis of Constituent Order Preferences Within Adverbial Roles in English and Chinese News: A Large-Language-Model-Driven Approach
arxiv.org·4d
🧮Programming Language Theory
JavaScript Fundamentals 🍝
dev.to·6d·
Discuss: DEV
🧮Programming Language Theory
Confession: I am the "AI Code" comment ghost haunting GitHub.
reddit.com·15h·
Discuss: r/trolleyproblem
🧩Theorem Proving
Automated Anomaly Detection in Microfluidic Devices via Hybrid Tensor Decomposition and Spectral Analysis
dev.to·1d·
Discuss: DEV
🛡️IoT Security
How I eliminated overtime with AI-powered project management
reddit.com·20h·
Discuss: r/selfhosted
🧩Theorem Proving
UNC football docuseries coming to Hulu this fall, Bill Belichick announces
nytimes.com·7h
🧫Cellular Automata