Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·1d·
Discuss: Hacker News, Hacker News, Hacker News
🧮SMT Solvers
Base44 – build fully-functional apps in minutes with just your words
base44.com·8h·
Discuss: Hacker News
🌀Brotli Internals
Helix Editor Release 25.07 Highlights
helix-editor.com·4d·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
Zero JDK: Reproducible builds by default
zero-jdk.dev·5d·
Discuss: Hacker News, r/programming
🔄Reproducible Builds
Developer loses $500k via malicious Cursor Extension
kaspersky.com·3d·
Discuss: Hacker News
🚀Indie Hacking
Matt Layman: Enhancing Chatbot State Management with LangGraph
mattlayman.com·1d
⚡Proof Automation
Dot product on misaligned data
lemire.me·4d·
Discuss: Hacker News, r/cpp
🔩Systems Programming
SOTA Multi-Platform Matrix Multiplication Kernels
burn.dev·2d·
Discuss: Hacker News, r/programming
⚡SIMD Optimization
3-line exploit revealed for critical Nvidia Container Toolkit flaw
scworld.com·4h·
Discuss: Hacker News
📦Container Security
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·2d·
Discuss: Hacker News
💻Local LLMs
USB-C hubs and my slow descent into madness (2021) | Hacker News
news.ycombinator.com·13h·
Discuss: Hacker News
🔌Operating system internals
govalid - A compile-time validation library that's up to 45x faster than reflection-based validators
reddit.com·3d·
Discuss: r/golang
🦀Rust Verification
LuCI on MGMT - Day 7
dev.to·3d·
Discuss: DEV
📻Homebrew Protocols
Tracking Protestware Spread: 28 npm Packages Affected by Payload Targeting Russian-Language Users
socket.dev·3d·
Discuss: Hacker News
🔓Open Source Software
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·2d
🖥️Terminal Renaissance
Imbalanced Regression Pipeline Recommendation
arxiv.org·2d
⚖️Feed Ranking
“Fake It Till You Make It” vs. Building Real Tech
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Show HN: Ggc – A terminal-based Git CLI written in Go
github.com·3d·
Discuss: Hacker News
🪟Awesome windows command-line
Comparison of defining interfaces in the consumer vs. producer when it comes to developing a microservice
reddit.com·2d·
Discuss: r/golang
🔌Interface Evolution
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·3d
🌳Context free grammars