GoKawiil
Tech News
clear
Topic Analysis:
Today
This Week
This Month
This Year
1.
Stop Killing Games surpasses 1 million verified signatures, EU to take action
(techspot.com)
2026-01-27 | tags:
announced
,
announced major
,
authorities
2.
Anthropic's Dario Amodei says allowing Nvidia H200 sales to China is like "selling nuclear weapons to North Korea"
(techspot.com)
2026-01-20 | tags:
administration
,
administration formalized
,
amd chips
3.
Test, don't just verify
(news.ycombinator.com)
2025-12-23 |
related products
| tags:
bugs
,
formal
,
formal verification
4.
Test, don't (just) verify
(news.ycombinator.com)
2025-12-23 |
related products
| tags:
bugs
,
formal
,
formal verification
5.
Test, Don't (Just) Verify
(news.ycombinator.com)
2025-12-23 |
related products
| tags:
bugs
,
formal
,
formal verification
6.
P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
(news.ycombinator.com)
2025-12-17 |
related products
| tags:
bugs
,
correctness
,
distributed
7.
AI will make formal verification go mainstream
(news.ycombinator.com)
2025-12-16 |
related products
| tags:
code
,
formal
,
formal verification
8.
Prediction: AI will make formal verification go mainstream
(news.ycombinator.com)
2025-12-16 |
related products
| tags:
code
,
formal
,
formal verification
9.
The Coming Need for Formal Specification
(news.ycombinator.com)
2025-12-13 | by Ben Congdon |
related products
| tags:
code
,
components
,
formal
10.
Singapore Takes Top Spot in Global Talent Index
(slashdot.org)
2025-11-28 | by Posted |
related products
| tags:
education
,
european
,
formal
11.
Trump Questions Whether Turkeys He Pardoned Are Really MAHA Because They’re ‘Fat’
(gizmodo.com)
2025-11-25 |
related products
| tags:
certified
,
certified maha
,
formally
12.
Lean4: How the theorem prover works and why it's the new competitive edge in AI
(venturebeat.com)
2025-11-23 |
related products
| tags:
correct
,
formal
,
lean
13.
Pizza Hut’s parent company weighs selling the chain
(feeds.feedburner.com)
2025-11-04 |
related products
| tags:
brands
,
brands conducting
,
compete
14.
Litex: The First Formal Language Learnable in 1-2 Hours
(news.ycombinator.com)
2025-10-31 |
related products
| tags:
10
,
ai
,
formal
15.
Formal specs as sets of behaviors
(news.ycombinator.com)
2025-10-31 | by Lorin Hochstein |
related products
| tags:
behavior
,
behaviors
,
formal
Today's top topics:
amazon
billion
linux
model
bose
sonos
operating
software
anthropic
zdnet
View all today's topics →