effort + coffee = software
š bridged from ā https://mathstodon.xyz/@peterb, follow @ap.brid.gy to interact
@peterb.mathstodon.xyz.ap.brid.gy@nelson there's a thumbnail of one of the dresses in that screenshot!
peterb
@peterb.mathstodon.xyz.ap.brid.gy
@peterb.mathstodon.xyz.ap.brid.gy@peterb.mathstodon.xyz.ap.brid.gyThis is Car Mechanic Simulator but for tailoring.
@peterb.mathstodon.xyz.ap.brid.gyDefinitely found myself incredibly concerned not that the dresses meet the numeric targets, but that I think they look good!
@peterb.mathstodon.xyz.ap.brid.gyGonna have to stop myself from streaming this great game about making pretty dresses. Incredibly addictive. ("Dressmaker" on Steam. It has real "now draw the rest of the owl" energy (complimentary)).
@peterb.mathstodon.xyz.ap.brid.gyDead Ends in Proving: I describe trying to prove a simple property of my emulator in #Lean 4 by writing "For all x..." theorems, rather than by construction.
It went poorly!
https://www.youtube.com/watch?v=8ZcyQSfrMzs
Thumbnail painting: detail from "The Temptation of St. Anthony" (circa [ā¦]
@peterb.mathstodon.xyz.ap.brid.gyChapter 7 of Rustlings is all about structures. I complain more about Rust.
"Expressions are better than statements all of the time."
Thumbnail painting: Heads Landscape (1928) by Francis Picabia
@peterb.mathstodon.xyz.ap.brid.gyMartin Amis once wrote "It was...a symmetrical convenienceāfor Stalināthat a true description of the Soviet Union exactly resembled a demented slander of the Soviet Union." So anyway this is a subtweet about the EA / "rationalist" / AI community in the Bay Area.
@peterb.mathstodon.xyz.ap.brid.gyHow is it possible that Slapp Happy's _Casablanca Moon_ hasn't made it into a TV or movie soundtrack yet?
@peterb.mathstodon.xyz.ap.brid.gy6502 Opcodes in Lean! I continue porting my NES emulator from Haskell to Lean. In this edited (and much shorter) version of the 4-hour livestream, I muse a bit about syntax and my philosophy of programming. The thumbnail painting is Gisele (1908) by Kees Van Dongen [ā¦]
@peterb.mathstodon.xyz.ap.brid.gy@juergen_hubert Wouldn't this be a natural consequence of writing the fairy tales down at a time when only nobles or clergy were literate? (I'd imagine that this level of rewriting did not happen as much for oral tales, but I don't know the statistics.)
@peterb.mathstodon.xyz.ap.brid.gyNew video: Let's Try Chipwits Worlds ChipWits was an incredible 1984 programming game for the Mac (and other platforms), written in Forth, where you programmed robots to accomplish. Recently remade for modern platforms, the creators have now released a demo of Chipwits Worlds where instead of [ā¦]
@peterb.mathstodon.xyz.ap.brid.gyToday we get into the first chapter of Rustlings that tackles something truly Rust-specific: move semantics. Peter is unimpressed with Rust so far, and also with Rustlings as a didactic tool. Thumbnail painting: "The Execution of Lady Jane Grey" (1833) by Paul Deleroche [ā¦]
@peterb.mathstodon.xyz.ap.brid.gyMy friend Nate is taunting me by posting AI summaries of my video from last year about how I'm ambivalent about AI. (Original video: https://www.youtube.com/watch?v=oOcLnNLAHek)
@peterb.mathstodon.xyz.ap.brid.gy@nelson It's useless and can't do anything right, which is why we must work so hard to convince people that using it is literally fascism.
@peterb.mathstodon.xyz.ap.brid.gy@nelson I was promised that it's all smoke and mirrors.
@peterb.mathstodon.xyz.ap.brid.gy@nelson Looking forward to watching people get angry at you for doing a useful thing.
@peterb.mathstodon.xyz.ap.brid.gyAs part of boot-strapping my NES emulator, I port my 6502 CPU emulator from #Haskell to #Lean. Some architectural changes ā some encouraged by the language, and others simply from having a second bite at the apple ā are made.
Thumbnail painting: La BohĆ©mienne Endormie (1897) by Henri Rousseau [ā¦]