treyd · HackerTrans

treyd

vor 5 Tagendiscuss

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

treyd

vor 9 Tagendiscuss

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

treyd

vor 10 Tagendiscuss

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

treyd

vor 11 Tagendiscuss

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 suddenly, they're not, when they realize they're one of the few that can even afford to pay it.

(RCA is a bad swap-in in this example but I'm struggling to think of an apt analogy for this era.)

treyd

vor 13 Tagendiscuss

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

treyd

vor 13 Tagendiscuss

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 experienced in the context of implanted memories), but they can never really be humans because they're synthetic and engineered to have the traits they do and die an early death.

Robots and AI do not experience and interact with the world in a way that's comparable to humans. We don't yet have the epistemological framework to reckon with what it means to consciously experience reality in a non-biological entity, but we do know that it will be alien and unlike human cognition.

Replicants have the same biology and cognition as humans, so we can relate to them and them to us, which puts the scenario in a different context.

treyd

vor 14 Tagendiscuss

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 AI assistant and having LEAN check it and provide feedback for both of you when there's a mistake.

treyd

vor 15 Tagendiscuss

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 optimizations you can make around this and could almost completely avoid user-observable GC pauses.

treyd

vor 18 Tagendiscuss

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.

treyd

vor 30 Tagendiscuss

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.wikipedia.org/wiki/Jevons_paradox

treyd

letzten Monatdiscuss

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

treyd

letzten Monatdiscuss

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 you describe the error case with more detail. Very very good ergonomics and completely transparent to downstream libraries.

treyd

vor 2 Monatendiscuss

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.

treyd

vor 2 Monatendiscuss

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 least, in the form factor of a locomotive), so they need to use electric motors.

treyd

vor 2 Monatendiscuss

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.

treyd

vor 2 Monatendiscuss

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.

treyd

vor 2 Monatendiscuss

Anubis is actually a jackal.

treyd

vor 2 Monatendiscuss

The Nintendo Switch runs a custom operating system codenamed HorizonOS.

treyd

vor 2 Monatendiscuss

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.

treyd

vor 2 Monatendiscuss

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.

comments