Notices by Steve Canon (steve@discuss.systems), page 3

@dascandy42 @thomasfuchs one of the great recordings of the 20th century.

@dascandy42 @thomasfuchs this was the first album by the artist (Wendy Carlos) who composed the clockwork soundtrack.

@dascandy42 @thomasfuchs I mean, you should definitely buy the albums, but you can surely get them much cheaper without the boxed set 😂

Looking at the above picture: huh, weird chairs, but great view, I can almost see how they ask as much as they do.

Looking at the next picture: what did they do to the poor house, oh god make it stop

#RealEstateShitposting is this … a summoning circle of plastic lawn chairs?

(Photo shows eight plastic lawn chairs arranged in a semicircle around a fire. Two more are present but not visible in the photo, completing the circle.)

This (from a different listing) is the best real estate photo we turned up this evening, however:

Idle thoughts: why on earth do colleges and universities allow students to double major? It's just a trap for overachieving students. In the best case, they get a degree they don't benefit from in any way and miss out on a more well-rounded and less-stressful college experience. Ain't nobody actually needs two undergraduate degrees, and we do students a disservice by letting them think it's some kind of achievement.

@inthehands @stacey_campbell @futurebird @snacktraces Joe’s active on cohost, fwiw

SE-0413 Typed throws is Accepted.

https://forums.swift.org/t/accepted-se-0413-typed-throws/69099

Fourth time’s the charm! https://forums.swift.org/t/accepted-se-0270-add-collection-operations-on-noncontiguous-elements/69080

@dimsumthinking count(where:) was re-run and accepted too!

Neat slides from Slava’s talk on the formal model of Swift’s generics system at Cornell: https://pl.cs.cornell.edu/pldg/slava-pestov.pdf

@barrelshifter Jen would be chasing that guy down the street like a kid after the ice cream truck.

@inthehands @dgoldsmith cannot not plug https://github.com/eggrobin/Enmerkar here

@inthehands thanks for the really thoughtful review feedback on typed throws.

this is great stuff.
https://forums.swift.org/t/se-0413-typed-throws/68507/16

@inthehands @tzimmer_history The kids are alright!

@inthehands Me, I reflexively wrote in "AXIOM" while skimming clues, then saw "CX" and huffed and wrote "LEMMA", resulting in a time of 43 fucking seconds for a Monday mini.

@inthehands That's a perfectly reasonable normal-NYT-crossword-doer notion of "logic", hence "unreasonably".

@inthehands If the clue said "if a>b and b>c, then a>c in Peano arithmetic," I'd allow it =)

@inthehands there's no logical deduction, this is axiomatic