A user friendly TUI for SQL databases. Written in python. Supports SQL server, Mysql, PostreSQL and SQLite, Turso and more. - Maxteabag/sqlit

This blog post provides a detailed look at various techniques and methods for performing data sampling using SQL, including stratified and random sampling, and discusses the nuances and pitfalls of each approach.

Open-source CQL and its integrated development environment (IDE) performs data-related tasks — such as querying, combining, migrating, and evolving databases — using category theory, a branch of mathematics that has revolutionized several areas of computer science.

Open-source CQL and its integrated development environment (IDE) performs data-related tasks — such as querying, combining, migrating, and evolving databases — using category theory, a branch of mathematics that has revolutionized several areas of computer science.

Acsets are a novel infrastructure for handling data of different shapes, based on category theory and implemented in Catlab.jl. Acsets generalize both graphs and dataframes, and allow a much more general approach to data manipulation than was previously available. We will discuss both the mathematics of acsets and some of the metaprogramming techniques we used to implement them in Julia. Finally, we will give examples of how acsets have been key in developing many projects in AlgebraicJulia.

Probably the best AlgebraicJulia tutorial on the planet LOL.

Good presentation on ologs.

Good presentation on ologs.

The power of monoids strikes again.

via: https://www.marginalia.nu/log/a_123_index_io/

see: https://db.cs.cmu.edu/mmap-cidr2022/

We trust our databases, queues, and other systems to store acknowledged writes, to serve them up later, and to isolate transactions from one another. But can we really trust them? Jepsen combines concurrent, generative tests with fault injection to measure distributed systems safety. We’ll learn about Datomic, Bufstream, and TigerBeetle, and show how three unconventional systems ensure–or violate–key safety properties.

How we can think about pushouts as applying rules via substitution, featuring examples in categorical databases and Datalog.

Describes a way of representing graph-like data in Postgresql, and querying it in a flexible way.

Musings on software.

13 unique descriptions of what joins are. Quite fun, and digs into both some conceptual ideas and mathematical formalisms.