GoKawiil - Tech News

1.

Steven Spielberg Brings YouTube Horror Series ‘The Mandela Catalogue’ to a Theater Near You (gizmodo.com)

2026-07-03 | tags: youtube, the mandela catalogue, dario argento

2.

"Little red dot" in early Universe is a naked supermassive black hole (arstechnica.com)

2026-05-27 | get Cosmology Telescope Kit → | tags: james webb space telescope, supermassive black hole, abell 2744−qso1

3.

James Webb telescope spots supermassive black hole that formed before its galaxy (engadget.com)

2026-05-27 | by Lawrence Bonk | get NASA James Webb Telescope Model → | tags: james webb telescope, supermassive black hole, cavendish laboratory

4.

The Palomar Lights (news.ycombinator.com)

2026-05-19 | get Palomar Lights LED Lamp → | tags: palomar observatory, george abell, galaxy clusters

5.

‘The Expendables’ May Return With a Female-Led Spinoff (gizmodo.com)

2026-05-17 | get The Expendables Action Figures → | tags: expendables, expendabelles, sylvester stallone

6.

Antibiotics look like any other drugs — and that’s a problem (feeds.nature.com)

2026-05-13 | by Makin | tags: antibiotic, antibiotics, countries

7.

Author Correction: Enteric neurons increase maternal food intake during reproduction (feeds.nature.com)

2026-05-06 | by Hadjieconomou | get Neuroscience Food Intake Book → | tags: gal4, uas, extended data

8.

“Why not just use Lean?” (news.ycombinator.com)

2026-04-27 | get Lean Software Development Book → | tags: lean, automath, de bruijn

9.

"Why not just use Lean?" (news.ycombinator.com)

2026-04-27 | get Lean Software Development Book → | tags: automath, lean, de bruijn

10.

Brainwide blood volume reflects opposing neural populations (feeds.nature.com)

2026-04-15 | by Landemard | get Neuroscience Brain Blood Flow Kit → | tags: fusi, cranial window, university college london

11.

λProlog: Logic programming in higher-order logic (news.ycombinator.com)

2026-02-20 | get Lambda Prolog → | tags: church's simple theory, higher-order logic, lambda-tree

12.

Broken Proofs and Broken Provers (news.ycombinator.com)

2026-02-04 | get Proofs → | tags: bugs, definitions, isabelle

13.

Ageing promotes microglial accumulation of slow-degrading synaptic proteins (feeds.nature.com)

2026-01-21 | by Guldner | get Synaptic proteins → | tags: labelled, protein, proteins

14.

Building venture-backable companies in heavily regulated spaces (techcrunch.com)

2025-12-19 | by Isabelle Johannessen | get Blockchain → | tags: build, build mode, isabelle

15.

Prompt caching for cheaper LLM tokens (news.ycombinator.com)

2025-12-16 | get Language Model Tokens → | tags: columns, embeddings, labelled

16.

Prompt caching: 10x cheaper LLM tokens, but how? (news.ycombinator.com)

2025-12-16 | get NLP Model → | tags: columns, embeddings, labelled

17.

50 years of proof assistants (news.ycombinator.com)

2025-12-12 | get Virtual Assistant → | tags: isabelle, language, proof

18.

EyesOff: How I built a screen contact detection model (news.ycombinator.com)

2025-11-15 | by Yusuf Mohammad | get Contact Lens → | tags: dataset, images, label

19.

'The Conjuring: Last Rites' Will Stream on HBO Max Next Week (cnet.com)

2025-11-14 | by See Full Bio | get Streaming device → | tags: annabelle, channel, conjuring

20.

Deepest-Ever Field Image of Giant Galaxy Cluster Is a Brutal Reminder of Your Cosmic Insignificance (gizmodo.com)

2025-10-31 | by Gayoung Lee | get Samsung Galaxy → | tags: abell, able, going