88 Followers
88 Following
733 Posts
a shadow in the wall
alter ego@pesco

For my birthday, my mom got me the METAFONTbook, 1986 spiral-bound edition.

<3 ​ <3

#typography

opentype font disassembles #z80 instructions

Congrats to Josh Dersch who tracked down a microcode fault on the DEC datasystem570 known as Miss Piggy! The pig lives!

https://icm.museum

#retrocomputing #unix #vintagesystems

Someone said something about ingesting libc and this is what popped into my head
Me when computer

from the PiDP-8 mailing list: "This is the story of how a surplus PDP‑8/I became the digital heart of MIT’s weather radar lab — and how a 19‑year‑old student ended up modifying the CPU and writing its timesharing system."

https://retrocomputingforum.com/t/timesharing-on-the-mit-weather-radar-pdp-8-ix/5569

#pdp8 #retrocomputing #mit

Timesharing on the MIT Weather Radar PDP-8/IX

This is the story of how a surplus PDP‑8/I became the digital heart of MIT’s weather radar lab — and how a 19‑year‑old student ended up modifying the CPU and writing its timesharing system. On summer afternoons in 1973 when a line of thunderstorms rolled in across central and eastern New England, I’d stand in the radar room on the 18th floor of building 54 on MIT’s campus in Cambridge. Lights were turned off and excitement was in the air as people huddled around the radar screens, with their ic...

Retro Computing

💯​ YES. I did it! 100%-ed Software Foundations, Volume 1: Logical Foundations. Every chapter, every single exercise solved.  Some parts were a bit of a slog, as is to be expected, but all in all: Yep, had fun up to the very end. 

This means, of course, that I should start on Volume 2 (Programming Foundations) soon. I will busy myself with something else this week and possibly next month, but the plan is to get into it by April. Not another 9 year hiatus!

#coq #rocqprover #softwarefoundations

i feel i need to know to really solve this exercise.
dear fellow functional programmers, surely you pronounce fst as "fist", but how do you pronounce snd? "sound" or "sand"?

ooh, the ACM went open access!
i guess that means dl.acm.org finally *does* stand for download. :D

https://www.acm.org/about-acm/acm-pres-on-oa-transition-and-dl-changes

A Message From the ACM President Regarding the Open Access Transition

Over the past few weeks, I’ve heard from many ACM members and others in the computing community about recent changes to the ACM Digital Library. I appreciate the engagement and care people bring to these discussions, which reflects how central the Digital Library is in our professional lives and reinforces why this moment merits clarity and perspective.