# transactional (blogs) — RSS Amplifier Recent posts from the 4 feeds in the RSS Amplifier directory that cover transactional. Page: Feed: --- ## [Introducing Parkographer: Track (and Prove) Every U.S. National Park You've Visited](https://tmsvr.com/introducing-parkographer-track-and-prove-every-u-s-national-park-youve-visited/) _2026-07-13 · Imre Tomosvari · TMSVR - Dev Blog_ Parkographer is a free tracker for all 63 U.S. National Parks - check off your visits, fill in your map, earn ranks, and GPS-verify you were really there. ## [The Third Durable Surface](http://www.martinkysel.com/the-third-durable-surface/) _2026-07-08 · Martin Kysel · Martin Kysel_ A crash mid-turn brings the agent back with no memory that it ever spoke. That amnesia is not a bug. It is the symptom that tells retryable runtimes apart from continuable ones, and the difference is where you paid for durability. ## [Fintech Toolbox: A Free Browser-Based utilitiy for Engineers in finance](https://tmsvr.com/fintech-toolbox-a-free-browser-based-utilitiy-for-engineers-in-finance/) _2026-06-22 · Imre Tomosvari · TMSVR - Dev Blog_ A free, browser-based toolbox for fintech engineers and payment ops teams - parse NACHA ACH and ISO 20022 files, validate in real time, anonymize sensitive data, and track Fed cutoff windows. No install, no login. ## [The Missing Exactly-Once Layer Under AI Agents](http://www.martinkysel.com/the-missing-exactly-once-layer-under-ai-agents/) _2026-06-22 · Martin Kysel · Martin Kysel_ The moment an agent charges a card, sends money, or books a seat, "just run it again" stops being free. The mechanism that prevents the duplicate has a name — idempotency — and across the integrations agents actually touch, most of it does not exist yet. ## [Transactional Programming Models](https://will62794.github.io/databases/transactions/programming/2026/05/25/transactional-programming.html) _2026-05-25 · William Schultz_ Transactions are a core feature of databases, but absent from most mainstream programming languages. Thus, many approaches to transactional programming in database systems often developed in a lineage somewhat distinct from the programming languages community. This has led to a diverse set of transactional programming models, with many system or domain-specific approaches. It is informative to… ## [Towards Autonomous Protocol Proofs](https://will62794.github.io/formal-methods/2026/04/03/autonomous-protocol-proofs.html) _2026-04-03 · William Schultz_ Writing formal proofs for distributed protocols is tedious and usually not worth the effort for real-world systems. In general, you have to come up with an inductive invariant which is already a very difficult task. At least a few separate PhD theses were entirely devoted to automating this task in the past few years, and they still usually don’t scale beyond protocols of a moderate size. After… ## [Canonicalized Distributed Protocol Specs](https://will62794.github.io/distributed-systems/2026/03/07/canonical-dist-protocols.html) _2026-03-07 · William Schultz_ Formal descriptions of message passing distributed protocols are complex and heterogeneous. In theory, writing a formal spec of a distributed protocol is a good way to formalize and communicate its precise behavior. In practice, though, many of these specs become quite large and challenging to digest clearly. They use different messaging formats and patterns for how information is communicated… ## [Spring @Transactional Deep Dive: Proxies, Propagation, and the Traps That Still Catch Senior Engineers](https://tmsvr.com/spring-transactional-deep-dive-proxies-propagation-and-the-traps-that-still-catch-senior-engineers/) _2026-03-04 · Imre Tomosvari · TMSVR - Dev Blog_ How Spring @Transactional actually works under the hood — proxies, thread-locals, propagation mechanics, rollback rules, and the silent failures that trip up experienced engineers. ## [Scaling an LSM-Tree: Thread-Safety and the Art of Non-Blocking](https://tmsvr.com/building-thread-safe-lsm-tree/) _2026-02-09 · Imre Tomosvari · TMSVR - Dev Blog_ Moving from a single-threaded datastore to a high-throughput, concurrent LSM-tree isn't just about adding locks—it's about protecting invariants. Learn how to implement non-blocking reads and memtable rotation to build a database that is both thread-safe and fast. ## [Verified Transpilation with Claude](https://will62794.github.io/verification/llms/compilation/2026/01/20/bespoke-compilation.html) _2026-01-20 · William Schultz_ We can check correctness of a TLA+ specification using the TLC model checker, which will exhaustively explore a spec’s reachable states to check that a specified property (i.e. an invariant) holds. TLC was originally developed over 20 years ago and has had a lot of development effort put into it. It is a mature and performant tool, but it is written in Java and it is essentially a dynamic… ## [Every Channel. One Login. (Sponsored)](https://crawlproof.com/a/1R4Uo2asdLnm) _2026-01-19 · **Sponsored**_ 17,000+ live channels, movies and sports on any device. Free trial, no IP lock. ## [Git for Transactions](https://will62794.github.io/databases/transactions/isolation/2025/10/14/git-for-transactions.html) _2025-10-14 · William Schultz_ The idealized model of a transactional data storage system is one of a sequential, serializable system, where clients can submit transactions and the system ensures the outcomes are as if those transactions were executed against a single copy of that data. In practice, performance limitations of this model have historically pushed systems to explore a wide set of alternative, weakly consistent… ## [Copy-and-Patch: How It Works](https://transactional.blog/copy-and-patch/how-it-works.html) _2025-10-13 · Transactional_ Clang optimizations. Machine code models. Relocations! ## [Copy-and-Patch: A Tutorial](https://transactional.blog/copy-and-patch/tutorial.html) _2025-10-13 · Transactional_ If you can ctrl-c and ctrl-v, you can build a JIT. ## [On Writing, Specification, and Outputs](https://will62794.github.io/formal-methods/specification/writing/2025/09/19/on-writing-and-specification.html) _2025-09-19 · William Schultz_ In Andy Grove’s High Output Management , on his experiences from management at Intel, he makes a comment about the value of writing “reports” in a business or organizational setting: But reports also have another totally different function. As they are formulated and written, the author is forced to be more precise than he might be verbally. Hence their value stems from the discipline and the… ## [Logless Raft](https://will62794.github.io/distributed-systems/consensus/2025/08/25/logless-raft.html) _2025-08-25 · William Schultz_ The standard use of Raft is for implementing a fault tolerant, replicated state machine by means of a replicated log , maintained at each server within a replication group. Depending on the nature of the state we want to replicate, we can employ a simpler variant of Raft that achieves the same essential correctness properties. We can call this logless Raft and it can be useful when we are only… ## [NULL BITMAP on SIMD](https://transactional.blog/blog/2025-nullbitmap-simd.html) _2025-08-11 · Transactional_ A NULL BITMAP guest post on loop parallelism transformations. ## [Why Your @Retryable Fails with @Transactional in Spring (and How to Fix It)](https://tmsvr.com/why-your-retryable-fails-with-transactional-in-spring-and-how-to-fix-it/) _2025-08-03 · Imre Tomosvari · TMSVR - Dev Blog_ Learn why Spring's @Retryable can silently fail with @Transactional due to AOP advice ordering — plus two production-ready fixes ## [A Failed Experiment with Siso](https://transactional.blog/blog/2025-modern-distcc-via-siso.html) _2025-08-01 · Transactional_ ## [Simple Serializable Snapshot Isolation](https://will62794.github.io/databases/transactions/isolation/2025/05/13/simple-serializable-snapshot-isolation.html) _2025-05-13 · William Schultz_ In A Critique of Snapshot Isolation , published in EuroSys 2012, they present write-snapshot isolation , a simple approach to making snapshot isolation serializable. This work was published a few years after Michael Cahill’s original work on Serializable Snapshot Isolation (TODS 2009), and around a similar time as the work of Dan Ports on implementing serializable snapshot isolation (VLDB 2012),… ## [Transactions as Transformers](https://will62794.github.io/databases/transactions/isolation/2025/05/04/transformers-not-transactions.html) _2025-05-04 · William Schultz_ Database transactions are traditionally modeled as a sequence of read/write operations on a set of keys, where each read operation returns some value and each write sets a key to some value. This is reflected in most of the formalisms that define various transactional isolation semantics ( Adya , Crooks , etc.). For many isolation levels used in practice in modern database systems, (e.g. snapshot… ## [Realtime AI Arbitrage Terminal (Sponsored)](https://crawlproof.com/a/xEyV48AiczTJ) _2025-05-03 · **Sponsored**_ Realtime auto-trading across exchanges with scored setups, backtesting, and risk controls. ## [SIGMOD Programming Contest Archive: In-Memory Join Pipeline (2025)](https://transactional.blog/sigmod-contest/2025.html) _2025-04-19 · Transactional_ ## [Decomposing Transactional Systems](https://transactional.blog/blog/2025-decomposing-transactional-systems.html) _2025-04-17 · Transactional_ Every transactional system must execute, order, validate, and persist transactions. ## [Torn Write Detection and Protection](https://transactional.blog/blog/2025-torn-writes.html) _2025-04-12 · Transactional_ ## [Modern Views of Transaction Isolation](https://will62794.github.io/formal-methods/specification/2025/03/17/transaction-isolation-models.html) _2025-03-17 · William Schultz_ There have been many attempts to formalize the zoo of various transaction isolation and consistency concepts over the years. It is not always clear , though, to what extent these attempts have clarified things, especially when each approach has introduced new variations of complexity and formal notation. The rise of distributed storage and database systems and the need to reason about isolation in… ## [Talks: Enough With All The Raft](https://transactional.blog/talk/enough-with-all-the-raft.html) _2025-02-27 · Transactional_ There's better ways to replicate data than Raft. ## [Java File writing I/O performance](https://tmsvr.com/java-file-writing-i-o-performance/) _2025-02-24 · Imre Tomosvari · TMSVR - Dev Blog_ Boost Java file writing performance by choosing the right I/O method. Learn how BufferedWriter, FileChannel, and RandomAccessFile impact speed, durability, and efficiency—plus how I achieved a 4x faster commit-log write in my LSM tree database. 🚀 ## [Building a Database III - Bloom filters and performance](https://tmsvr.com/building-a-database-iii-bloom-filters-and-performance/) _2025-02-17 · Imre Tomosvari · TMSVR - Dev Blog_ Learn how to integrate Bloom filters into a Log-Structured Merge Tree (LSM) datastore for faster data lookups and improved performance. This article covers the implementation process, performance testing, and key insights from optimizing the filter in a real-world use case. ## [Practical use of generics in Java](https://tmsvr.com/practical-use-of-generics-in-java/) _2025-02-09 · Imre Tomosvari · TMSVR - Dev Blog_ Dive into the world of Java generics as we transform a simple key-value store to support any data type! This post breaks down the process of refactoring code for flexibility, covering the hurdles I faced along the way. Perfect for developers wanting to level up their designs with generics! 💡 ## [Building a database II - B-Trees](https://tmsvr.com/building-a-database-b-trees/) _2025-02-03 · Imre Tomosvari · TMSVR - Dev Blog_ Explore how B-Trees work, their role in database indexing, and how they compare to LSM trees. This post covers insertion, search, and deletion with a hands-on implementation, highlighting key challenges like restructuring. A great starting point for developers diving into B-Trees! 🚀 ## [Open sourcing AtlasNinja](https://tmsvr.com/open-sourcing-atlasninja-react-leaflet-choropleth-map/) _2025-01-04 · Imre Tomosvari · TMSVR - Dev Blog_ Discover AtlasNinja: an open-source interactive map for exploring global data, now available on GitHub. ## [Zero-Persistence E2EE (Sponsored)](https://crawlproof.com/a/8kg7v5QApZ2j) _2025-01-04 · **Sponsored**_ End-to-end encryption with client-side WebCrypto and volatile memory. ## [Personal: Time Tracking in Obsidian](https://transactional.blog/personal/time-tracking-in-obsidian.html) _2024-12-28 · Transactional_ ## [Notes On: Disaggregated OLTP Systems](https://transactional.blog/notes-on/disaggregated-oltp.html) _2024-12-05 · Transactional_ Aurora, Socrates, PolarDB, and Taurus. ## [Modern Hardware for Future Databases](https://transactional.blog/blog/2024-modern-database-hardware.html) _2024-11-19 · Transactional_ ## [How to Learn: Userland Disk I/O](https://transactional.blog/how-to-learn/disk-io.html) _2024-11-06 · Transactional_ Filesystems, file IO, and durability. ## [SIGMOD Programming Contest Archive: Blocking System for Entity Resolution (2022)](https://transactional.blog/sigmod-contest/2022.html) _2024-10-27 · Transactional_ ## [SIGMOD Programming Contest Archive: Approximate K-nearest-neighbor Graph Construction (2023)](https://transactional.blog/sigmod-contest/2023.html) _2024-10-27 · Transactional_ ## [SIGMOD Programming Contest Archive: Hybrid Vector Search (2024)](https://transactional.blog/sigmod-contest/2024.html) _2024-10-27 · Transactional_ ## [SIGMOD Programming Contest Archive: Entity Resolution (2021)](https://transactional.blog/sigmod-contest/2021.html) _2024-09-01 · Transactional_ ## [SIGMOD Programming Contest Archive: Entity Resolution (2020)](https://transactional.blog/sigmod-contest/2020.html) _2024-08-27 · Transactional_ ## [Erasure Coding for Distributed Systems](https://transactional.blog/blog/2024-erasure-coding.html) _2024-08-26 · Transactional_ An overview of erasure coding, its trade-offs, and applications in distributed storage systems.