mrkeen

34 ms·

661.
by mrkeen 1y ago
I've read a few postmortems about STM. I have to take them with a grain of salt because I usually read those reports right after doing a bunch of STM programming, and right before doing a bunch more STM programming. Reports of its de
662.
by mrkeen 1y ago
> Race conditions are generally solved with algorithms, not the language. For example, defining a total ordering on locks You wouldn't make that claim if your language didn't have locks.
663.
by mrkeen 1y ago
> What is a safe concurrency model? STM. The terms 'atomic', 'thread-safe', and 'concurrent' collections are thrown around too loosely for application programmers IMO, for exactly your example above. In othe
664.
by mrkeen 1y ago
I did a fair bit of Rust (only single-threaded, quite a few years ago) but it sounds like the dependency inversion principle is popping up again. DIP, async/await, coloured-functions, io-monad. All cases where the business logic shoul
665.
by mrkeen 1y ago
Bless your metric. If you end up finishing it in 6 months, are you going to revise that estimate, or celebrate the fact that you don't need to wait until 2092 to use the project?
666.
by mrkeen 1y ago
> so it's kind of obvious it needs to be fully re-done so many times. But it hasn't really caught on in the management layer. Sure, they use all the right Agile buzzwords, but they still put features A, B and C into the plan,
667.
by mrkeen 1y ago
That's a lot of links for 0 info on distributed JOIN or WHERE IN.
668.
by mrkeen 1y ago
It's not your edge anymore. It's AI's. And how is TFA any different?
669.
by mrkeen 1y ago
Cut the cloud vendors out of the picture and build and query your index on a spare linux box. I've only played with TF-IDF/BM25 as opposed to vector searches, but there's no way your queries should be taking so long on such a
670.
by mrkeen 1y ago
> Also, framing it as "us vs them" misses the point. For instance, We would never use Spark or Kafka for small data, not like them . Their choices are misguided . Their data teams are too big, ours are the right size
671.
by mrkeen 1y ago
> you likely sacrifice real-time isolation guarantees to maintain your write availability and throughput No worries there, in all likelihood isolation has probably been killed twice already. Once by running the DB on READ COMMITTED, and
672.
by mrkeen 1y ago
> Cursor and OpenAI are powered by a single-box Postgres instance. You’ll be just fine. Well no, not according to your own source: This setup consists of one primary database and dozens of replicas. Are they just fine? There h
673.
by mrkeen 1y ago
I think it would be much more fruitful to flip it around the other way. Start with small pieces which halt, and see how far you can get by combining them into larger programs. Compiler-help is available: https://docs.idris-lang.
674.
by mrkeen 1y ago
Until then, let's just get downvoted by the "Lock her up" crowd for insufficient solidarity with Hungary and Marine Le Pen: Leading French presidential candidate Marine LePen was charged with embezzlement and, departing f
675.
by mrkeen 1y ago
> The European Union’s Digital Services Act, billed to protect children from harmful online content, is instead used to silence dissident voices through Orwellian content moderation. Pornhub is blocked in 17 US states. SWAT gets deployed
676.
by mrkeen 1y ago
I think this is too optimistic. All of us are already in tech debt. The post-AI mess won't look significantly different from the pre-AI mess. If anything I would expect management to throw more money at AI in hopes of fixing the mess
677.
by mrkeen 1y ago
Where can I go to read about distributed SQL and big JOINs or WHERE IN clauses? I was hoping this article would cover that elephant in the room, rather than Rust being significantly more performant than JVM languages.
678.
by mrkeen 1y ago
With 10x the throughput (TPS) and the lack of GC pauses (which were the cause of the rewrite), how would they measure such a regression, let alone worry about it?
679.
by mrkeen 1y ago
> The commission found the four platforms did not have “appropriate and proportionate measures to ensure a high level of privacy, safety and security for minors”. Stop trying to identify them. That should sort out the privacy issue at l
680.
by mrkeen 1y ago
What is the OO approach?
681.
by mrkeen 1y ago
[flagged]
682.
by mrkeen 1y ago
How did she end up as a homeless teenager?
683.
by mrkeen 1y ago
Good polling perhaps? Bush lost the popular vote in 2000 (and allegedly the actual vote), but won in 2004. Or maybe it was just Cheney's idea to funnel money to himself via Halliburton.
684.
by mrkeen 1y ago
Other languages can easily achieve this kind of safety. What makes Rust different is that it tries to provide this level of safety without doing extra work at runtime (because otherwise people will put it in the same pile as Java/C#,
685.
Bits with Soul(darwin.cam.ac.uk)
38 points by mrkeen 1y ago|7 comments
686.
by mrkeen 1y ago
> Principle of Essential Denotation (PED): A relation should be identified by a natural key that reflects the entity’s essential, domain-defined identity — not by arbitrary or surrogate values. create table citizen ( national_id
687.
by mrkeen 1y ago
Because those mistakes get fixed on LLVM devs' time, not on parent's.
688.
by mrkeen 1y ago
> You have no compiler-enforced way to know what exceptions might be thrown from a method or library. Always assume exceptions will be thrown from a method or library.
689.
by mrkeen 1y ago
Bullshit. None of this happened.
690.
by mrkeen 1y ago
This is a pain. I recently switched from Java (and its whole Optional/null mess) to C#. I was initially impressed by its nullable checks, but then I discovered 'default'. Now I gotta check that Guids aren't 0000...?

More ›