Gregor Mitscha-Baude
banner
gregor.plusepsilon.com
Gregor Mitscha-Baude
@gregor.plusepsilon.com
Co-founder zksecurity.xyz | Math & crypto | 🇦🇹
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
February 27, 2025 at 8:44 AM
Ein LLM sollte mehr wie ein Lexikon sein als wie ein Schulbuch. Es sollte Informationen liefern, ohne den Anspruch diese moralisch korrekt zu interpretieren.
February 17, 2025 at 8:03 AM
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
February 17, 2025 at 7:43 AM
context:
January 23, 2025 at 11:29 AM
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)
January 22, 2025 at 8:13 AM
Thanks, yep the aggregation of events is actually the biggest lift probably!
December 19, 2024 at 7:00 AM
"Profit/loss report" sounds relevant 🤔
December 18, 2024 at 9:09 AM
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)
December 18, 2024 at 9:07 AM
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
December 2, 2024 at 11:34 AM
Yep - git was designed for merging, it's a much more natural flow
November 27, 2024 at 2:35 PM