7831.
7833.
I'm addicted to being useful
(news.ycombinator.com)
7834.
7835.
Extracting verified C++ from the Rocq theorem prover at Bloomberg
(news.ycombinator.com)
7836.
7837.
7838.
7839.
The HUAWEI Mate X7 has the best cameras I’ve ever used on a foldable
(androidauthority.com)
7840.
7841.
Linux kernel framework for PCIe device emulation, in userspace
(news.ycombinator.com)
7842.
7843.
This upcoming Android phone claims to last a whole week with its 10,001mAh battery
(androidauthority.com)
7844.
RCS for Business
(news.ycombinator.com)
7845.
7846.
Show HN: Artificial Ivy in the Browser
(news.ycombinator.com)
7847.
7848.
7849.
Legal Structures for Latin American Startups (2021)
(news.ycombinator.com)
7852.
Author Correction: Anthropogenic influences on major tropical cyclone events
(feeds.nature.com)
7853.
Mistaken identity and the psychology of human recognition
(feeds.nature.com)
7854.
7855.
Study decision-making to understand how technology will affect behaviour
(feeds.nature.com)
7856.
US funding cuts harm aspiring young scientists, too
(feeds.nature.com)
7857.
To gain public trust, make art central to science communication
(feeds.nature.com)
7858.
Reticulum, a secure and anonymous mesh networking stack
(news.ycombinator.com)
7859.
7860.
Today's top topics:
terminal