treyd · HackerLangs

treyd

5 ngày trướcdiscuss

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

treyd

8 ngày trướcdiscuss

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

treyd

10 ngày trướcdiscuss

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

treyd

11 ngày trướcdiscuss

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

13 ngày trướcdiscuss

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

treyd

13 ngày trướcdiscuss

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

14 ngày trướcdiscuss

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

14 ngày trướcdiscuss

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

18 ngày trướcdiscuss

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

30 ngày trướcdiscuss

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

tháng trướcdiscuss

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

treyd

tháng trướcdiscuss

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

2 tháng trướcdiscuss

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

2 tháng trướcdiscuss

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

2 tháng trướcdiscuss

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

2 tháng trướcdiscuss

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

2 tháng trướcdiscuss

Anubis is actually a jackal.

treyd

2 tháng trướcdiscuss

The Nintendo Switch runs a custom operating system codenamed HorizonOS.

treyd

2 tháng trướcdiscuss

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

2 tháng trướcdiscuss

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