Cloudflare Raves About Performance Gains After Rust Rewrite
developers.slashdot.org·18h
❄️NixOS
Flag this post
I Let AI Vote for Me in the Nix SC Election
jackson.dev·7h·
Discuss: Hacker News
❄️NixOS
Flag this post
Nostr is deceptively tricky to understand
njump.me·1h·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·2d
📚Automata Learning
Flag this post
Revisiting interface segregation in Go
rednafi.com·2d·
Discuss: Hacker News, r/golang
💎Refinement Types
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·2d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
Magisterium
isaacbowen.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Automated Assessment of Scientific Grant Proposals via Hyperdimensional Semantic Analysis
dev.to·10h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Unlocking AI Potential: Squeezing Giant Models into Tiny Spaces
dev.to·1h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·1d
⏱️Computational Complexity
Flag this post
Down with template (or not)!
cedardb.com·3d·
Discuss: Hacker News, r/cpp
🎯GADT
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
dev.to·2h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
A toy model of corrigibility
lesswrong.com·5h
⏰Timed Automata
Flag this post
AI as Mathematical Muse: Unlocking the Universe's Secrets Together
dev.to·1d·
Discuss: DEV
🔢Computability Theory
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·6h·
Discuss: DEV
🕸️Graph Theory
Flag this post
Day 21 of documentating my learning Journey
dev.to·10h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
A Formulation of Slop: How Optimization Pressure Destroys Meaning
intuitmachine.medium.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Human Values ≠ Goodness
lesswrong.com·4h
⬜Minimalism
Flag this post