Can You Hack Bowling?
thefiddler.substack.com·2h·
Discuss: Substack
🔲Cellular Automata
3 best practices for building software in the era of LLMs
about.gitlab.com·1d
⚡Proof Automation
There are exponentially many vectors with small inner product
lmao.bearblog.dev·20h·
Discuss: Hacker News
⚽Sphere Packing
Things I learned from 5 years at Vercel
leerob.com·2h·
Discuss: Hacker News
🔄Language Evolution
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
⚔️Lean Tactics
Kubernetes Podcast episode 255: HPC Workload Scheduling, with Ricardo Rocha
reddit.com·2d·
Discuss: r/kubernetes
🌊Streaming Systems
Caching
planetscale.com·3d·
Discuss: Lobsters, Hacker News, r/programming
💨Cache Optimization
Stochastic Interpolants
arxiv.org·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
AWS AI infrastructure with NVIDIA Blackwell: Two powerful compute solutions for the next frontier of AI
aws.amazon.com·1d
🏠Homelab Orchestration
Ancient Hero Dossier | Nonanyt
dev.to·21h·
Discuss: DEV
⚡Proof Automation
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·11h
⚡Incremental Computation
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
🧮Theorem Proving
Time Space Breakthrough, Ancient Memory Systems & An I-Ching Inspired Hyper-Stack Scheduler
hackernoon.com·4d
⚡Cache Theory
Reinforcement Learning with Action Chunking
arxiv.org·11h
🔲Cellular Automata
What percentage of your code should be AI-generated?
dev.to·1d·
Discuss: DEV
📏Code Metrics
GitHub Copilot Agent Mode: The Mistake You NEVER Want to Make
dev.to·2h·
Discuss: DEV
🦀Rust Macros
Evaluation of Large Language Model-Driven AutoML in Data and Model Management from Human-Centered Perspective
arxiv.org·2d
🔢Denotational Semantics
THOR: Thermal-guided Hand-Object Reasoning via Adaptive Vision Sampling
arxiv.org·1d
✋Tactile Computing
Multigranular Evaluation for Brain Visual Decoding
arxiv.org·11h
🧠Neural Codecs
DMF2Mel: A Dynamic Multiscale Fusion Network for EEG-Driven Mel Spectrogram Reconstruction
arxiv.org·11h
🎵Audio ML