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
22 - 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
22 - he/they
(18+ only please, thanks!)
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
Reposted by aured
people like to make fun of continental philosophy for stuff like this but i’d take it 100000 times over analytic philosophy’s “i have a mathematical proof that women be crazy”
November 16, 2025 at 6:57 PM
people like to make fun of continental philosophy for stuff like this but i’d take it 100000 times over analytic philosophy’s “i have a mathematical proof that women be crazy”
Reposted by aured
i can’t think of anything better
November 19, 2025 at 10:38 PM
i can’t think of anything better
Reposted by aured
“Over 50% of the ridehailing trips in our sample replaced a transit, active, or carpooling trip, or created new VMT (via induced travel) with transit being the most substituted mode overall (30.2%).”
curious. i wonder if the robotaxis would do the same thing
curious. i wonder if the robotaxis would do the same thing
Correlates of Modal Substitution and Induced Travel of Ridehailing in California - James Giller, Mischa Young, Giovanni Circella, 2024
The availability of ridehailing services, such as Uber and Lyft, affects the way people choose to travel and can enable travel opportunities that were previousl...
journals.sagepub.com
November 20, 2025 at 3:25 AM
“Over 50% of the ridehailing trips in our sample replaced a transit, active, or carpooling trip, or created new VMT (via induced travel) with transit being the most substituted mode overall (30.2%).”
curious. i wonder if the robotaxis would do the same thing
curious. i wonder if the robotaxis would do the same thing
Reposted by aured
i got suspended for yielding from my coroutine
November 15, 2025 at 6:53 PM
i got suspended for yielding from my coroutine
Idea for people who do art on the side (and have a main job) charge people exorbitant income tied rates for the "opportunity cost" to filter out nepo types/extract money if they really do want to give it to you
November 16, 2025 at 6:04 AM
Idea for people who do art on the side (and have a main job) charge people exorbitant income tied rates for the "opportunity cost" to filter out nepo types/extract money if they really do want to give it to you
So, furry is in the leaks. Time to see what it is :3
November 16, 2025 at 4:23 AM
So, furry is in the leaks. Time to see what it is :3
Reposted by aured
‘No! Not Larry Summers!’ Wails Devastated Nation
‘No! Not Larry Summers!’ Wails Devastated Nation
WASHINGTON—Responding to recent revelations suggesting the prominent economist was a close associate of the late child sex trafficker Jeffrey Epstein, a devastated nation reportedly joined together to...
theonion.com
November 13, 2025 at 8:30 PM
‘No! Not Larry Summers!’ Wails Devastated Nation