QuestDB 6.2.0 brings a brand new JIT (Just-in-Time) compiler as a part of the SQL engine. This post describes our storage model, how we built a JIT compiler for SQL and our plans for improving it in future.

Feature Name: proc_macro_sandbox Start Date: 2023-08-20 Summary Procedural macro crates can opt-in to precompilation to WebAssembly as part of the publish process. The crate compiles locally (as already done by cargo publish) and then is securely verified…

Slides and videos explaining a functional approach to error handling

A superoptimizer for LLVM IR. Contribute to google/souper development by creating an account on GitHub.

My paper P1144R8 “std::is_trivially_relocatable”
has, in the past few months, been joined by three(!) papers out of Bloomberg:

Prolog lets us easily find solutions for this famous puzzle, also for quite large boards. Notably, we can use the same program to test, complete and generate solutions. The code is available from: https://www.metalevel.at/queens/

FoundationDB is a very impressive database. Its paper won the best industry paper award in SIGMOD’21. In this post, I will explain, in detail, how FDB works and discuss a few very interesting design choices they made. It’s a dense paper packed with neat ideas.…

Queueing theory: an introduction for software development - joelparkerhenderson/queueing-theory

Proper support for sum types or tagged unions have become table stakes for systems programming languages. However, they can incur a lot of memory fragmentation that's not trivial to avoid without good support for metaprogramming. This post goes into Zig's…

Following discussions among compiler developers and other stakeholders, the GNU Compiler Collection (GCC) is preparing to add a '-fhardened' compiler option that will enable various hardening features aimed at increasing the security/robustness of the generated…