They/Them, agender-leaning scalie.

ADHD software developer with far too many hobbies/trades: AI, gamedev, webdev, programming language design, audio/video/data compression, software 3D, mass spectrometry, genomics.

Learning German (B2), Chinese (HSK 3-4ish), French (A2).

  • 0 Posts
  • 4 Comments
Joined 1 year ago
cake
Cake day: June 18th, 2023

help-circle
  • Western companies no longer operating in the Russian market, but still producing desirable content. … Western companies have ‘legalized’ piracy in Russia.

    100% this.

    Media is culture, and IMO people have a right to participate in culture. If it’s excessively difficult or impossible to legitimately access culture, one has the moral right to illegitimately access culture, and share it so others also have access.

    It’s inexcusable to refuse to directly sell media. The internet has made it easier than ever to trade access to media for money. Geo-restricted subscription services should be a nice add-on option for power-consumers, not the only way to get access to something.



  • ooo, I love this. It reminds me of how nice C#'s LINQ is…

    “Pipeline style” DB queries have some interesting advantages as well:

    • It’s straightforward to write efficient queries for DBs that don’t include a query optimizer stares at Datomic
    • You can split the pipeline into server-side and client-side steps when working with less capable DBs stares at most of NoSQL
    • It would be much easier to transition from a pipeline API to a non-text-based API so that our ORMs/query builders can directly talk to DBs without the overhead of generating and parsing SQL.

  • I still use Google for ~95% of my queries because I like real sources, comprehensive documentation, and not having to read a wall of text when a one-line answer would have sufficed.

    ChatGPT is a good replacement for Quora/Stack Exchange for explaining general knowledge stuff like other languages’ grammar and simple science, as well as finding authors/books/movies from descriptions when you’ve forgotten their names.

    Bard is… kinda dumb. I gave it a few chances, but it was nothing compared to ChatGPT’s free tier.