Show HN: Semcheck – AI Tool for checking implementation follows spec
(news.ycombinator.com)
511.
512.
513.
Building Linux kernel on macOS natively
(news.ycombinator.com)
514.
Spain and Brazil push global action to tax the super-rich and curb inequality
(news.ycombinator.com)
515.
Effectiveness of trees in reducing temperature, outdoor heat exposure in Vegas
(news.ycombinator.com)
516.
Effectiveness of trees in reducing temperature & outdoor heat exposure in Vegas
(news.ycombinator.com)
517.
Nimtable: Open-source web UI to browse and manage Apache Iceberg tables
(news.ycombinator.com)
518.
519.
520.
NovaCustom – Framework Laptop alternative focusing on privacy
(news.ycombinator.com)
521.
Lago (Open-Source Usage Based Billing) is hiring for ten roles
(news.ycombinator.com)
522.
SymbolicAI: A neuro-symbolic perspective on LLMs
(news.ycombinator.com)
523.
Computing’s Top 30: Nirmalya Thakur
(computer.org)
524.
Information has been permanently deleted, for small values of permanently
(news.ycombinator.com)
525.
526.
Introducing our esteemed 2024 TCMC Impact Award Recipient
(computer.org)
527.
Tell HN: Beware confidentiality agreements that act as lifetime non competes
(news.ycombinator.com)
528.
Incant – add magic spells to your code
(news.ycombinator.com)
529.
530.
LLM Chat via SSH
(news.ycombinator.com)
532.
Launch HN: Confident AI (YC W25) – Open-source evaluation framework for LLM apps
(news.ycombinator.com)
533.