Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
robertwer
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
robertwer
7mo ago
I’ve never worked with formal validation (barely remember my CS course). This release looks impressive. But I'm trying to wrap my head around the near-term practical applications for everyday software. Right now, we see a lot of busine
2.
▲
by
robertwer
7mo ago
Besides the aspect of self improvement I’m impressed with the ability to put a language specification into 3,200 token. This is like a micro-kernel which extends itself. Now I wonder, shall we as humans still be able to read and review this
3.
▲
by
robertwer
7mo ago
There seems to be some evidence that literate programming style comments help humans to comprehend code they don't know. I found a paper investigating this. Some folks from Google tested 1) how good LLMs can update existing code with L