Submissions by g0xA52A2A

Evaluating the Claims of "SAT Requires Exhaustive Search"

A compact relocation format for ELF

QuePaxa: Escaping the Tyranny of Timeouts in Consensus

SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012)

TextOS – Twitter

Writing a scheduler for Linux in Rust that runs in user-space (part 2)

The perils of pause(2) (2023)

Microsoft and Mistral AI announce new partnership

Blazingly Fast™ Type Class Resolution with Tries

Vectorizing ML Models for Fun

bpaf – Command line parser with applicative interface

The Ultimate Conditional Syntax [video]

JIT in ClickHouse

Comonads Are Objects

A New Fast Approximate Multi-String Search Method – Faster Grepping with Ugrep

Zarc: Archive Format Based on ZSTD

Metamalloc.h: Single header template based general purpose memory allocation

Nezha: Deployable and High-Performance Consensus Using Synchronized Clocks

Code vs. Data Driven Displacement

When "blocked indefinitely" is not indefinite

ASLRn't: How memory alignment broke library ASLR

On the Static Nature of Traversals

Penrose Kite and Dart Tilings with Haskell Diagrams

The Interconnect, Harvard Architecture, and Dual Port RAM

Bulk Visitation in Boost:Concurrent_flat_map

SNESTang – SNES for Sipeed Tang Primer 25K FPGA Board

Smol-macros, smol-hyper and smol-axum

30 Years of Decompilation and the Unsolved Structuring Problem: Part 1