Viewing profile — treyd

I'm sure Apple will love this.

You've already been able to badly implement monads in Go for 10+ years. Why wouldn't you be able to implement them in a way that the compiler can enforce correctness of? If you don…

Codeberg is a service, not software. If we applied this standard then Codeberg would already have been in violation of the 4 Freedoms because they forbid distribution of CSAM (I wo…

> But thats also an admittance that the American labs can’t compete on merit anymore This is exactly it. Try to buy a BYD in the United States. You can't (without a complicated pro…

My understanding is that tokenization is largely serial, so for a large initial prompt it can make up a large chunk of input processing time since after handing it off to the model…

> don't fool yourself if you think this won't come to the Linux world. I'm curious what you mean by this. I'm not necessarily rejecting the point, but I also don't see how this cou…

Consoles made sense as a product category where specialized graphics hardware was not generally available for consumer PCs. We have this now, every PC has some kind of graphics har…

Can you elaborate on what causes that reaction specifically?

I've used phrasing like this from time to time before, like when trying to compare two ideas that are unalike but have some fuzzy similarities. I wouldn't use it to describe functi…

You can load multiple card identities onto the same SIM and select the one you want to use.

Sounds like he was frustrated he lost and thought the program was a lot more clever than it was. :)

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…

On mobile the whole page text is aligned center which makes it really hard to read.

The plan is the same as it always has been. It's no different than running an open FTP server.

I wonder if you could coax cells from the testes back into stem cells to then re-specialize into ovarian cells.

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 …

Delta Chat does that but it's a bit janky.

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 …

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…

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…

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.

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, incr…

Meanwhile the federal minimum wage is still $7.25/hr.

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 …

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.