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

#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

Unreasonably angry about this.

Who, exactly, are these “pronounciation guides” going to help?!

“How do I pronounce ‘ch’?”
“/ch/“

There goes Slava, shooting down my dream of making integers a sequence of their bits:

> func f(_ foo: some Sequence & ExpressibleByIntegerLiteral) is similarly technically satisfiable but perhaps uninhabited in practice.

https://forums.swift.org/t/pitch-noncopyable-generics/68180/40

@airspeedswift Somehow you found a way to make both audiophiles and republicans worse. Thanks, I hate it.