Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
12uq7
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
12uq7
17d ago
claude: 1 commit 1,722,119 ++0 -- I assume that Claude formally proved Bend correct like CakeML? Why would anyone want to work with such a dystopian setup? Prove your code directly in Lean or Coq or leave it.