drewfer @drewfer@qoto.org
peccavi
Joined Aug 2018
Flying into New York on Sept. 11th. Flying out of New York during a hurricane.
This is going to be an exciting week.
drewfer
boosted
emacs police
I wrote some elisp to interface with my city's crimebase.
So it comes up in a stupid local hood FB thread: Him: "Nobody has been able to find my bike plz halp"
Me: "You didn't even report it stolen to the cops so why should anyone bother"
Him: "STFU how you know I didn't report it?"
Me:
11:30 on a Friday night and I'm reading Emacs tutorials.
I blame @xahlee@mstdn.io 😅
Man, Emerald guitars have some interesting features. Just need to find somewhere to preview one.
drewfer
boosted
drewfer
boosted
So is there a Medium.com replacement that's not a piece of worthless shit?
My friend that moved to Alaska emailed me to tell me that a bear broke into his truck and destroyed all his fishing gear and his cooler.
Suddenly morning traffic seems less annoying.
Status: Currently celebrating labor day at the office, working.
It's 5:00 on Friday and I'm listening to dubstep and writing unit tests for the CRC impl.
CS People: anyone with formal proof experience? We're toying with some research into #DeepSpec style formal proofs of architectures and language and I'm looking for some good survey papers to get up to speed. Any suggestions?
peccavi
Joined Aug 2018
