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…

There are endless debates online about Rust vs. Zig, this post explores a side of the argument I don't think is mentioned enough.

Going in depth into the Address Sanitizer internals.

I’ve left the Microsoft Debugger Platform team twice, and each time I’ve started writing my own debugger. I must really like debuggers or something. This time, I have two reasons for writing a new debugger. The first is because I want to learn Rust better…

Category theory is the heart of mathematical structure. In this video, I will drive a stake through that heart. I don't know why I made this.

Grothendieck Googling: https://mobile.twitter.com/grothendieckg

Join my Discord server to discuss this video and…