Viewing profile — thomasweiser

Summary as given in the post: 1. formal verification is about to become vastly cheaper; 2. AI-generated code needs formal verification so that we can skip human review and still be…

The anthropic principle

Hmm, looking up the "Libraries" page: instead of the first content section it shows `o.toReversed is not a function`. Is this irony?

https://simonwillison.net/

The initial varieties into which the researchers introduced the FTO gene do not appear to be modern high-performance crops though. They didn't have yields that were already optimiz…

https://www.gwern.net/docs/genetics/editing/2021-yu.pdf

PDF and EPUB links: https://futuretextpublishing.com/future-of-text-2020-downloa...

Frontend built with Elm

It's built with Elm ( http://elm-lang.org/ ) Source code: https://github.com/ivanceras/elm-examples/tree/master/elm-bo...

> Technology is an integral part of cycling Cheating is an integral part of cycling

Nice talk, very motivating!

Release of new version of Elm (A functional reactive language for interactive applications) "This release introduces tasks, a way to define complex asynchronous operations. Similar…