Handling environment variables in Emacs on OSX and Linux
Dealing with environment variables in OSX and Linux
Ben Mezger
Recent content on Ben Mezger
Latest posts
System Design - Caching Strategies
Caching layers, eviction policies, and system design patterns.
Maintaining a robust CV
Practices for keeping a well-structured, up-to-date CV.
Algorithms: Mergesort
Mergesort divide-and-conquer approach and stable sorting properties.
Algorithms: Quicksort
Quicksort partitioning, performance, and implementation details.
Algorithms: Selection and Insertion Sort
Selection and insertion sort explained with complexity analysis.
Algorithms: Binary Search
How binary search works, why it is fast, and when to use it.
A reproducible Org-Mode CV template
A modular, reproducible Org-mode and LaTeX CV template.
System Design - Databases, data models and indexing
Database data models, indexing, and design trade-offs.
System Design - CAP theorem, ACID, BASE and PACELC
CAP theorem, ACID, BASE, and PACELC in distributed systems.
System Design - RAID and Storage
Notes on RAID and storage architecture for system design.
System Design - Network
Review of networking concepts and protocols for system design.
My journey in managing online services
Centralizing DNS, GitHub, and other online service configuration.
My journey in managing dotfiles
How I evolved dotfile management from scripts to NixOS.
NixOS important commands
Essential NixOS and Nix package management commands.
Anbernic RG353V: configuring ArkOS
Configuring ArkOS on the Anbernic RG353V handheld console.
New computer
Building a custom desktop PC after years of using notebooks.
Notes on TDD - chapter 4
Chapter 4 notes on encapsulating amount from Kent Beck’s TDD book.
Notes on TDD - chapter 3
Chapter 3 notes on value objects from Kent Beck’s TDD book.
Notes on TDD - chapter 2
Chapter 2 notes from Kent Beck’s Test Driven Development.
Notes on TDD - chapter 1
Chapter 1 notes from Kent Beck’s Test Driven Development.
Test driven development
Index of test-driven development notes and reading.
Thoughts on Chezmoi
Thoughts on managing dotfiles with Chezmoi over the years.
Ending 2022 with Brazilian Jiu-Jitsu
Starting Brazilian Jiu-Jitsu after COVID disrupted swimming.
Hello again, Amsterdam
Moving back to Amsterdam after years abroad.
Moving forward with suckless dwm
Switching to suckless dwm for multi-monitor tiling.
Tabs vs. spaces in byte size
Measuring repository size difference between tabs and spaces.
Thoughts of changing nicks
Thoughts on changing my online nickname from seds.
Dell XPS 9510 and the linux experience
Running Linux on a Dell XPS 9510 notebook.
Impact on software failures
Real-world consequences of software failures in critical systems.
Laws of Program Evolution
Lehman’s laws of program evolution and continuing change.
Handling database migration with Pytest and SQLAlchemy
Database migrations and fixtures with pytest and SQLAlchemy.
Python's name mangling
How Python’s name mangling works for non-public API names.
Asynchronous vs synchronous bus
Differences between asynchronous and synchronous computer buses.
Chezmoi and Emacs
Integrating Chezmoi dotfile management with Emacs.
Locking Python scripts with flock
Preventing concurrent runs of Python scripts using flock.
RISC-V Instruction Format
Overview of RISC-V instruction formats and encoding.
Notes on fault tolerant software
Notes on building fault-tolerant software systems.
Synchronization
Notes on synchronization primitives and concurrency.
Export org-roam backlinks with Gohugo
Exporting org-roam backlinks to Hugo with a custom pipeline.
Symbol format 'elf64-littleriscv' unknown
Debugging unknown ELF64 RISC-V symbol format errors.
C pointers
Understanding pointers in C with examples.
Awesome Operating Systems
Curated list of awesome operating systems resources.
Software and Hardware Single Event Effect mitigation
Review of single event effects and circuit- and software-level mitigation.
Notes on OS memory management
Notes on operating system memory management concepts.
Bit shifting
Bit shifting operations and their uses in low-level programming.
Translating Virtual addresses
How virtual addresses are translated to physical addresses.
Bibliography
Some of these bibliographies I’ve been reading for my research and some I find it interesting to keep around my library. Operating Systems # Introductory # Modern Operating Systems # Bibtex @book {tanenbaum2014ModenOS, author = {Tanenbaum, Andrew S. and Bos, Herbert} , title = {Modern Operating Systems} , year = 2014 , isbn = {013359162X} , publisher = {Prentice Hall Press} , address = {USA}…
Notes on RISC-V CPU HARD IP Cores enter SoC FPGAs
Notes on RISC-V hard IP cores entering SoC FPGAs.
Modeling C-based systems with UML
Modeling C-based embedded systems with UML.