The Why of PGP Authentication
articles.59.ca·10h
🔑Cryptographic Protocols
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·3h·
Discuss: DEV
🔍Concolic Testing
Toy Binary Decision Diagrams
philipzucker.com·4d
🧮Algebraic Datatypes
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Real-Time Adaptive Sparsity Optimization for Edge-Deployed AI Inference Accelerators
dev.to·13h·
Discuss: DEV
🌊Streaming Compression
More on Carmichael
johndcook.com·1d·
Discuss: Hacker News
🔢Reed-Solomon Math
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
👑Isabelle
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
Randomized and quantum approximate matrix multiplication
arxiv.org·19h
🔐Quantum Cryptography
Show HN: Realization Jsmn on a Pure Zig
github.com·13h·
Discuss: Hacker News
🔗Concatenative Programming
Neural Networks from Scratch in Python: Simpler Than You Think
hamza.se·3h·
Discuss: Hacker News
📊Quantization
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·50m·
Discuss: Hacker News
⬌Bidirectional Typing
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·19h
⚙️Compression Benchmarking
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·10h·
Discuss: Hacker News
🎯Performance Proofs
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·2d
💨Cache Optimization
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·1h·
Discuss: Hacker News
🎯Performance Proofs
Show HN: Rebuilt Bible search app to run 100% client-side with Transformers.js
biblos.app·2h·
Discuss: Hacker News
📜Binary Philology
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·4d·
Discuss: Hacker News
💻Local LLMs
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·19h
🔄Burrows-Wheeler