← Feed

Posts

• Post #4321652

  My teapots, now signed by the original teapot co-conspirators! The large teapot is a Melitta teapot of the same kind as the original. The 3D-printed one is Blinn aspect ratio, the one everyone’s familiar with, printed by @Archibald_M@mastodon.social. The small pink set is a children’s coffee set in the same lineup by Melitta (no graphics connection, but it’s cute). #graphics

• Post #4261910

  Codeberg's recent statement and updated policy on LLM usage on their platform is admirable. They make several well-reasoned points that are often overlooked in the hype and distraction. https://blog.codeberg.org/protecting-our-floss-commons-from-llms.html

• Post #4261909

  @ricci We need this in SLC! https://www.404media.co/luddite-events-nyc-off-tech-summer-of-ludd/

• Post #3952039

  My talk was teased in SIGGRAPH for Beginners!

• Post #3884398

  Go punch a card! https://kishlay-notabot.github.io/reviving-ibm-punch-card.html #retrocomputing #vintagecomputing

• Post #3802531

  In reviewing my research notes for a SIGGRAPH interview, I'm surprised at how accurately I determined the who and when of the UNIX V4 tape. Before we had any supporting documents with the tape, I had to look elsewhere. My best source was a list of the first UNIX users outside of Bell Labs, which lists Martin Newell of the University of Utah as #19, but does not have any dates. To estimate when the tape would have been made, I tracked down the other institutions' histories and UNIX licen...

• Post #3701587

  Tonight at Utah Rust, we're going to be building mini async runtimes, led by David Brungardt. Come and learn async with us! :rustacean: https://www.meetup.com/utah-rust/events/314696647/ https://github.com/carllerche/tokioconf-2026-workshop-exercises #rust #async #tokio

• Post #3479956

  The CBS story for our recovery of UNIX V4 has now been published! It's a fun, short clip. https://www.youtube.com/watch?v=HatXp2dqxb4 #unix #retrocomputing #vintagecomputing

• Post #2865759

  Typing on @icm's Teletype Model 35 ASR last year. ALL WORK AND NO PLAY MAKES JACK A DULL BOY. #retrocomputing #vintagecomputing

• Post #2775072

  How were { } curly braces typed with a Teletype Model 33 on UNIX? These characters are especially important for C, but absent on this terminal. This is a tour of the coevolution of UNIX and C, from this perspective, featuring “hello, world” through the ages. https://thalia.dev/blog/unix-braces/ #unix #retrocomputing #vintagecomputing

• Post #2775071

  It's teletype day! #retrocomputing #vintagecomputing

• Post #2317353

  A cursed feature of C in 1972: Labels and functions were reassignable (i.e., lvalues)! For example, this is a clever way to initialize once: goto init; init: ouptr = oubuf; init = init1; init1: which is compiled to: jmp *4120 mov 4136,4144 mov 4122,4120 Note the indirect jump and assignment to that address. This would have also worked with functions. #c #unix #retrocomputing #vintagecomputing

• Post #2272895

  My talk at VCF PNW yesterday went well! Thanks for all the great questions. Recording forthcoming. #retrocomputing #vintagecomputing #unix

• Post #2187764

  Presenting Brainfuino [-]+ Rev 1.1, the Brainfuck microcontroller! My Christmas present from @Archibald_M has arrived! I'd been wanting a Brainfuino for years now, an Arduino-like microcontroller that only runs Brainfuck programs, but they're not sold anywhere. So, Matthew took up the challenge to understand Eduardo's design, manufacture the PCBs through JLPCB and source the parts. He even fixed some issues in the original design, like the unstable clock, and made improv...

• Post #1838908

  Look what I found today! It's Martin Newell's 1975 dissertation on procedural modeling, with the first appearance of the Utah teapot! 🧵 Scan: https://collections.lib.utah.edu/ark:/87278/s651906h #retrocomputing #vintagecomputing #graphics #utah

• Post #1721541

  After @mflatt's discussion on call-by-need yesterday, I'm thinking about GHC internals again. I'm back to my side quest of formalizing a small language that was written in Haskell, as implemented, including all the bugs from unintended laziness. Revisiting the STG machine papers now after ~4 years, they're much more approachable. I'm thinking I'll model STG in Rocq or maybe Lean, hack GHC to dump my STG for the language, then model an optimized ver...

• Post #1721540

  I found a minor correction in the Static Program Analysis book (Møller and Schwartzbach), but apparently it was intentional: > This is actually a little detail I typically use in my lectures to see if the students are paying attention 🙂 #programminglanguages

• Post #1721539

  A new UNIX snapshot from 1977 to be released soon!!! #unix #retrocomputing #vintagecomputing

• Post #1405469

  RFC draft: Meow https://www.ietf.org/archive/id/draft-meow-mrrp-00.html

• Post #1405467

  Impressive software work on a UNIVAC! https://farlow.dev/2026/04/17/running-a-minecraft-server-and-more-on-a-1960s-univac-computer #retrocomputing #vintagecomputing

• Post #1405466

  The reduction and huge type derivation of a simple expression: (car[num] (cons[num] ⸢1⸣ null[num])) This proof tree is as patched together as a '70s pre-LaTeX thesis! (For Matthew Flatt's Programming Languages and Semantics course: https://my.eng.utah.edu/~cs7520/) #programminglanguages

• Post #1342668

  Happy HTTP 418: "I'm a teapot" day!

• Post #1292839

  I now have my own Utah teapot! This ordinary teapot is the "hello world" object of computer graphics and has cameos in countless productions. A thread on teapots and UNIX… 🧵 Photo: My Melitta teapot, 2026-04-16. #retrocomputing #vintagecomputing #unix #utah

• Post #1223024

  Utah computer history: This IBM 7030 at the Computer History Museum is from the BYU physics department, used from 1972 to 1982. It features a 64-bit processor, well ahead of its time at its 1961 release, and was IBM's first transistorized computer. Only 9 were made. Before this machine's use at BYU, it was used at MITRE Corporation from 1962. Visited and photos dated 2025-12-20. #retrocomputing #vintagecomputing

• Post #1138539

  With the renewed attention on the Apollo Guidance Computer, I'll share some photos from a presentation I gave a couple of years ago on software documentation, featuring its source code. The engineers who wrote the software that got astronauts onto the moon sure had a sense of whimsy! Sources: Archival scans: https://archive.org/details/Luminary99001J2k60 B/W scans: https://www.ibiblio.org/apollo/ScansForConversion/Luminary099/ Transcriptions: https://github.com/chrislgarry/Apollo-11 Photo...

• Post #1056809

  RE: https://discuss.systems/@thalia/116379083500709420 Turns out SIGBOVIK XX is today! Yay! https://www.sigbovik.org/2026/

• Post #1056808

  My CoCo 3 works again! After hauling it across town to troubleshoot, it inexplicably fixed itself. It was having signal issues. When connected to my Tandy CM-8 over RGB, it would only display with the second ground pin (pin 2) disconnected, but with a loud buzzing tone. It had this same buzzing when connected to my Portavision CRT over RF. But it worked just fine with my Commodore 1702 over composite. I didn't want to deal with this during my demo, so borrowed JJ's Magnavox CM85...

• Post #1056807

  I brought my tiny TVs into my lab today: #retrocomputing #vintagecomputing

• Post #924137

  BIOS on campus:

• Post #849528

  RE: https://types.pl/@hanwen/116302982608141787 The best way to read papers is on paper!