Viewing profile — mkindahl
mkindahl
HN member- Joined
- Tue, Dec 17, 2019, 8:27 AM UTC
- HN karma
- 14
- Public activity
- 5 items
- HN profile
- View on Hacker News ↗
About mkindahl
Senior Software Engineer at Timescale with long experience working with databases (MySQL and PostgreSQL) and distributed systems.
Recent public activity
-
comment
Comment #32189294
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 space…
-
comment
Comment #32189252
Tree automata and the BURS (Bottom Up Rewrite System) algorithm are pretty cool.
- story
- story
-
comment
Comment #24933533
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 we…