robertwer

3 ms·

1. 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. 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. 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