Skip to content
Tech News
clear
Topics: Today This Week This Month This Year
31.
OnSolve CodeRED cyberattack disrupts emergency alert systems nationwide (bleepingcomputer.com)
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.
AI Is Bad at Sudoku. It's Even Worse at Showing Its Work (cnet.com)
41.
Introduction to Writing Good Puzzle Hunt Puzzles (news.ycombinator.com)
42.
DaVinci Resolve has new immersive tools for spatial video editing (9to5mac.com)
43.
Yes, you can edit video like a pro on Linux - here are my 4 go-to apps (zdnet.com)
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
View all today's topics →