aured

@pandaau.red

576 Followers 629 Following

23 - he/they math, cs, transit: PL, compilers, logic - https://pandaau.red Work in progress... (aren't we all?)

Photo of cathedral of learning with extremely visible haze.
Lyrics to The Magic Disneycal World Tour by Cornelius
bun init creates a CLAUDE.md file
Very cool fake transit ticket
Aured riding a bus next to a cark
Lived experiences wikipedia page
Graphic of Isaiah Hartenstein with the caption "Worse than hitler?"
Theorem statements for Progress and Preservation in Lean 4
image of aured smiling as a lock screen
Asynchronous dynamics of Concurrent Algol.
RustConf attendance fees.
A youtube comment telling me to listen to underscores
Richard dawkins fat bitch tweet
collection of transit cards
King County Metro NFI DE60LFA
adam ruins everything point up image
Aured and Nick are in a classroom talking about PL; Aured is yapping and Nick is listening :3
A picture of the new PGH international airport terminal.
Youtube screenshot of a Low Level video called "did rust take down the internet?" with a prompt asking if the user wants to mark "not interested", "don't recommend channel", or "report".
Terminal output of grep -Eril "Furry" showing several files containing the string.
George santos tweets: "Fuck you @CurtisSliwa I HATE YOU, your dumb wife, that stupid Beret of yours and all your fucking cats!"
Image of a keychron q3 max
Image of the beatles performing I am the Walrus, with the beatles all wearing masks
A screenshot of my profile, demonstrating the new domain handle @pandaau.red
A picture of East Liberty station on the MLK Jr. East Busway
Art of Kezl by fordgtfanboi
Picture of a VIA New Flyer DE40LFR in the modern red wave livery.
godsibb in Apple Music
The steam listing for Myst (2021).
A sprite of Allen Ridgeley surrounded by text reading "Goat", "MVP", "Chad", "Chief!!", "He deserves better than Shion", and "Allen Rizzley".
A sign reading "mind the yap" in the style of the London Underground.
A view of manhattan and the hudson river.
Pearson New Internation Edition of Compilers: Principles, Techniques, and Tools without an image of a dragon on the cover
Linux desktop using the COSMIC environment
Image of summation and product notation expressed in SML as foldl with the respective operation, identity, and a list of values ranged over by the sum
"N221US returned to service with Eastwind Airlines and continued to operate for them until the airline ceased operations in 1999. On July 17, 1996, N221US was operating as Eastwind Airlines Flight 507 to Trenton-Mercer Airport, when the flight crew witnessed the explosion and crash of TWA Flight 800 directly in front of them. Flight 507's crew were the first to report the accident to air traffic control.[7] The aircraft was placed into storage at Greenwood–Leflore Airport in 1999, and was scrapped in 2000." - Wikipedia
"I have read, accept, and agree to be bound"
A youtube comment
A picture of Charles McGill testifying at the hearing of his brother James McGill.
A picture of The Rust Programming Language by Klabnik and Nichols at a bookstore.
Photo of a VIA Metropolitan Transit New Flyer DE40LFR painted in the red wave livery.