I have moved to ludwigabap.com ...
I thought it would be fun to dump the notes I took while catching up and reading through some of my bookmarks on this fine Saturday. The workflow was something like this: I bookmarked these over time either after skimming them once (if they are good -> using Zotero's Chrome plugin) or the title / vibe catching my eye (in which case they end up on my readwise ) I read the PDFs using Zotero I had…
Intro Category Theory looked scary when I first encountered it - a world of obscure nomenclature like endofunctors and Yoneda Lemma. Something that seemed reserved for the nerdiest programming language theorists, hardcore Haskellers, and near-schizophrenic mathematicians. Earlier this year, I spent a couple hours watching youtube videos on it just so I could go from 0 ("I have no idea what it is…
Disclaimer: This is a transcript from a 15mn recording which was supposed to be on critical thinking but immediately devolved into first principles thinking, stemming from a (very funny) screenshot sent to me in DMs 1. Critical thinking is a completely different thing -- in the case of the example I used during the yap: it would be more akin of asking yourself "what are the the different ways I…
This weekend, I am mostly reading about my typical concerns: systems programming the lower level lands and a recent addition: font rendering (as I continue to slowly but surely work on Emerald ). A lot of these are re-reads, looping back after several weeks and hoping that my brain is more prepared to take in the information. Here's all the articles. Articles From Matklad What is an Invariant?…
I was asked (on x.com ) to dump some of my reading from the last two days on optimizing compilers -- here they are. For context, I never actually wrote a compiler backend (I'm an LLVM baby), so while I'm specifically interested in optimizing compilers because of their allure. I have no hands-on tangible experiences with writing one. What Every C Programmer Should Know About Undefined Behavior…
Context Tbh, this all started with a miscommunication. I tweeted the following here : Now, what I meant is that I had been consistently answering every random DM every time I would get to them since I started posting on X a few months ago and have no intentions of ever stopping. But because I'm an idiot, the tweet made it sound like I had just opened my DMs and was fielding questions. This led to…
A small compilations of the top resources I've been using related to Zig. Focus on high-quality content, technical writings on Zig's internals and resources to learn the language itself. Small tastes / intros: Why Zig When There is Already C++, D, and Rust? The Road to Zig 1.0 - Andrew Kelley -> 5 years old, still worth a watch Zig 0.13 Language Reference 107+ tiny broken programs to help you…
Zig Language Reference zig.guide Youtube (download the vids) Dude the Builder channel Zig Showtime channel Tsoding relevant vids Sphaerophoria relevant vids Readwise top saved bookmarks https://matklad.github.io/ scrap all articles https://www.openmymind.net scrao all articles Top-end repos Zig itself tigerbeetle - da goat distributed financial transactions database futureproof - A live editor for…
Intro At [redacted], we serve hundreds of millions of users. We use C and C++ in some of our core systems which end up servicing some of our most important features. For context, when this discussion started: there was about 100 LOC of Zig at that point in the codebase, and a single service in Rust(an edge-distributed API compiled to WASM). Throughout 2023, there was a discussion on Rust vs Zig…
I might dump longer thoughts here, or Obsidian notes, or never use this. Here's a sneak peek at the drafts: