Unfortunately, I screwed up Monday, so the Monday lecture was not recorded. Instead, here is the Wednesday lecture on algorithms for ensuring consistency in distributed systems. […]
dDist Week 5: Consistency
Britney Wallpapers
I tried out BumpTop (but decided to scrap it again due to it being a featureless, unstable mess on the Mac). Previously, I’ve used Wallpaper Clock on my background, but now I decided to try something new. I therefore went searching for nice Britney wallpapers. Unfortunately, most available wallpapers either use extremely high contrast ore […]
Multi-tasking
I’m multitasking like crazy: I’m writing code on my “emergency Mac” (which is the only one really set up for working), compiling the code on a virtual Windows XP machine and testing the code on a 64 bit Windows 7 machine, which fails to run my code. Hmmm… Maybe this is the excuse I’ve needed […]
The Joy of Windows
It seems that everytime I boot into Windows, I spend most of my time staring at the below screen: In fact I have a suspicion, I spend more time updating Windows, anti virus, and other crap to get less malware that I do actually being productive in Windows. Unfortunately, I need to check an application […]
Name Scheming
I may no longer be allowed to name tools at work, but I am still the only one able to make new builds of CPN Tools. Hence, I present the upcoming version 2.3.9: […]
Lecture on State Spaces in the CPN Course
I am to give a guest lecture on ASAP for the CPN course tomorrow. For that, I've prepared a couple videos – one showing off the SS tools of CPN Tools and two showing off the SS tool in ASAP. None of the videos have any sound, but I am planning on ustreaming the lecture […]