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 auto-expand/contract so I can keep an eye on everything but then when I foreground a pane it grows, or something like that.

>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 : ℂ) (_ : riemannZeta s = 0) (_ : ¬∃ n : ℕ, s = -2 * (n + 1)) (_ : s ≠ 1), s.re = 1 / 2

If I construct a term of this type without going via one of the (fairly obvious) soundness holes or a compiler bug, it's very likely proved, no? No matter how inscrutable the proof is from a mathematical perspective. (Translating it into something mathematicians understand is a separate question, but that's not really what I'm asking.)

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

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 model of what’s actually happening.

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.