Skip to content
Tech News
clear
Topics: Today This Week This Month This Year
1.
Why don't people use formal methods? (2019) (news.ycombinator.com)
2026-07-30 | tags: formal methods, formal verification, software engineering
2.
Why Don't People Use Formal Methods? (2019) (news.ycombinator.com)
2026-07-30 | tags: formal methods, formal verification, software engineering
3.
Why Don't People Use Formal Methods? (news.ycombinator.com)
2026-07-30 | tags: formal methods, formal verification, software engineering
4.
Human Judgment as a Specification (news.ycombinator.com)
2026-06-17 | get Critical Thinking Puzzle Book → | tags: formal methods, large language models, ron minsky
5.
Formal methods and the future of programming (news.ycombinator.com)
2026-06-14 | get Formal Methods for Software → | tags: formal methods, jane street, sel4
6.
Formal Methods and the Future of Programming (news.ycombinator.com)
2026-06-14 | get Formal Methods Software Toolkit → | tags: formal methods, jane street, sel4
7.
Can LLMs model real-world systems in TLA+? (news.ycombinator.com)
2026-05-08 | by Qian Cheng | get TLA Model Checker Kit → | tags: llm, tla+, etcd
8.
My practitioner view of program analysis (news.ycombinator.com)
2026-04-20 | get Code Analysis Software Tool → | tags: formal methods, type systems, program analysis
9.
Why Testing AI for Safety Is Necessary — But Still Not Enough (feeds.feedburner.com)
2026-02-19 | by Neel Somani | get Artificial Intelligence → | tags: formal, formal methods, happen
Today's top topics: openai google apple samsung generative ai android authority chatgpt hugging face meta nvidia
View all today's topics →

© 2026 GoKawiil | 9 articles displayed

About | Editorial Policy | Contact