Tech News
clear
Topic Analysis: Today This Week This Month This Year
1.
DNS Explained – How Domain Names Get Resolved (news.ycombinator.com)
2.
ZOZO's Contact Solver for physics-based simulations (news.ycombinator.com)
3.
ZOZO's Contact Solver (for physics-based simulations) (news.ycombinator.com)
4.
Automated Lean Proofs for Every Type (news.ycombinator.com)
5.
A dumb introduction to z3 (news.ycombinator.com)
6.
A Dumb Introduction to z3 using Rust (news.ycombinator.com)
7.
Introduction to Writing Good Puzzle Hunt Puzzles (news.ycombinator.com)
8.
Cloudflare says 1.1.1.1 outage not caused by attack or BGP hijack (bleepingcomputer.com)
9.
The Hat, the Spectre and SAT Solvers (2024) (news.ycombinator.com)
Today's top topics: apple battery amazon android billion design google bowl affect does affect
View all today's topics →