aured
@pandaau.red
Mathematics and Computers!
Enjoyer of Rust, Lean, SML, and more...
Site: https://pandaau.red
#1 fan of VIA's New Flyer DE40LFR express buses
23 - he/they
(18+ only please, thanks!)
Enjoyer of Rust, Lean, SML, and more...
Site: https://pandaau.red
#1 fan of VIA's New Flyer DE40LFR express buses
23 - he/they
(18+ only please, thanks!)
Reposted by aured
drew @probablygoat.bsky.social's cute goat keepin warm
December 3, 2025 at 10:18 PM
drew @probablygoat.bsky.social's cute goat keepin warm
Anyone at MFF should go to the transit and urbanism panel :)
December 6, 2025 at 4:16 PM
Anyone at MFF should go to the transit and urbanism panel :)
Reposted by aured
Honestly it seems bad that basically every industry has decided that the marginal profit isn't in actually making a better product but rather creating more complicated financial instruments to squeeze money out of customers better. BNPL, rewards programs, ever more complicated coupon schemes, etc
December 4, 2025 at 1:53 AM
Honestly it seems bad that basically every industry has decided that the marginal profit isn't in actually making a better product but rather creating more complicated financial instruments to squeeze money out of customers better. BNPL, rewards programs, ever more complicated coupon schemes, etc
Guy who pronounces Mutex as MuTeX
December 3, 2025 at 9:31 PM
Guy who pronounces Mutex as MuTeX
Reposted by aured
morning 1970 🛼
March 26, 2025 at 3:59 PM
morning 1970 🛼
@discord.com please make a profile effect with the LinkedIn #opentowork green banner around your profile picture
December 3, 2025 at 3:00 AM
@discord.com please make a profile effect with the LinkedIn #opentowork green banner around your profile picture
Reposted by aured
Less radical version of this that's actually doable: stigmatize the hell out of marketing and stop treating it and PR as if they're legitimate and not liar industries that lie to you
December 1, 2025 at 1:52 AM
Less radical version of this that's actually doable: stigmatize the hell out of marketing and stop treating it and PR as if they're legitimate and not liar industries that lie to you
3 days until I get to do a reading group presentation on model theory :D
November 30, 2025 at 12:15 AM
3 days until I get to do a reading group presentation on model theory :D
Reposted by aured
a lot of imaginative fiction is actually assuming that incidental and contingent traits of 20th century america are properties of the universe
November 28, 2025 at 7:53 PM
a lot of imaginative fiction is actually assuming that incidental and contingent traits of 20th century america are properties of the universe
Reposted by aured
Does anyone want a survivorship bias shortbread
November 29, 2025 at 4:50 AM
Does anyone want a survivorship bias shortbread
Lord if only it were possible to make a game with distilled gameplay anywhere near as good as Space Invaders Extreme (DS)
November 29, 2025 at 3:25 AM
Lord if only it were possible to make a game with distilled gameplay anywhere near as good as Space Invaders Extreme (DS)
I feel like I'm going insane, I remember thinking "huh it's neat that the arithmetic hierarchy shows up in model theory. Wait it's also in computational complexity theory?? I thought it was a DST thing!" and now a modified Lóvasz Local Lemma is being used to bridge CS and DST???
November 27, 2025 at 1:06 PM
I feel like I'm going insane, I remember thinking "huh it's neat that the arithmetic hierarchy shows up in model theory. Wait it's also in computational complexity theory?? I thought it was a DST thing!" and now a modified Lóvasz Local Lemma is being used to bridge CS and DST???
KIRBY AIR RIDERS IS SO FUN
November 26, 2025 at 4:38 AM
KIRBY AIR RIDERS IS SO FUN
Reposted by aured
This was my white whale for a long time, but the sourced audio sample during Xenogears' "Blazing Knights" boss fight track was taken from Christian Brando's manslaughter trial in 1990!
November 24, 2025 at 5:55 PM
This was my white whale for a long time, but the sourced audio sample during Xenogears' "Blazing Knights" boss fight track was taken from Christian Brando's manslaughter trial in 1990!
🔥
rogue one is bad folks. i have believed this since i saw it in theaters and no subsequent rewatch has changed my mind. basically a chop job until the final sequence, which is good (for star wars)
November 24, 2025 at 8:26 PM
🔥
Reposted by aured
In 1982, Carnegie Mellon University professor Scott Fahlman suggested using :-) for humorous comments after his colleagues took a joke about mercury seriously. www.wired.com/story/a-comp...
A Computer Science Professor Invented the Emoticon After a Joke Went Wrong
In 1982, Carnegie Mellon University professor Scott Fahlman suggested using :-) for humorous comments after his colleagues took a joke about mercury seriously.
www.wired.com
November 21, 2025 at 12:07 PM
In 1982, Carnegie Mellon University professor Scott Fahlman suggested using :-) for humorous comments after his colleagues took a joke about mercury seriously. www.wired.com/story/a-comp...
I FOUND A FURRY TO TAKE COMPILERS WITH
November 24, 2025 at 8:21 PM
I FOUND A FURRY TO TAKE COMPILERS WITH
Reposted by aured
As someone who's deeply invested in clear wayfinding and transit info, there's something surreal about seeing your maps shared to thousands of attendees by a major fur con 🥰
bsky.app/profile/furf...
bsky.app/profile/furf...
It's almost time to hop aboard the FurFest Transit Network!
First time passenger? Need a refresher? M.F. Raccoon is here to help:
First time passenger? Need a refresher? M.F. Raccoon is here to help:
November 24, 2025 at 4:08 PM
As someone who's deeply invested in clear wayfinding and transit info, there's something surreal about seeing your maps shared to thousands of attendees by a major fur con 🥰
bsky.app/profile/furf...
bsky.app/profile/furf...
and i think to myself -- what a wonderful world
November 23, 2025 at 7:02 PM
and i think to myself -- what a wonderful world
I lost my bluetooth headphones. What is a good pair to replace them with? For context I am not an iPhone user, I have a Galaxy s22+, a M3 Macbook Pro, and a normal desktop
November 22, 2025 at 3:25 PM
I lost my bluetooth headphones. What is a good pair to replace them with? For context I am not an iPhone user, I have a Galaxy s22+, a M3 Macbook Pro, and a normal desktop
Velocity : Design : Comfort spotted,, automatically peak
November 21, 2025 at 5:01 PM
Velocity : Design : Comfort spotted,, automatically peak