Generalized ADTs, Type Equality, Phantom Types, OCaml

This Week in Security: Bogus Ransom, WordPress Plugins, and KASLR
hackaday.com·1d
🛡️macOS Security
Flag this post
Kaveri: India's Most Powerful 64 Qubit Quantum Processor
qpiai.tech·4h·
Discuss: Hacker News
💻QEMU
Flag this post
Prentice Hall Interview with Rich Stevens, Author of Unix Programming (1997)
kohala.com·3d·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
Coding on Paper
thepalindrome.org·2d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
A File Format Uncracked for 20 Years
landaire.net·2d·
🎯GADT
Flag this post
AWK technical notes (2023)
maximullaris.com·6d·
🔀Brzozowski Derivatives
Flag this post
Helm Chart for deploying Stalwart cluster using OpenBao, FoundationDB, and NATS
reddit.com·13h·
Discuss: r/kubernetes
Helm
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
reddit.com·5d·
🧩Parser Combinators
Flag this post
Extracting Causal Relations in Deep Knowledge Tracing
arxiv.org·2d
📚Automata Learning
Flag this post
NAP: Attention-Based Late Fusion for Automatic Sleep Staging
arxiv.org·3d
🔲Cellular Automata
Flag this post
Should I learn Rust over Go?
reddit.com·1d·
Discuss: r/rust
🔧DevOps
Flag this post
Investigating Robot Control Policy Learning for Autonomous X-ray-guided Spine Procedures
arxiv.org·2d
🤖Robotics
Flag this post
Language Models Model Language
dev.to·6h·
Discuss: DEV
📚Automata Learning
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
lightcapai.medium.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
AI That Shows Its Work: The Transparent Revolution of PALs
dev.to·3d·
Discuss: DEV
Automated Theorem Proving
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.org·6d
🔄Finite State Machines
Flag this post
Meeting Minutes That Don't Suck: A Developer's Guide to AI Documentation
dev.to·1d·
Discuss: DEV
🔤Language Design
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·2d·
Discuss: DEV
🔁Fixpoint Theory
Flag this post