thomasweiser

5 ms·

1.
Computer Science Achievement and Writing Skills Predict Vibe Coding Proficiency(dl.acm.org)
4 points by thomasweiser 5mo ago|0 comments
2.
Designing a Memory System for LLM-Based Agents(zby.github.io)
2 points by thomasweiser 5mo ago|0 comments
3.
by thomasweiser 9mo ago
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
4.
Martin Kleppmann Prediction: AI will make formal verification go mainstream(martin.kleppmann.com)
3 points by thomasweiser 9mo ago|1 comments
5.
by thomasweiser 1y ago
The anthropic principle
6.
by thomasweiser 2y ago
Hmm, looking up the "Libraries" page: instead of the first content section it shows `o.toReversed is not a function`. Is this irony?
7.
A Plea for Sober AI(dbreunig.com)
2 points by thomasweiser 2y ago|0 comments
8.
by thomasweiser 3y ago
https://simonwillison.net/
9.
by thomasweiser 5y ago
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 p
10.
by thomasweiser 5y ago
https://www.gwern.net/docs/genetics/editing/2021-yu.pdf
11.
RNA breakthrough creates crops that can grow 50 percent more potatoes, rice(sciencedaily.com)
215 points by thomasweiser 5y ago|166 comments
12.
by thomasweiser 6y ago
PDF and EPUB links: https://futuretextpublishing.com/future-of-text-2020-downloa...
13.
The Future of Text (Book)(thefutureoftext.org)
3 points by thomasweiser 6y ago|2 comments
14.
New FinFisher surveillance campaigns: Are internet providers involved?(welivesecurity.com)
1 points by thomasweiser 9y ago|0 comments
15.
by thomasweiser 9y ago
Frontend built with Elm
16.
by thomasweiser 10y ago
It's built with Elm ( http://elm-lang.org/ ) Source code: https://github.com/ivanceras/elm-examples/tree/master/elm-bo...
17.
by thomasweiser 10y ago
> Technology is an integral part of cycling Cheating is an integral part of cycling
18.
Talk: Functional Thinking for Fun and Profit(sriku.org)
2 points by thomasweiser 11y ago|0 comments
19.
by thomasweiser 11y ago
Nice talk, very motivating!
20.
Elm for the Front End, Right Now(bendyworks.com)
4 points by thomasweiser 11y ago|0 comments
21.
by thomasweiser 11y ago
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