Why is it worth spending time on type theory? (2013)
(news.ycombinator.com)
5521.
5522.
Why is it worth spending time on type theory?
(news.ycombinator.com)
5523.
5525.
5526.
Some AI tools don’t understand biology yet
(arstechnica.com)
5527.
5528.
5529.
5530.
5531.
Some thoughts on journals, refereeing, and the P vs NP problem
(news.ycombinator.com)
5532.
5533.
Wallpaper Wednesday: More great phone wallpapers for all to share (August 6)
(androidauthority.com)
5534.
5536.
Microsoft pays record $17 million in bounties over the last 12 months
(bleepingcomputer.com)
5537.
Trend Micro warns of Apex One zero-day exploited in attacks
(bleepingcomputer.com)
5538.
ReVault flaws let hackers bypass Windows login on Dell laptops
(bleepingcomputer.com)
5539.
Wired Called Our AirGradient Monitor 'Not Recommended' over a Broken Display
(news.ycombinator.com)
5540.
5541.
T-mobile may have a new perk to keep loyal customers from switching carriers
(androidauthority.com)
5542.
The mystery of Winston Churchill's dead platypus was finally solved
(news.ycombinator.com)
5543.
Top AI Experts Concerned That OpenAI Has Betrayed Humankind
(futurism.com)
5544.
Create space-saving clones on macOS with Python
(news.ycombinator.com)
5545.
5547.
Gemini storybooks let you be the star of your kids’ bedtime stories
(androidauthority.com)
5548.
5549.
Ask HN: Have you ever regretted open-sourcing something?
(news.ycombinator.com)
5550.
Today's top topics:
terminal