🔤 Type Theory

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

How Reverse Proxies Work: The Complete Guide to Understanding and Using Tunneling Services Like Ngrok
instatunnel.my·3d·
Discuss: r/homelab
🔌Interface Evolution
Rugged to the extreme: Karbon 525
blogger.com·2d
💾Persistence Strategies
Partytown: Run third-party scripts from a web worker
partytown.qwik.dev·2d·
Discuss: Hacker News
🛡️WebAssembly Security
In Defense of 996
medium.com·7h·
Discuss: Hacker News
⚙️Proof Engineering
Football Daily | One man’s odyssey and a Hollywood striker get Wales fired up for Kazakhstan
theguardian.com·3d
📝ABNF Parsing
Effective learning: Twenty rules of formulating knowledge (1999)
supermemo.com·5d·
Discuss: Hacker News
📚Proof Pedagogy
The Barbell of Software Value
mehmetmhy.com·5d·
Discuss: Hacker News
🌀Brotli Internals
Generative AI as a Cybercrime Assistant
schneier.com·2d·
Discuss: Hacker News
🔍Vector Forensics
WasiPy – Python Interpreter in Wasi
github.com·3d·
Discuss: Hacker News
⚙️WASM Runtime
Imputation Techniques for Missing Data in R
dev.to·2d·
Discuss: DEV
📊Count-Min Sketch
A Quick Debugging Tip
irreal.org·5d
🔓Reverse engineering
Thinking of "AI Enablement" course for developers – would this be useful?
news.ycombinator.com·3d·
Discuss: Hacker News
⚡Proof Automation
Previously unknown RNA chaperone guides assembly of key poxvirus protein complex
phys.org·2d
🌸Bloom Variants
Principal Component Analysis (PCA) in Machine Learning: A Beginner’s Guide
dev.to·22h·
Discuss: DEV
📐Vector Dimensionality
The AI Era’s Secret Weapon: Developer Experience (DX) 🚀
dev.to·17h·
Discuss: DEV
❄️Nix Adoption
Updated Debian 12: 12.12 released
debian.org·3h
❄️Nix Flakes
Quantum Sensors: AI's Secret Weapon for Unveiling the Unseen by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
🔐Quantum Cryptography
Automated tool enables rapid, large-scale profiling of disease-linked RNA modifications
phys.org·3d
🚀SIMD Text Processing
Enhanced Ultrasonic Cavitation Reactor Design via Adaptive Flow Field Optimization
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Unleash Real-Time AI: Open Source Tools Supercharge Embedded Inference by Arvind Sundararajan
dev.to·4d·
Discuss: DEV
📊Quantization