The Galaxy S26 Ultra has a hidden tool for better portrait lighting
(androidauthority.com)
1.
2.
MetaGenesis Core – offline verification for computational claims
(news.ycombinator.com)
3.
Tony Hoare has died
(news.ycombinator.com)
4.
Turing Award winner and former Oxford professor Tony Hoare passed away
(news.ycombinator.com)
5.
Artificial-life: A simple (300 lines of code) reproduction of Computational Life
(news.ycombinator.com)
6.
Reverse-Engineering the Wetware: Spiking Networks and the End of Matrix Math
(news.ycombinator.com)
7.
Assigning Open Problems in Class
(news.ycombinator.com)
8.
Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations
(news.ycombinator.com)
9.
What Is Ruliology?
(news.ycombinator.com)
10.
Actors: A Model of Concurrent Computation [pdf] (1985)
(news.ycombinator.com)
11.
12.
Will AIs take all our jobs and end human history, or not? (2023)
(news.ycombinator.com)
13.
Will AIs Take All Our Jobs and End Human History–Or Not?
(news.ycombinator.com)
14.
15.
The Man Taking Over the Large Hadron Collider
(slashdot.org)
16.
Wolfram Compute Services
(news.ycombinator.com)
17.
Artificial Computation
(news.ycombinator.com)
18.
19.
Mathematics and Computation (2019) [pdf]
(news.ycombinator.com)
20.
21.
22.
24.
25.
An Afternoon at the Recursive Café: Two Threads Interleaving
(news.ycombinator.com)
26.
Show HN: Semlib – Semantic Data Processing
(news.ycombinator.com)
27.
Some thoughts on journals, refereeing, and the P vs NP problem
(news.ycombinator.com)
28.
29.
Show HN: The Magic of Code – book about the wonders and weirdness of computation
(news.ycombinator.com)
30.
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
(news.ycombinator.com)