[–] 2 points 4 days ago

Of course! Go for it. I don't know where you're looking at this from, whether it's a normal perspective or something else, but there are definitely good communities. But not Reddit XD

  • source
  • [–] 8 points 4 days ago*

    I guess I don't know what kind of posts you mean specifically, but yes, please do.

    "Programming" can be and is typically interpreted quite broadly. It's not just "writing code" but development in general, and entails computer science.

    Looks like this programming.dev instance does not have a computer science community yet, but I would love to see one. Cross-posting is possible too.

    Tangential, there's !experienced_devs@programming.dev, but that's a different branch even if it can entail compsci.

    I would love to see more practice or science or theory or hands-on posts in this community.

    In the end, there's the option of just trying and seeing what votes and comments tell; appreciation or rejection.

  • source
  • [–] 4 points 4 days ago

    Orkes is now adding stored procedures to ParticleDB. These user-defined functions, called Particles, are written in Python or Rust and executed by the database server. Both Rust and Python have large surface areas, and executing user-provided binaries in a database environment seems like an exciting opportunity.

    "Exciting opportunity" ... for the testers!

    Overall it was a great professional report, very well written, with clever language that stays professional while implicitly communicating "WTF!" without saying it out loudly or being irrespectful.

    Compliments to the technical writer that compiled this, very skillfully written!

  • source
  • parent
  • context
  • [–] 4 points 4 days ago (1 child)

    Omg it's brutal and a very entertaining read.

    It starts with plain false advertisement:

    ParticleDB’s home page advertised that ParticleDB was “formally proven” with a TLA+ proof. However, during our collaboration no TLA+ specification was available

    It then goes into a detailed list of issues, such as:

    In ParticleDB, 0.0 was not equal to 0 (#63), but 0.90... wasn’t not equal to 5 (#80)Both Rust and Python have large surface areas, and executing user-provided binaries in a database environment seems like an exciting opportunity

    l...what? How? How can you even "accidentally" program something like this?

    Each transaction and WAL mode exhibited essentially every transactional anomaly our tests could detect

    Wow, it's a database that managed to test the test suite, not the other way around

    Orkes has since published [a release history] which describes versions 1.1.4 through 1.1.18.11.rc-22 as “unsupported pre-release builds"

    Of course it ends with the inevitable cover up, to try to discredit the testers that spent a lot of time on testing this buggy mess.

  • source
  • [–] 16 points 4 days ago* (1 child)

    Hmmm... idk... Do you have a permit?

    In all seriousness, as long as the communities are small and there is low traffic broader topics and questions are totally fine. Only if there is consensus that something is "too much" and repeated off topic will it make sense to split off and fragment.

    The fediverse is friendly enough that you can try first, and if you're overstepping someone will politely ask you to not do it again.

  • source
  • view more: ‹ prev next ›