trevyn

7 ms·

1.
by trevyn 6mo ago
Isn't this where Mojo is going?
2.
by trevyn 6mo ago
Sorry, this is fiction about real-life scientists being driven mad, when in fact the real-life scientists in question were not driven mad?
3.
by trevyn 7mo ago
I dunno, it's kind of fun to watch people faceplanting as they try to ride their mind-bicycles.
4.
by trevyn 7mo ago
Yep! Also a simple text editor pane would be sweet too.
5.
by trevyn 7mo ago
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 auto-expand/contract so I can keep an eye on
6.
by trevyn 7mo ago
> 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 RiemannHypothesis : Prop := ∀ (s : ℂ) (_ : rieman
7.
by trevyn 8mo ago
Yep, same here, with those exact prefixes...
8.
Something Wild Going on with Emails?
3 points by trevyn 8mo ago|1 comments
9.
by trevyn 2y ago
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 really not that bad, you might just need a better mental mod
10.
by trevyn 2y ago
You can absolutely do global knowledge in proc macros via the filesystem and commit their output to version control: https://github.com/trevyn/turbosql
11.
by trevyn 2y ago
Lol, you haven’t learned your lesson with Vercel yet?
12.
by trevyn 2y ago
“The flawless binary is free to use, but only distributed as a closed source binary.” Insta-pass.
13.
by trevyn 2y ago
Note that you can be anti-Russia and anti-Ukraine at the same time.
14.
by trevyn 2y ago
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 salt.
15.
by trevyn 2y ago
> Starlink limits to low hundreds (~300) of terminals per cell. That’s… very incorrect.
16.
by trevyn 2y ago
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 for legal pleadings from state and federal court lawsuits in
17.
by trevyn 2y ago
I am honestly impressed by how blatantly the guardian is british propaganda. Even Reuters has been showing cracks lately.
18.
by trevyn 2y ago
And then he died.
19.
by trevyn 2y ago
Did LACE not work for you?
20.
by trevyn 2y ago
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, but ehhh.
21.
by trevyn 2y ago
AI man asks AI woman to explain. Lol.
22.
by trevyn 2y ago
That’s neat. So it was a static composition that the gameplay was tweaked into fitting?
23.
by trevyn 2y ago
Proprietary license? What is this, 1990?
24.
by trevyn 2y ago
Sure, as long as the mothership exists and is cooperative, it’s fine. But that’s not actually very sovereign, is it?
25.
by trevyn 2y ago
> Claude 3.5 Sonnet is the most intelligent model. Hahahahaha, not so sure about that one. >:)
26.
by trevyn 2y ago
@dang this should be the link
27.
by trevyn 2y ago
> Do they count against my tokens for each conversation? This is for the Claude app, which is not billed in tokens, not the API.
28.
by trevyn 2y ago
This is actually quite funny. A sovereign cloud that they have no f-ing clue how to maintain without the mothership.
29.
by trevyn 2y ago
This is why I left the US. It’s actually way better out here.
30.
by trevyn 2y ago
If you think you need a job, you’re wrong.

More ›