GoKawiil
The Palomar Lights
(news.ycombinator.com)
1.
2.
‘The Expendables’ May Return With a Female-Led Spinoff
(gizmodo.com)
3.
Antibiotics look like any other drugs — and that’s a problem
(feeds.nature.com)
4.
5.
“Why not just use Lean?”
(news.ycombinator.com)
6.
"Why not just use Lean?"
(news.ycombinator.com)
7.
Brainwide blood volume reflects opposing neural populations
(feeds.nature.com)
8.
λProlog: Logic programming in higher-order logic
(news.ycombinator.com)
9.
Broken Proofs and Broken Provers
(news.ycombinator.com)
10.
Ageing promotes microglial accumulation of slow-degrading synaptic proteins
(feeds.nature.com)
11.
Building venture-backable companies in heavily regulated spaces
(techcrunch.com)
12.
Prompt caching for cheaper LLM tokens
(news.ycombinator.com)
13.
Prompt caching: 10x cheaper LLM tokens, but how?
(news.ycombinator.com)
14.
50 years of proof assistants
(news.ycombinator.com)
15.
EyesOff: How I built a screen contact detection model
(news.ycombinator.com)
16.