treyd

6 ms·

31.
by treyd 3mo ago
Sounds like he was frustrated he lost and thought the program was a lot more clever than it was. :)
32.
by treyd 3mo ago
This IPv8 document is not a serious proposal. The entire family of documents was published by a single person without collaboration from anyone else at IETF, and there has not been any work to integrate feedback from other IERF contributor
33.
by treyd 3mo ago
On mobile the whole page text is aligned center which makes it really hard to read.
34.
by treyd 3mo ago
The plan is the same as it always has been. It's no different than running an open FTP server.
35.
by treyd 3mo ago
I wonder if you could coax cells from the testes back into stem cells to then re-specialize into ovarian cells.
36.
by treyd 3mo ago
Ugh. People already trying to find ways to gate keep radio by raising the financial barrier to entry before we've even been able to capitalize on cheap communication. I'm sure RCA and the others will be against this until sudden
37.
by treyd 3mo ago
Delta Chat does that but it's a bit janky.
38.
by treyd 3mo ago
They literally say in the opening text crawl that replicants are genetically engineered from humans. A major theme through the movie is that they're like humans, are built to have the thoughts/emotions of humans (even if experi
39.
by treyd 3mo ago
I don't think you understand the workflow. Terrence Tao has done a lot of work using them in conjunction with LEAN. You aren't having the AI check the proof, you interactively work on the same LEAN proof, handing off between the
40.
by treyd 3mo ago
Game GCs are interesting because you know that the execution is structured like this and you know how much time you have left before you have to switch back to application code for the next frame/time step. There's interesting op
41.
by treyd 4mo ago
If you look at the texture demo with the zeros, it looks a bit like lipid membranes merging/splitting as they stabilize more or less around a particular size.
42.
by treyd 4mo ago
It'd probably still be worth it to make tokens cheaper. Jevons paradox [1] seems to apply here, where making compute cheaper unlocks use cases that were previously priced out, increasing overall demand. [1] https://en.wikip
43.
by treyd 4mo ago
Meanwhile the federal minimum wage is still $7.25/hr.
44.
by treyd 4mo ago
This is even easier with the thiserror crate: #[derive(Debug, Error) enum AppError { #[error("io: {0}")] Io(#[from] io::Error) } Automatically generates From impls like this and a Display impl that lets
45.
by treyd 5mo ago
This is awesome. I rotated some ideas like this in my head a while ago but never had the motivation to put it together. Happy to see more types of protocols like this.
46.
by treyd 5mo ago
This was addressed explicitly in the video. It's far less efficient end-to-end, even though the gearing is theoretically simpler. Trains do it because diesel engines just can't produce the torque you need to move a train (at lea
47.
by treyd 5mo ago
They keep doing negative things that influence the industry and infringe upon the freedoms of hundreds of millions of people. Yes we should keep dwelling on that.
48.
by treyd 5mo ago
That IPv8 proposal that was circulating a few weeks ago was not a serious proposal (written entirely by a single person with no substantial involvement in IETF before then) and has no roadmap to any kind of adoption.
49.
by treyd 5mo ago
Anubis is actually a jackal.
50.
by treyd 5mo ago
The Nintendo Switch runs a custom operating system codenamed HorizonOS.
51.
by treyd 5mo ago
I really wish people would drop the GHA model because it's so bad and insecure by design. GitLab's CI is miles better and easier to use.
52.
by treyd 5mo ago
Agreement IBM had to make with the DoJ/etc in the 80s to open the PC platform to avoid antitrust prosecution. That was the key event.
53.
by treyd 5mo ago
This is very cute. I don't think I'd ever thought of having a cellular automaton where there's some global state that can change that influences the local cell rules. Would be interesting to add more control/energy var
54.
by treyd 5mo ago
Keyword generics are probably not happening because it's kinda a hack. Algebraic effects are the way forward, but that's a long way off.
55.
by treyd 5mo ago
Studies have shown that natural human languages are all more or less equally expressive in terms of bits per second while speaking. There's lots of different ways they can be structured but they tend to follow common rules that have b
56.
by treyd 5mo ago
The thing is that this argument doesn't work with Go because its type system (and the whole language , really) is much less expressive and compiler gives a lot less feedback to the LLM. So it tends to have to write more unit tests an
57.
by treyd 5mo ago
Facebook ran experiments on on unknowing teenage girls to study how being shown negative content leads to negative mental health outcomes, which has lead to suicide.
58.
by treyd 5mo ago
It's an example of bad code that further encourages more bad code.
59.
by treyd 5mo ago
> Both Dlang and Vlang have optional garbage collectors, that can be turned off. Until you need a library that was written with the assumption of using a garbage collector.
60.
by treyd 6mo ago
That introduces a level of indirection between "what I want" and what gets built. A workflow like the OP just has less friction. SaaS platforms would want to provide more stable accessible APIs if it becomes a popular model, bec

More ›