Viewing profile — trevyn

Isn't this where Mojo is going?

Sorry, this is fiction about real-life scientists being driven mad, when in fact the real-life scientists in question were not driven mad?

I dunno, it's kind of fun to watch people faceplanting as they try to ride their mind-bicycles.

Yep! Also a simple text editor pane would be sweet too.

I really like having ~8-12 active Ghostty windows tiled so I can keep an eye on everyone's progress, and then I'll expand one or two for deeper work. Would love to see some sort of…

> So even when it compiles, you’ve got the burden of verifying everything is above board which is a pretty huge task. Is this true? e.g. the Riemann hypothesis is in mathlib: def R…

Yep, same here, with those exact prefixes...

I have a domain that accepts all @domain emails, and in the last 30 minutes there has been a HUGE influx of 100+ "confirm your email" emails from... lots of places, but particularl…

[flagged]

Non-async functions are absolutely blocking. The question is if they’re expected to block for a meaningful amount of time, which is generally suggested by your async runtime. It’s …

You can absolutely do global knowledge in proc macros via the filesystem and commit their output to version control: https://github.com/trevyn/turbosql

Lol, you haven’t learned your lesson with Vercel yet?

“The flawless binary is free to use, but only distributed as a closed source binary.” Insta-pass.

Note that you can be anti-Russia and anti-Ukraine at the same time.

AlotOfReading, based on your other post in this thread, your information on Starlink limits is very out of date. Readers, I would take posts from this user with a large grain of sa…

> Starlink limits to low hundreds (~300) of terminals per cell. That’s… very incorrect.

Ah, here we go: A. Background About Aaron Greenspan 1. Defendant Mr. Greenspan is the Chief Executive Officer of Defendant TCC, which operates PlainSite.org, an online repository f…

I am honestly impressed by how blatantly the guardian is british propaganda. Even Reuters has been showing cracks lately.

And then he died.

Did LACE not work for you?

[flagged]

[flagged]

It’s M-of-N erasure coded and periodically verified. So yes, they copy it to new media, after it has failed. Math is crazy. Glacier might also have a heuristic for media lifetime, …