Ikea just took over your smart home
(theverge.com)
23341.
23342.
The algorithm failed music
(theverge.com)
23343.
23344.
23345.
New Firefox Mascot 'Kit' Unveiled On New Web Page
(slashdot.org)
23346.
Ironclad – formally verified, real-time capable, Unix-like OS kernel
(news.ycombinator.com)
23347.
23348.
I Want You to Understand Chicago
(news.ycombinator.com)
23349.
23350.
23351.
WriterdeckOS
(news.ycombinator.com)
23352.
23354.
23355.
23356.
Black Friday Apple deals include $100 off the Mac mini M4
(engadget.com)
23357.
23358.
52 Year old data tape could contain Unix history
(news.ycombinator.com)
23359.
Authorities Shut Down Film Festival in New York
(news.ycombinator.com)
23360.
23361.
Ticker: Don't die of heart disease
(news.ycombinator.com)
23362.
Ticker: Don't Die of Heart Disease
(news.ycombinator.com)
23363.
An Algebraic Language for the Manipulation of Symbolic Expressions (1958) [pdf]
(news.ycombinator.com)
23364.
Denmark Says It Will Ban Social Media for Users Under 15
(gizmodo.com)
23365.
Btop: A better modern alternative of htop with a gamified interface
(news.ycombinator.com)
23366.
23367.
23368.
12 steps you can take right now to be safer online
(engadget.com)
23369.
23370.
Facebook Dating Is a Surprise Hit For the Social Network
(slashdot.org)