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 sure that it works; 3. the precision of formal verification counteracts the imprecise and probabilistic nature of LLMs. These three things taken together mean formal verification is likely to go mainstream in the foreseeable future. I suspect that soon the limiting factor will not be the technology, but the culture change required for people to realise that formal methods have become viable in practice.

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?

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 optimized by breeding, so they were easier to get impressive performance gains from. What FTO can achieve in the performance-optimized varieties that farmers grow today remains to be seen in further experiments.

Source: https://heise.de/-6180853 (German)

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 to C#’s tasks and JavaScript’s promises, tasks make it simple to describe long-running effects and keep things responsive. They also provide a way to wrap up tons of browser APIs in Elm."