petrockette

petrockette

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

357

Followers

818

Following

2466

Total Posts

📜 Kullanıcı Geçmişi

  • 11 Kas 2024, 22:25
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @petrockette.bsky.social

❤️ Beğendiği Gönderiler

16 October 2026 03:54

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 Post
Pat
15 October 2026 15:16

Kocken-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 Post

I 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 Post

missed National Coming Out Day. but came across this screenshot of the mass email i sent 12 years ago!

Show Post

Your 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

Select language

Install App

Install App