🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

<p>Just for the record, I&rsquo;m not going to stop using em dashes just because LLMs use them too. But to proove my authenticity, I&rsquo;ll occasionally use &...
lmika.org·2d
🖋Typography
Can small AI models think as well as large ones?
seangoedecke.com·1d
📊Quantization
The Mask-Off Moment for Digital Identity
newdesigncongress.org·7h·
Discuss: Lobsters, Hacker News
🇸🇪Nordic Cryptography
Crafting a Dice Roller with Three.js and Cannon-Es
tympanus.net·15h·
Discuss: Hacker News
📊Computational Geometry
Minimal Scala Container Images Using Nix
blog.aiono.dev·6h·
Discuss: Hacker News
📦Container Security
A Tale of Practical Keylogger Forensics
research.hisolutions.com·9h·
Discuss: Hacker News
🔍NTLM Forensics
Certificate Transparency - Part 1
ipng.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🌳Archive Merkle Trees
In the Search for Beauty: Smilga on the Origins of Non-Euclidean Geometry (1970)
mirtitles.org·2h·
Discuss: Hacker News
📐Mathematical Art
Requesting Funding for 90s.dev
90s.dev·1h·
Discuss: Hacker News, r/webdev
🔓Open Source Software
vi.mock Is a Footgun: Why vi.spyOn Should Be Your Default
laconicwit.com·5h·
Discuss: Hacker News, r/javascript, r/programming
🐛Fuzzing
Gotta Search 'Em All, MCP!!
dev.to·12h·
Discuss: DEV
🌀Brotli Internals
Counterfactual Explanations in Medical Imaging: Exploring SPN-Guided Latent Space Manipulation
arxiv.org·13h
🧠Machine Learning
Differentiated Thyroid Cancer Recurrence Classification Using Machine Learning Models and Bayesian Neural Networks with Varying Priors: A SHAP-Based Interpretat...
arxiv.org·13h
🧠Machine Learning
The many, many, many JavaScript runtimes of the last decade
buttondown.com·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🔌Interface Evolution
Probing Multimodal Fusion in the Brain: The Dominance of Audiovisual Streams in Naturalistic Encoding
arxiv.org·13h
🧠Neural Codecs
AI Enabled 6G for Semantic Metaverse: Prospects, Challenges and Solutions for Future Wireless VR
arxiv.org·13h
📻Homebrew Protocols
All the Details and Changes That Came With Rust 1.82.0
hackernoon.com·2d
🦀Rust Borrowing
🔥 Claude Code pattern that saves 5-minute daily:
dev.to·21h·
Discuss: DEV
🌳Incremental Parsing
Graph Neural Network-Based Predictor for Optimal Quantum Hardware Selection
arxiv.org·13h
⚛️Quantum Compilers
Automatic Cough Analysis for Non-Small Cell Lung Cancer Detection
arxiv.org·13h
🧠Machine Learning