Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
teakettle42
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
42 ms
·
511.
▲
by
teakettle42
5y ago
> "Machine checked formally verified" is a long-known buzzword that screams bullshit marketing. Long-known to who, exactly? How is "formal verification" even remotely a marketing buzzword?