GoKawiil
Tech News
clear
Topic Analysis:
Today
This Week
This Month
This Year
1.
Typechecking is undecidable when 'type' is a type (1989) [pdf]
(news.ycombinator.com)
2026-01-30 |
related products
| tags:
type
,
type pdf
,
type type
2.
A History of Haggis (2019)
(news.ycombinator.com)
2026-01-27 |
related products
| tags:
attacks
,
attacks checking
,
browser
3.
Internet voting is insecure and should not be used in public elections
(news.ycombinator.com)
2026-01-22 | by Andrew Appel |
related products
| tags:
checking
,
internet
,
internet voting
4.
Three Reasons We Can’t Get Enough of LinkedIn
(feeds.content.dowjones.io)
2026-01-07 |
related products
| tags:
checking
,
checking declined
,
content moderation
5.
Consuming news from AI shifts our opinions and reality. Here’s how
(feeds.feedburner.com)
2025-12-23 |
related products
| tags:
ai goal
,
ai regulation
,
checking
6.
TLA+ Modeling Tips
(news.ycombinator.com)
2025-12-17 | by Visit Profile |
related products
| tags:
check
,
checking
,
invariants
7.
Show HN: I made a down detector for down detector
(news.ycombinator.com)
2025-11-19 |
related products
| tags:
checking
,
checking status
,
checks
8.
I made a down detector for down detector
(news.ycombinator.com)
2025-11-19 |
related products
| tags:
checking
,
checking status
,
checks
9.
Type checking is a symptom, not a solution
(news.ycombinator.com)
2025-10-31 | by Paul Tarvydas |
related products
| tags:
checking
,
components
,
systems
Today's top topics:
apple
affect
does affect
independent reviews
reviews
billion
revenue
google
code
file
View all today's topics →