OnSolve CodeRED cyberattack disrupts emergency alert systems nationwide
(bleepingcomputer.com)
31.
32.
Opinion | Generation C as in ‘Confused’
(feeds.content.dowjones.io)
33.
HumanLayer (YC F24) Is Hiring Founding Engineers
(news.ycombinator.com)
34.
The Parallel Search API
(news.ycombinator.com)
35.
ZOZO's Contact Solver for physics-based simulations
(news.ycombinator.com)
36.
ZOZO's Contact Solver (for physics-based simulations)
(news.ycombinator.com)
37.
Automated Lean Proofs for Every Type
(news.ycombinator.com)
38.
A dumb introduction to z3
(news.ycombinator.com)
39.
A Dumb Introduction to z3 using Rust
(news.ycombinator.com)
40.
41.
Introduction to Writing Good Puzzle Hunt Puzzles
(news.ycombinator.com)
42.
44.
Cloudflare says 1.1.1.1 outage not caused by attack or BGP hijack
(bleepingcomputer.com)
45.
The Hat, the Spectre and SAT Solvers (2024)
(news.ycombinator.com)
46.
Reflections on Sudoku, or the Impossibility of Systematizing Thought
(news.ycombinator.com)
Today's top topics:
apple
openai
anthropic
chatgpt
google
automation
nvidia
macbook neo
cnet
microsoft