Unlocking the Impossibly Optimized: Enter the 'Hyper-Optimizer' by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
📊Profile-Guided Optimization
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
🧮SMT Solvers
Flag this post
The Engineering Guide to Efficient LLM Inference: Metrics, Memory, and Mathematics
pub.towardsai.net·2d
📊Profile-Guided Optimization
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·19h·
Discuss: Substack
🎭Program Synthesis
Flag this post
Modern X86 Assembly Language Programming • Daniel Kusswurm & Matt Godbolt • GOTO 2025
youtube.com·2d
🌳Instruction Selection
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
dev.to·1d·
Discuss: DEV
🔓Lock-Free Programming
Flag this post
Unusual circuits in the Intel 386's standard cell logic
righto.com·12h·
Discuss: Lobsters, Hacker News, Hacker News
⚡RISC-V
Flag this post
Question from notation in "Hacker's Delight" by Warren
reddit.com·5h·
Discuss: r/C_Programming
♻️Boehm GC
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔢Homomorphic Encryption
Flag this post
Trying Out C++26 Executors
mropert.github.io·10h·
Discuss: Lobsters, Hacker News
🌊Glommio
Flag this post
Claude Loves a Challenge, Bonus Secret Menu Attached. (Ultimate Guide to Claude, from Claude, Saving Face and Rising to the Occasion).
api.anthropic.com·1d·
Discuss: r/ClaudeAI
💬Prompt Engineering
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·8h·
Discuss: Hacker News
🔢Homomorphic Encryption
Flag this post
From Prototype to Production: How to Engineer Reliable LLM Systems
dev.to·7h·
Discuss: DEV
🦙Ollama
Flag this post
Hardcore function calling benchmark in backend coding agent.
reddit.com·1d·
Discuss: r/LocalLLaMA
📊Criterion.rs
Flag this post
20x Faster TRL Fine-tuning with RapidFire AI
huggingface.co·2d
📊Performance Tools
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🦙Ollama
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·10h·
Discuss: Hacker News
🔍Type Inference
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·20h·
Discuss: Substack
⚙️Systems Programming
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
entropicdrift.com·1d·
Discuss: r/programming
🏗️Cranelift
Flag this post
Introduction to distributed inference with llm-d
developers.redhat.com·1d
🦙Ollama
Flag this post