Code base: github.com/MichiganType...

I think this is testament to the power and usefulness of TS "literal types", and I wonder why these don't seem to be common in type systems

Correct me if I'm wrong but don't think you can replicate this with e.g. Rust's or Lean4's types, even if they are generally seen as more advanced than TS

Ein LLM sollte mehr wie ein Lexikon sein als wie ein Schulbuch. Es sollte Informationen liefern, ohne den Anspruch diese moralisch korrekt zu interpretieren.

Danke fürs Teilen! Für mich hören sich die Änderungen am Model Spec nicht falsch an, selbst wenn sie durch den politischen Rechtsshift motiviert sind.

Ich glaub dass sich LLMs bei heiklen Themen selbst zensieren war nie im Interesse der User, sondern eher nur um öffentlichen Aufschrei zu vermeiden

context:

Ich bin das Gegenteil von einem Trump-Fan, aber bin froh über diese Entscheidung. Warum soll jemand der einen "wild west" Marktplatz betrieben hat ein Leben lang im Gefängnis sitzen?? (Er hat auch nicht selbst mit Drogen gehandelt, btw, sondern nur die Plattform betrieben)

Thanks, yep the aggregation of events is actually the biggest lift probably!

"Profit/loss report" sounds relevant 🤔

can it help me compute my taxes that are due to realized crypto gains? (Austria-style, where gains are only "realized" once you off-ramp to Euro or goods & services)

Abgesehen davon ist solches Signaling extrem gut und wichtig für die Adoption von Bluesky! Ich wäre nie hierher gewechselt wenn es nicht schon Traction gegeben hätte -- und von dieser Traction weiß ich in erster Linie durch die Ankündigungen auf X

Yep - git was designed for merging, it's a much more natural flow