GoKawiil
Luminescent-reaction-enabled super-resolution imaging
(feeds.nature.com)
1.
2.
Big Food vs. the People
(news.ycombinator.com)
3.
The Proof Machine (2016)
(news.ycombinator.com)
4.
Retailer lists rumored ‘green’ Sony WH-1000XM6 headphones
(androidauthority.com)
5.
6.
"Little red dot" in early Universe is a naked supermassive black hole
(arstechnica.com)
8.
The Palomar Lights
(news.ycombinator.com)
9.
‘The Expendables’ May Return With a Female-Led Spinoff
(gizmodo.com)
10.
Antibiotics look like any other drugs — and that’s a problem
(feeds.nature.com)
11.
12.
“Why not just use Lean?”
(news.ycombinator.com)
13.
"Why not just use Lean?"
(news.ycombinator.com)
14.
Brainwide blood volume reflects opposing neural populations
(feeds.nature.com)
15.
λProlog: Logic programming in higher-order logic
(news.ycombinator.com)
16.
Broken Proofs and Broken Provers
(news.ycombinator.com)
17.
Ageing promotes microglial accumulation of slow-degrading synaptic proteins
(feeds.nature.com)
18.
Building venture-backable companies in heavily regulated spaces
(techcrunch.com)
19.
Prompt caching for cheaper LLM tokens
(news.ycombinator.com)
20.
Prompt caching: 10x cheaper LLM tokens, but how?
(news.ycombinator.com)
21.
50 years of proof assistants
(news.ycombinator.com)
22.
EyesOff: How I built a screen contact detection model
(news.ycombinator.com)
23.