b-man

9 ms·

1. 91.▲
   Clips a Tool for Building Expert Systems(clipsrules.net)

   2 points by b-man 1y ago|0 comments
2. 92.▲
   Picat: A Logic-based Multi-paradigm Language (2014) [pdf](logicprogramming.org)

   44 points by b-man 1y ago|6 comments
3. 93.▲
   Protobuffers Are Wrong (2018)(reasonablypolymorphic.com)

   244 points by b-man 1y ago|307 comments
4. 94.▲
   Let's make PostgreSQL multi-threaded (2023)(postgresql.org)

   3 points by b-man 1y ago|0 comments
5. 95.▲
   The GenAI Divide State of AI in Business 2025 [pdf](mlq.ai)

   1 points by b-man 1y ago|0 comments
6. 96.▲
   The Java type system is broken (2018)(wouter.coekaerts.be)

   29 points by b-man 1y ago|5 comments
7. 97.▲
   What is mathematics? A classification based on universals(ebellani.github.io)

   2 points by b-man 1y ago|0 comments
8. 98.▲
   Paxos Made Live – An Engineering Perspective [pdf](read.seas.harvard.edu)

   2 points by b-man 1y ago|0 comments
9. 99.▲
   Many Faces of Ad Hoc Transactions: findings from real world transactions(cacm.acm.org)

   1 points by b-man 1y ago|0 comments
10. 100.▲
    Knuth on ChatGPT (2023)(cs.stanford.edu)

    125 points by b-man 1y ago|47 comments
11. 101.▲
    AI and ML AI industry's size obsession is killing ROI, engineer argues(theregister.com)

    3 points by b-man 1y ago|0 comments
12. 102.▲
    PostgreSQL Schema Management via Source Files(github.com)

    4 points by b-man 1y ago|0 comments
13. 103.▲
    Interview with Alan Kay(web.archive.org)

    3 points by b-man 1y ago|2 comments
14. 104.▲
    So why don't we pick the optimal query plan?(vondra.me)

    3 points by b-man 1y ago|0 comments
15. 105.▲
    Fundamentals of garbage collection (2023)(learn.microsoft.com)

    142 points by b-man 1y ago|32 comments
16. 106.▲
    RelaX – Relational Algebra Calculator(dbis-uibk.github.io)

    7 points by b-man 1y ago|0 comments
17. 107.▲
    by b-man 1y ago

    btw, I do reference an article that is rich in experiences of formal verification: https://dl.acm.org/doi/10.1145/3624728
18. 108.▲
    by b-man 1y ago

    Is it more expensive? The answer depends on the criticality of the component. In this case in particular, having a 'not null' directive on the table at hand would have suffice. And that is something everyone can do.
19. 109.▲
    Google Cloud's outage wasn't a testing failure but a design flaw(ebellani.github.io)

    10 points by b-man 1y ago|4 comments
20. 110.▲
    by b-man 1y ago

    what you need is to add temporality to your tables. Then your logs/dependencies will work just fine
21. 111.▲
    by b-man 1y ago

    Thanks, I didn't knew that. Can you link to one such text?
22. 112.▲
    by b-man 1y ago

    Lots of peole got hung up on the example, which I thought would be be helpful on the discussion, but certainly should not replace the main point, which is: Relations, attributes and tuples are logical. A PK is a combination of one or more a
23. 113.▲
    by b-man 1y ago

    Depends on the universe of discourse adopted.
24. 114.▲
    by b-man 1y ago

    > I still wouldn't use that as a primary key on the citizen table, though. Why not?
25. 115.▲
    by b-man 1y ago

    > Trying to tamp out these ambiguities adds an unbounded number of data model epicycles that add a lot of complexity and performance loss If you can talk about a business rule, you have a predicate. If you have a predicate, you can make
26. 116.▲
    by b-man 1y ago

    > Memory, and CPU, and even storage eventually, those would be the main practical examples of where having a key that's composed of something very small saves you space and thus, time. > Say we want to use a bigint key vs a VARCH
27. 117.▲
    by b-man 1y ago

    > Errors in the initial design should be assumed as the default. Wise software engineering should make change easy. I don't think I said that errors would not happen.
28. 118.▲
    by b-man 1y ago

    > but are those really the only places the ID is used? I'm curious, where else would they be used?
29. 119.▲
    by b-man 1y ago

    - Joins, lookups, indexes. Here data type can matter regarding performance and resource use. I struggle to see a practical example. > - Idempotency. Allowing a client to generate IDs can be a big help here (ie UUIDs) Natural keys solves
30. 120.▲
    The principles of database design, or, the Truth is out there(ebellani.github.io)

    121 points by b-man 1y ago|121 comments