Slaughtering Competition Problems with Quantifier Elimination
Article URL: https://grossack.site/2021/12/22/qe-competition.html Comments URL: https://news.ycombinator.com/item?id=46415448 Points: 3 # Comments: 0...
Dec 28Hacker NewsTechnologyImpact
Article URL: https://grossack.site/2021/12/22/qe-competition.html Comments URL: https://news.ycombinator.com/item?id=46415448 Points: 3 # Comments: 0...
Article URL: https://kennethreitz.org/essays/2025-12-28-the_internet_is_a_net_negative Comments URL: https://news.ycombinator.com/item?id=46415164 Points: 5 # Comments: 1...
Article URL: https://ploum.net/2025-12-15-communication-entertainment.html Comments URL: https://news.ycombinator.com/item?id=46404848 Points: 8 # Comments: 0...
Article URL: https://railsatscale.com/2025-12-24-launch-zjit/ Comments URL: https://news.ycombinator.com/item?id=46393906 Points: 8 # Comments: 0...
Article URL: https://www.nature.com/articles/s41467-025-65661-8 Comments URL: https://news.ycombinator.com/item?id=46389418 Points: 12 # Comments: 0...
Article URL: https://newsroom.ibm.com/2025-12-28-Remembering-Lou-Gerstner Comments URL: https://news.ycombinator.com/item?id=46413365 Points: 8 # Comments: 0...
Article URL: https://stanislas.blog/2025/12/macos-thermal-throttling-app/ Comments URL: https://news.ycombinator.com/item?id=46410402 Points: 7 # Comments: 0...
Article URL: http://www.observationalhazard.com/2025/12/c-java-java-llm.html Comments URL: https://news.ycombinator.com/item?id=46408510 Points: 4 # Comments: 0...
Article URL: https://www.axios.com/2025/12/28/nvidia-groq-shareholders Comments URL: https://news.ycombinator.com/item?id=46408104 Points: 7 # Comments: 1...
Article URL: https://toidiu.com/blog/2025-12-25-privacy-and-control/ Comments URL: https://news.ycombinator.com/item?id=46446938 Points: 8 # Comments: 0...
Article URL: https://kywch.github.io/blog/2025/12/curriculum-learning-2048-tetris/ Comments URL: https://news.ycombinator.com/item?id=46445195 Points: 6 # Comments: 0...
Article URL: https://daniel.haxx.se/blog/2025/12/29/no-strcpy-either/ Comments URL: https://news.ycombinator.com/item?id=46433029 Points: 10 # Comments: 0...
Article URL: https://subseacables.blogspot.com/2025/12/the-british-empires-resilient-subsea.html Comments URL: https://news.ycombinator.com/item?id=46432999 Points: 5 # Comments: 0...
Article URL: https://syriauntold.com/2025/12/27/keeping-syria-connected-during-war/ Comments URL: https://news.ycombinator.com/item?id=46505352 Points: 52 # Comments: 10...
Article URL: https://blog.pypi.org/posts/2025-12-31-pypi-2025-in-review/ Comments URL: https://news.ycombinator.com/item?id=46447202 Points: 4 # Comments: 0...
Article URL: https://monogame.net/blog/2025-12-30-385-new-sponsor-announcement/ Comments URL: https://news.ycombinator.com/item?id=46445068 Points: 21 # Comments: 1...
Article URL: https://surfingcomplexity.blog/2025/12/27/the-dangers-of-ssl-certificates/ Comments URL: https://news.ycombinator.com/item?id=46406129 Points: 4 # Comments: 1...
Article URL: https://nesbitt.io/2025/12/26/how-uv-got-so-fast.html Comments URL: https://news.ycombinator.com/item?id=46393992 Points: 9 # Comments: 0...
Article URL: https://build.ms/2025/12/22/codex-vs-claude-code-today/ Comments URL: https://news.ycombinator.com/item?id=46391391 Points: 5 # Comments: 0...
Article URL: https://layandreas.github.io/personal-blog/posts/how-spotify-made-me-self-host/ Comments URL: https://news.ycombinator.com/item?id=46517636 Points: 12 # Comments: 3...