Skip to content
GoKawiil
Tech News
Search articles
clear
Topics:
Today
This Week
This Month
This Year
1.
Human Judgment as a Specification
(news.ycombinator.com)
2026-06-17 | tags:
formal methods
,
large language models
,
ron minsky
Today's top topics:
amazon
google
anthropic
microsoft
amazon prime day
apple
meta
android
dennie van tassel
ultrasonic espresso
View all today's topics →