mkindahl

13 ms·

1. 1.▲
   by mkindahl 4y ago

   Also, the algorithms around using Reduced Order Binary Decision Diagrams (ROBDD) to represent sets efficiently. They are used in verification algorithms with very large state spaces, such as "Symbolic Model Checking: 10^20 states and b
2. 2.▲
   by mkindahl 4y ago

   Tree automata and the BURS (Bottom Up Rewrite System) algorithm are pretty cool.
3. 3.▲
   Continuous aggregates for distributed hypertables in TimescaleDB 2.5(blog.timescale.com)

   9 points by mkindahl 5y ago|0 comments
4. 4.▲
   PostgreSQL Users: Take the State of PostgreSQL 2021 Survey(tsdb.co)

   21 points by mkindahl 6y ago|0 comments
5. 5.▲
   by mkindahl 6y ago

   I was on the relational side (I worked for MySQL) when MongoDB first sprung up, and IMHO it was to some extent a knee-jerk reaction. MongoDB claimed far superior performance for web-applications simply by not persisting data to disk. MongoD