TigerBeetle raises $6.4M to power the future of financial accounting infra

• tigerbeetle

  45 7,132 9.9 Zig

  The distributed financial transactions database designed for mission critical safety and performance.

  

Also worth mentioning our simulation testing setup: https://github.com/tigerbeetledb/tigerbeetle/blob/b642c04261....

Everything is fully deterministic, time is externalized, so our simulation can run very fast and explore a lot of random permutations of events (which is quite effective: https://www.researchgate.net/publication/322133078_Why_is_ra...).

This isn’t as thorough as model-checking or proving a formalization of the algorithm, but it has the benefit of working with the real code. It is a bit less real than Jepsen (as we essentially mock all syscalls), but is quite a bit faster.

• zig

  818 30,946 10.0 Zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  

Yup, I am that matklad. I have thoughts, will put then into a post some time soonish.

zig-analyzer is great — much further along than I’d expected at this point. Though, I am still curious what the end game IDE support would look. https://github.com/ziglang/zig/issues/3028 is a big component of that.

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• jepsen-tigerbeetle

  1 12 10.0 Clojure

  A Jepsen Test for TigerBeetle.

There's an unofficial Jepsen test for TigerBeetle here: https://github.com/nurturenature/jepsen-tigerbeetle. and we've worked with them (nurturenature) to fix some bugs they've found.

No formal proof at the moment either but it's something we're thinking about.

• DoubleEntry

  1 408 4.4 Ruby

  A double-entry accounting system for Ruby applications.

  

Roughy `account(id, cached_balance)`, `transaction_lines(src_account, dst_account, amount)`

This gem does literally billions of dollars worth of financial accounting for various companies at scale: https://github.com/envato/double_entry

It's dated, the API is a bit messy and needs work, as it was initially written 10+ years ago, but for a web based app I would choose a v2 of it over a non-posgres ( assuming you are using Postgres for your app ) solution.

Suggest a related project