petrockette.bsky.social
∑Π≃λ×🍩 Wayward physics girl doing work in Haskell and Agda now HoTT, literature, film, history, bicycles, roadsters, trains, and of course cooking @petrockette@masto.ai
👤 Joined on 11 November 2024
Followers
Following
Total Posts
@petrockette.bsky.socialmisselliee.bsky.social
velocity69.bsky.social
vexxxts.bsky.social
Not Found
sandythixx.bsky.social
Not Found
moments2remember.link
kayofsunshine.bsky.social
mistressbadbitch.bsky.social
iamsin.bsky.social
nerdylilbirdie.cam
baebiebrooklyn.bsky.social
Not Found
toyourleft.bsky.social
viotheviper.darkestalleygang.lol
commiesamantha.bsky.social
electricheadpt2.cryptoanarchy.network
julesssnextdoor.bsky.social
Not Found
Not Found
ellenovelle.bsky.social
brunt-fca.bsky.social
lechterdetector.bsky.social
Not Found
boring-person.bsky.social
my experience of so much of work meetings is like: me: says an idea [everyone looks on dumbfounded with no follow ups or only dead-eyed stares] weeks later someone else says the exact same idea “oh great, that’s a really good idea” 🙃🙃🙃
Show PostKocken-Specker (under modified typing of its valuation function) could be a useful way of discussing the boundary between a type system and IO from the rest of the world. Unclear on whether the analogy of a physical quantity mapping to ℝ will hold similar properties to an ontology when mapped to ℕ
Show PostI don’t use AI in my writing in any form. I use LibreOffice and Scrivener for word processing. My research is in dusty stacks and actual archival materials. I am 100% organic. 🤪
Show Postmissed National Coming Out Day. but came across this screenshot of the mass email i sent 12 years ago!
Show PostYour quote is logically correct, but frames 'AI isn't conscious' as the thing that needs proving. The extraordinary claim is that there's software that thinks, and it's up to the people making that claim to define what they mean and explain the mechanism. Hope that clears up your confusion.
Show Post