Coq: The World's Best Macro Assembler? (2013) [pdf]
(news.ycombinator.com)
1531.
1532.
Coq: The World's Best Macro Assembler? [pdf] [2013]
(news.ycombinator.com)
1533.
Sony teases the A7 V, its next flagship midrange camera
(engadget.com)
1534.
1535.
1536.
Here’s when Samsung’s public One UI 8.5 beta may finally get underway
(androidauthority.com)
1537.
Abercrombie & Fitch’s shares are up 37% thanks to Hollister’s success
(feeds.feedburner.com)
1538.
Kagi Hub Belgrade
(news.ycombinator.com)
1539.
Here’s why Gen Z is obsessed with the humble quarter zip
(feeds.feedburner.com)
1540.
Someone at YouTube Needs Glasses: The Prophecy Has Been Fulfilled
(news.ycombinator.com)
1541.
Rising unemployment rate for Black women sparks calls for change
(feeds.feedburner.com)
1542.
iOS 27 new features: Everything we know so far
(9to5mac.com)
1543.
Cheese recall hits grocery stores nationwide right before Thanksgiving
(feeds.feedburner.com)
1544.
1545.
China launches emergency mission to its space station
(engadget.com)
1546.
1547.
Apple is cutting jobs: these teams will be impacted by layoffs
(feeds.feedburner.com)
1548.
1549.
1550.
Spotify Wrapped 2025 page goes live, could drop as early as next week!
(androidauthority.com)
1551.
This AI combo could unlock human-level intelligence
(feeds.nature.com)
1552.
1553.
1554.
1555.
IEEE Hits 500,000-Member Milestone
(spectrum.ieee.org)
1556.
Here’s everything new Apple TV has coming in December
(9to5mac.com)
1557.
1558.
1559.
1560.
I put a real search engine into a Lambda, so you only pay when you search
(news.ycombinator.com)