2011 N1 = 2024 A2
blog.evanchen.cc·23h
🔬Lean
Issue 481
haskellweekly.news·5h
🔗Functional Compilers
Horus 64B: What does ALSA audio have to do with high altitude balloons???
sprocketfox.io·1d
⚙️Cassette Mechanics
How to Run an Arduino for Years on a Battery
makecademy.com·10h·
Discuss: Hacker News
🔌Single Board PC
Multiplicative Modular Nim (MuM)
arxiv.org·2d
🎞️Tape Combinatorics
Janet Feature Demos
github.com·1d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Quantum code breaking? You'd get further with an 8-bit computer, an abacus, and a dog
theregister.com·5h·
Discuss: Hacker News
🔐Quantum Security
A quick introduction to "gemtext" markup
geminiprotocol.net·1d
📟Terminal Typography
Advanced PDF Optimization Techniques - 1752741
dev.to·8h·
Discuss: DEV
📝Text Compression
Self-Destruct SSD
industrial.teamgroupinc.com·2d·
Discuss: Hacker News
💾Floppy Imaging
The Impact of Prompt Bloat on LLM Output Quality
mlops.community·5h·
Discuss: Hacker News
✨Effect Handlers
The Fundamental Failure-Mode Theorem: Systems lie about their proper functioning
devblogs.microsoft.com·1d·
Discuss: Hacker News
💾Persistence Strategies
Remote Code Execution Discovered in XTool AnyScan App: Risks to Phones and Vehicles
nowsecure.com·1d·
Discuss: Hacker News
💣ZIP Vulnerabilities
How AI Detects Cancer in Whole Slide Images
hackernoon.com·22h
🧠Machine Learning
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·3d·
Discuss: r/programming
✅Format Verification
Re-implementing the Nix protocol in Rust
tweag.io·3d·
Discuss: Hacker News
🔒Linear Types
The FIPS 140-3 Go Cryptographic Module
go.dev·2d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🌊Stream Ciphers
A PhD's Apology
cappadokes.github.io·1d·
Discuss: Hacker News
🧮Theoretical Computer Science
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·1d·
Discuss: Hacker News
🌐WASI
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·2d·
Discuss: Hacker News, r/programming
🔒Type Safety