After many months of research, development and QA, Wasmi’s most significant update ever is finally ready for production use. Wasmi is an efficient and versatile WebAssembly (Wasm) interpreter with a focus on embedded environments. It is an excellent choice for plugin systems, cloud hosts and as smart contract…
With the help of Antithesis, a startup from the founders of FoundationDB, CockroachDB engineers were able to track down and reproduce a most elusive one-in-a-million bug, nearly deterministically!
Clojure macros have two modes: avoid them at all costs/do very basic stuff, or go absolutely crazy.
Trust me, there's a reason for this
How to handle and report errors effectively in Rust applications is a common question. This blog shares our experience organizing variant types of Error in a complex system like GreptimeDB, from how an error is defined to how to log the error or present it to end-users. Such a system is composed of multiple components…
The .NET team has been working on a new experiment called async2, which is a new implementation of the async/await pattern that is designed to be more efficient and more flexible than the current implementation. It started with green threads and ended with an experiment that moves async and await to the runtime. This…
Thanks to 198 contributors, 672 pull requests, community reviewers, and our generous sponsors, we're happy to announce the Bevy 0.13 release on crates…
CPS, or continuation-passing style, is an intermediate representation for programs, particularly functional programs. It’s used in compilers for languages such as SML and Scheme. Much of its utility comes from its support for tail calls and nonlocal control flow such as call/cc, but it can also be used as an…
So zero-cost abstractions exist?
Explore five methods of data change tracking in PostgreSQL available in 2024.
One of the great strengths of strace as a debugging tool is that it shows you what a program is doing regardless of whether it was compiled with debug info or not. The downside of this is that you …
How do you solve a memory heisenbug?
A few years ago, on a whim, I wrote YAIOUOM. YAOIOUM was a static analyzer for Rust that checked that the code was using units of measures correctly, e.g. a distance in meters is not a distance in centimeters, dividing meters by seconds gave you a value in m / s (aka m * s^-1). YAIOUOM was an example of a refinement…
CSS finally adds vertical centering in 2024
Code reflection, an enhancement to Java reflection, enables access to symbolic representations of Java code in method and lambda expressions. “Symbolic representations of Java code” may seem like a fancy term, but its easily demystified. It’s a model of Java code where the code of a method or lambda expressions is…
Narrow waists: an idea in software architecture that relates to networking, operating systems, language design, compilers, and distributed systems.
A merge workflow for activating multiple branches simultaneously using Jujutsu, an alternative VCS to Git.
A closer look at non-elementary group-by aggregations
Under READ COMMITTED isolation, PostgreSQL can sometimes miss rows when performing UPDATE, DELETE, SELECT FOR UPDATE, or SELECT FOR SHARE statements. This is due to the EvalPlanQual recheck PostgreSQL adds to these statements to prevent lost-update anomalies.
A new way to make games
Challenging your software modelling techniques to be simpler
where my words occasionally escape /dev/null
This post announces SaberVM, an abstract machine for functional programs that guarantees safety, reliability, and portability.
Query language and terminal utility for transforming various data formats
Nobody wants “temperamental and mysterious” products, so what will AI-integrated software development look like?
TypedDict was introduced in PEP-589 which landed in Python 3.8. The primary use case was to create type annotations for dictionaries. For example,...
