treyd · HackerLangs

treyd

5 日前議論

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

treyd

8 日前議論

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

treyd

10 日前議論

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

treyd

11 日前議論

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

12 日前議論

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

treyd

13 日前議論

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 日前議論

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 日前議論

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 日前議論

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 日前議論

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

先月議論

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

treyd

先月議論

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 か月前議論

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 か月前議論

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 か月前議論

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 か月前議論

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 か月前議論

Anubis is actually a jackal.

treyd

2 か月前議論

The Nintendo Switch runs a custom operating system codenamed HorizonOS.

treyd

2 か月前議論

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 か月前議論

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.

コメント