GoKawiil - Tech News

Topics: Today This Week This Month This Year

λ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

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

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

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

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

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

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

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

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

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

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

'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

10.

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

Today's top topics: apple google nasa amazon openai artemis ii android authority microsoft anthropic nvidia