A Laser-Cut Tromino Puzzle
divisbyzero.com·15h
🧮SMT Solvers
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·2d
🌀Brotli Dictionary
Flag this post
Cross ratio
johndcook.com·16h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·3h·
Discuss: Hacker News
⚙️RISC-V Microcode
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·2d·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·16h·
Discuss: Substack
🌊Stream Processing
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·3d·
Discuss: DEV
🔲Lattice Cryptography
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·16h·
Discuss: Lobsters, Hacker News
📐Mathematical Art
Flag this post
Building Archaic - Nostalic memory sharing platform
vibe.forem.com·13h·
Discuss: DEV
🏛Digital humanities
Flag this post
Magisterium
isaacbowen.com·1d·
Discuss: Hacker News
✨Algebraic Effects
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
λLambda Formalization
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·1d
⚡Proof Automation
Flag this post
Building UnisonDB a DynamoDB-Inspired Database in Go with 100+ Edge Replication
reddit.com·4h·
Discuss: r/golang
🗄️Database Sharding
Flag this post
Linkage
11011110.github.io·1d
📐Mathematical Art
Flag this post
Type Club - Understanding typing through the lens of Fight Club
revelry.co·4d·
Discuss: r/programming
📜Binary Philology
Flag this post
Kimi Linear: An Expressive, Efficient Attention Architecture
arxiviq.substack.com·10h·
Discuss: Substack
🧠Machine Learning
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·19h·
Discuss: Hacker News, r/programming, r/rust
🖥️Game Emulation
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·1d·
Discuss: Hacker News
👁️Observatory Systems
Flag this post
Automated Variant Analysis & Kinship Assignment via Multi-Modal Data Fusion
dev.to·3h·
Discuss: DEV
📜Family History Data
Flag this post