amoss

5 ms·

31.
by amoss 5mo ago
feels like this comment could be shorter
32.
by amoss 5mo ago
Take it gently, the poor thing doesn't understand the difference between code and talking about code.
33.
by amoss 5mo ago
In addition both have a property similar to dispersion. In crypto each change to an input bit should cascade through as many output bits as possible. In ML each output bit should depend on as much of the input bits (and hidden layers) as po
34.
by amoss 5mo ago
> rollout will be incremental and it will self monitor by defining success conditions at rollout time. This sounds a lot like allowing an LLM to define tests as well as implementation, and allowing the LLM to update the tests to make the
35.
by amoss 5mo ago
and then we start to embed comments // concatenate pairs of parameters, e.g. x and y become xy // the pairing of open and claw is vital to understanding the function
36.
by amoss 6mo ago
"in a wild or unsupervised state" seems like a particularly apt description of children. it does not seem to be derogatory: language really should be evocative as often as literal.
37.
by amoss 6mo ago
There are standard convex assumptions to handle incompleteness, decidability etc, i.e. the results are an over-approximation that terminates. Picking a approximation that is precise enough in the properties that you care about is part of th
38.
by amoss 6mo ago
The article describes fuzzing the library, this execution requires a program to be compiled. Typically fuzzing involves a minimal harness around the payload (a single call into the library in this case). There is clearly a bug in this prog
39.
by amoss 6mo ago
What is the program? There are two different answers to this question, and which one is "correct" depends entirely on the context of who is asking it. 1. It's the code that is specific to this program that sits above the run-
40.
by amoss 6mo ago
But is fair to state that the verification was *incomplete*, which is what the article does.
41.
by amoss 6mo ago
I would use this tool. Ship it
42.
by amoss 6mo ago
It's the old broken. Clearly it must be replaced with the new hotness.
43.
by amoss 6mo ago
Cybertrucks. Electric semis. Full self driving. Battery city. I'll leave up to the reader to put them on the appropriate list.
44.
by amoss 6mo ago
I've watched Patrick's videos for enough years that I know he is not, but I still wonder from time to time. His voice is incredibly flat and uniform, he always uses fake backgrounds and there is extremely high use of jump cuts in
45.
by amoss 7mo ago
no database for this project - the data model has a simple text representation so it gets serialized out to a folder/file layout on disk that goes into version control. single self-contained binary: contains the web/websockets ser
46.
by amoss 7mo ago
You may be surprised by how much easier it is to dump the framework/stack and just write it from scratch. I say this because I too work on compilers and have a crud app as a personal project. The first versions were a nightmare in vari
47.
by amoss 7mo ago
The rate was 1% so this does not mean that "many" people are using LLMs despite claiming not to.
48.
by amoss 7mo ago
This comment doesn't seem to fit the discussion at all? The discussion is not about humans using LLLs to write papers. It is about humans who agreed not to use LLVM in reviewing papers, then did exactly that.
49.
by amoss 7mo ago
As the DJ is an interface to shuffle, and the author specifically wants to listen to unshuffled music the lack of intelligence may not be entirely in the AI.
50.
by amoss 7mo ago
No side profile pics on the page. My only concern would be can it lay flat on a table for taking notes or does it have a camera bulge that makes it wobble?
51.
by amoss 7mo ago
I would imagine that the target audience has an attention span and literacy level that allows reading sixteen thousand words without too much trouble.
52.
by amoss 7mo ago
I personally love the appearance of the tl;dr about a third of the way through, that is some S tier trolling.
53.
by amoss 8mo ago
Remarkably it has only cost a few trillion dollars to get here!
54.
by amoss 8mo ago
Reasonable hypothesis. Supported by data. Seems legit
55.
by amoss 8mo ago
Nobody wants to admit that we are living through this: https://xkcd.com/1319/ But at scale. Yegge gets close to it in this blog (which actually made me lol, good to see that he is back on form), but shies away from it.
56.
by amoss 8mo ago
gasche has been active on various forums over the years, and yes can confirm that he has infinite patience.
57.
by amoss 9mo ago
This discussion is a request for positive examples to demonstrate any of the recent grandiose claims about ai assisted development. Attempting to switch instead to attacking the credentials of posters only seems to supply evidence that ther
58.
by amoss 10mo ago
If its too large you could just subtract 2*8 and try again.
59.
by amoss 10mo ago
The first text on the page says: > The operating system for the next generation of gamers
60.
by amoss 10mo ago
This is redefining the cutting edge of trolling.

More ›