GoKawiil - Tech News

Topics: Today This Week This Month This Year

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

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

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

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

Today's Wordle Hints, Answer and Help for April 17, #1763 (cnet.com)

2026-04-16 | by See Full Bio | tags: wordle, nytimes, belle

Seattle just built the world’s first light rail on a floating bridge (feeds.feedburner.com)

2026-02-11 | get Hyperloop → | tags: amazon, amazon meta, area

This legendary Nokia phone is being brought back to life in 2026 (androidauthority.com)

2026-02-05 | get Nokia 3310 → | tags: belle, nokia, phone

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

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

Back to Bellevue (news.ycombinator.com)

2026-01-23 | by Natalie Angier | get Smartphone → | tags: bellevue, blood, called

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

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

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

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

10.

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

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

11.

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

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

12.

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

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

13.

What’s it like to compete in the longest US off-road rally with no GPS? (arstechnica.com)

2025-11-14 | get Off-Road Vehicle → | tags: dreon, nicole, nicole dreon

14.

'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

Today's top topics: openai google apple nintendo sony android authority shinyhunters switch 2 microsoft chatgpt