Ludwig - Bookmarks

2024-01-01–ongoing

resources: 1732

tags: 202

last sync: 2025-11-07 19:09

This is a curated collection of browser bookmarks and YouTube videos I've gathered since 1st January 2024. Each resource is classified within a Wikipedia-inspired hierarchical tag system in an attempt to capture and organize my primary areas of interest.

The tag evolves continuously with the help of OpenAI's o3, which tends to its health and suggests refinements such as eliminating semantic duplicates, further subdividing nodes and ensuring that going down a level implies you've zoomed in on a narrower domain in a given field. This hopefully will help to keep the whole thing (hopefully) cohesive.

Quality varies semi-intentionally. There are many highly-qualitative resources but you'll also find more casual reads. This is because this is not a curated list in itself, the only moment of curation is me deciding this was good or interesting enough to bookmark.

To help with discoverability, you can find a fuzzy search bar. Each tag in tree also has a dedicated HTML page. Do note that some bookmarks are only tagged up to intermediate nodes!

About this site Export as JSON

Recent Bookmarks

Transparent Hugepages: measuring the performance impact

Added on November 6, 2025

Explains Transparent Hugepages in a nutshell, techniques that can be used to measure the performance impact, shows the effect on a real-world application.

Platonism in the Philosophy of Mathematics

Added on November 6, 2025

Platonism about mathematics (or mathematical platonism) is the metaphysical view that there are abstract mathematical objects whose existence is independent of us and our language, thought, and practices.

From Malloc to Microseconds: Arena Allocation in OLTP Systems

Added on November 6, 2025

  In an OLTP database processing 1 million transactions per second, every microsecond matters. Each transaction allocates dozens of temporary objects: query ...

Proof Theory

Added on November 6, 2025

Proof theory is not an esoteric technical subject that was invented to support a formalist doctrine in the philosophy of mathematics; rather, it has been developed as an attempt to analyze aspects of mathematical experience and to isolate, possibly overcome, methodological problems in the foundations of mathematics.

Book draft: “Control structures in programming languages”

Added on November 4, 2025

I am happy to announce that a draft of my upcoming book “Control structures in programming languages: from goto to algebraic effects” is now available at https://xavierleroy.org/control-structures . The book compares several programming languages from the standpoint of control structures. OCaml is used intensively to discuss control in functional programming, including continuation-passing style, control operators, exceptions, user-defined effects and effect handlers, with many examples that I...

Added on October 30, 2025

Theory of Diversity (RL)

Added on October 27, 2025

Theory of Diversity (RL) - Powered by Obsidian Publish.

Visualizing all books of the world in ISBN-Space

Added on October 27, 2025

Libraries have been trying to collect humanity’s knowledge almost since the invention of writing. In the digital age, it might actually be possible to create a comprehensive collection of all human writing meeting certain criteria That’s what shadow libraries do - collect and share as many books as

the bug that taught me more about PyTorch than years of using it

Added on October 26, 2025

a loss plateau that looked like my mistake turned out to be a PyTorch bug. tracking it down meant peeling back every layer of abstraction, from optimizer internals to GPU kernels.

Writing my own communications library - a worklog of creating Penny part 1

Added on October 26, 2025

Blogpost

See all bookmarks →

Search Results

Categories

Recent Bookmarks

Recent Videos

Timeline

November 2025

October 2025

September 2025

August 2025

July 2025