F*: A general-purpose proof-oriented programming language
(news.ycombinator.com)
31.
32.
Great Question (YC W21) Is Hiring Senior Demand Gen Manager
(news.ycombinator.com)
33.
90% of my searches don’t touch Google anymore — here’s what I use instead
(androidauthority.com)
34.
The time filter in Google Search broke a few days ago
(news.ycombinator.com)
35.
It’s not just you: This fundamental Google Search feature is broken worldwide
(androidauthority.com)
36.
How to Track Your Brand’s AI Visiblity in 2026
(feeds.feedburner.com)
37.
A Tech Founder Wanted to Start a New Country. An Actual Country Got in the Way.
(feeds.content.dowjones.io)
38.
Archaeologists Find Ancient Glyphs in the Amazon
(news.ycombinator.com)
39.
40.
RipGrep musl binaries occasionally segfault during very-large searches
(news.ycombinator.com)
41.
42.
43.
Drones Offer Alternative to Balloons For Weather Research
(slashdot.org)
44.
AI doesn't generate working products, that's still your job
(news.ycombinator.com)
45.
Dell Coupon Codes: 20% Off for August 2026
(wired.com)
46.
47.
48.
Arch Linux disables AUR package adoption to stop malware flood
(bleepingcomputer.com)
49.
Google Messages is in for a search overhaul
(androidauthority.com)
50.
51.
52.
Arch Linux disables AUR package adoption
(news.ycombinator.com)
53.
54.
55.
56.
The Maxwell Conjecture Is False (GPT 5.6 Sol)
(news.ycombinator.com)
57.
American workers are more disillusioned with AI the more they use it
(feeds.feedburner.com)
58.