121.
122.
123.
Mathematicians are developing rules for AI use — other fields should follow
(feeds.nature.com)
124.
125.
126.
127.
Formal methods and the future of programming
(news.ycombinator.com)
128.
Formal Methods and the Future of Programming
(news.ycombinator.com)
129.
130.
Jeff Bezos Isn’t Worried About AI Taking Jobs — And Now He’s Launching a New AI Venture
(feeds.feedburner.com)
131.
132.
133.
Supporting Exchange and beyond
(news.ycombinator.com)
134.
135.
The beauty and simplicity of the good old C-style void* in C++
(news.ycombinator.com)
136.
137.
Dark web Nemesis Market vendor gets 26 years for selling drugs
(bleepingcomputer.com)
138.
139.
140.
Gwyneth Paltrow’s puzzling dairy substitute—arugula—takes off like a rocket on social media
(feeds.feedburner.com)
141.
Gwyneth Paltrow’s puzzling dairy substitute—arugula—takes off on social media like a rocket
(feeds.feedburner.com)
142.
143.
144.
Leiden Declaration on Artificial Intelligence and Mathematics
(news.ycombinator.com)
145.
Ubiquitin tags detected on non-protein biomolecules using new method
(feeds.nature.com)
146.
Chiral superfluorescence from perovskite superlattices at room temperature
(feeds.nature.com)
147.
If I had a hammer... it might actually be a rhino tooth
(arstechnica.com)
148.
Experiments reveal that Neanderthals used rhino teeth as hammers
(arstechnica.com)
149.
150.
What if it’s us who can learn something from Gen Z about work?
(feeds.feedburner.com)
Today's top topics:
dark