back
user profile

ibobev

31,779karma·5,120submissions·December 31, 2015
recent activity (5,120 total)
8 pts
Understanding the rationale behind a rule when trying to circumvent it(devblogs.microsoft.com)
2mo ago·discuss
4 pts
Why do you say that a COM STA thread must pump messages?(devblogs.microsoft.com)
2mo ago·discuss
6 pts
Solving a chess puzzle with Claude and Prolog(johndcook.com)
2mo ago·discuss
9 pts
Rust, C++, and the Tradeoffs Behind Safe Low-Level Code(serokell.io)
2mo ago·discuss
2 pts
Demystifying the View Transition Pseudo Tree(master.dev)
2mo ago·discuss
2 pts
Pulling on a Thread(johndcook.com)
2mo ago·discuss
3 pts
Formally proving a calculation with Claude and Lean(johndcook.com)
2mo ago·discuss
65 pts
Quivers: A year of linear algebra by drawing arrows(lisyarus.github.io)
2mo ago·7 comments
1 pts
Learning Regular Languages with the TTT Algorithm(rahul.gopinath.org)
2mo ago·discuss
3 pts
C++26: Cleaning up string literals(sandordargo.com)
2mo ago·discuss
2 pts
Sovereign(lemire.me)
2mo ago·discuss
1 pts
Why your asthma inhaler is so expensive (in the US)(educatedguesswork.org)
2mo ago·discuss
2 pts
HFT Latency Monitoring with Probabilistic Calling Context(hftuniversity.com)
2mo ago·discuss
2 pts
Kepler's equation led to Bessel functions(johndcook.com)
2mo ago·discuss
2 pts
A Crank Formula for π(johndcook.com)
2mo ago·3 comments
2 pts
I Stopped Fighting My Tools and Built a Game Engine in D(blog.dlang.org)
2mo ago·discuss
1 pts
The Laplace limit for solving Kepler's equation(johndcook.com)
2mo ago·discuss
30 pts
Faking keyword arguments to functions in C++(nibblestew.blogspot.com)
2mo ago·25 comments
2 pts
LLMs and Almost Good Code(entropicthoughts.com)
2mo ago·discuss
2 pts
Kan Extensions in Haskell(bartoszmilewski.com)
2mo ago·discuss
2 pts
SmithDB(buttondown.com)
2mo ago·discuss
4 pts
A cute little trick to running classic IIR filters on the GPU(themaister.net)
2mo ago·discuss
4 pts
Aitken Acceleration Before Aitken(johndcook.com)
2mo ago·discuss
3 pts
Factorio Space Logistics Improvements(factorio.com)
2mo ago·discuss
5 pts
LLM Research Papers: The 2026 List (January to May)(magazine.sebastianraschka.com)
2mo ago·discuss
3 pts
Branchless sorting of trivially relocatable types(quuxplusone.github.io)
2mo ago·discuss
4 pts
C++26 Reflection gives us universal template parameters(quuxplusone.github.io)
2mo ago·discuss
4 pts
Thoughts on starting new projects with LLM agents(eli.thegreenplace.net)
2mo ago·discuss
3 pts
Automating My Job Away(austinhenley.com)
2mo ago·discuss