chrisamaphone

chrisamaphone, 5 days ago to random

probability: ability to be probed

chrisamaphone, 5 days ago to random

“which way up is the bottom” this is your brain on computer science

chrisamaphone, 5 days ago to random

afternoon naptime for fenway geese

chrisamaphone, 7 days ago to random

my workflow with agda lately has really been to use emacs as the "proof assistant" part (interactive development) and vim for everything else (reading/referencing files; opening things to show to others)

which makes me wonder if we shouldn't be thinking of "proof assistants" more as editor/dev tool support than as languages

...proof assistant server protocol? (maybe i'm reinventing proof general idk)

chrisamaphone, 7 days ago to random

found a copy of miranda lundy’s “sacred geometry” at a thrift store; posed with the problem of whether to shelve it with art books, math books, or nature & mysticism books. math and art already share a shelf (in this house we believe…), so perhaps that would have been morally correct, but instead i put it with mysticism due to size and aesthetics.

Haste, 8 days ago to random

It has taken every ounce of my self restraint not to play Hades 2 in early access.

chrisamaphone, 9 days ago to random

wish we had as many UX researchers trying to fix cities as trying to fix websites

mcc, 10 days ago to random

Well. I guess that's it then. https://antabaka.me/@mochi/112412569121873646

mcc, 10 days ago to random

I hate it how transit apps will have a mode that lets you say you're about to get on a bus and then tracks your trip but if you're already on the bus and you just want it to estimate when you'll get there this is always awkward or impossible in the UI

chrisamaphone, 12 days ago to random

full professor implies the existence of new, crescent, half, and gibbous professors

(it’s rude to ask waxing or waning though)

pg, 12 days ago to random

i'm like 10 years late to this party but just got an apple watch, been having issues with things on phone and watch interfering. e.g., if Siri is on in both then when i say Siri sometimes one responds and the other; also, notifications get messed up between phone and watch, sometimes goes on one, sometimes on both, etc.; not sure what the best mental model is for using this all properly

chrisamaphone, 15 days ago to random

re: X’s latest change (“blocked users can now still see your posts”), i’m a little confused by the outrage because this was also true before viewing posts required an account in the first place (another Musk-era change). the blocked person just had to sign out or create a sock puppet

stefan, 18 days ago to random

Hey everyone!

I'm looking for examples of what I'd refer to as "progressive tutorials". Coding or other tech-related tutorials that introduce progressive ideas and themes, without being overtly political.

#tutorial #LearnToCode #WebDevelopment #development

chrisamaphone, 18 days ago to random

since we’ve all agreed here that post and toot are synonyms, we can now talk about things like:

• the toot office
• tootmodernism
• toot hoc committees
• tooter children
• posthaches

impactology, 19 days ago to random

What do y'all think?

I think the ultimate reason, the ideal, is to learn and increase our capacity to nourish and care for each other. Think that's the litmus test for any technology, norm, tradition, belief, value, economic policy, work, theory — Does engaging or participating via it disconnect & diminish our capacity to care for each other or does it amplify it (now that I think about it, the above is related to Ivan illich's conviviality, and also Albert Borgmann's ideas) The technology, law, policy, infrastructure, norm, tradition, way of working & living then becomes a receptacle via which our capacity to care for and nourish each other is inhibited or amplified. The question then becomes how do you intentionally design one of the above whose creation & maintenance brings out the best in all of us? Which enlarges our capacity to have care and nourish each other, that enables us to be less selfish. A technology whose day to day activities related to creation, maintenance and use deepens our connection with each other by bringing out the best of human virtues Is it possible to intentionally design something like that, something that not only helps provide a livelihood but also that it's making, maintenance and use gradually makes us more compassionate human beings?
Maybe another question to ask is, what kind of comfort and convenience also increases our capacity for interdependency and cooperation? I think an ecologist is the perfect person to answer this (also ecological economist) When thinking about problems of distribution and coordination at scale, think like an ecologist not an economist. Thinking like an ecologist encourages us to consider the intricate web of relationships and dependencies that exist within complex systems which helps shifting our mindset from competition to complementarity Rather than pitting individuals against each other in a zero-sum game, organizing people's strengths and talents in complementary ways fosters collaboration, synergy, and mutual support. Organizing people's uniqueness in complementary rather than competitive ways for collaboration and mutual benefit honors the inherent worth and dignity of every individual
Liberatory theory for me : An extremely elaborate and detailed exposition on love as a verb, not just as a noun and adjective. That goes into all the attributes of loving in all it's complexity and vibrancy and assists people in imagining ways to express, embody and sustain love even in difficult situations I've just realised that one's politics can't be based on resentment and bitterness and hate. Rage can fuel you for a while but it's just not sustainable, you will exhaust yourself challenging the status quo with just rage alone, with just being in the mode of resistance. If a social/political theory or a set of ideas claims to be liberatory but in practice makes me reductive and filled with anger, resentment and hate...that's not liberatory for me. A liberatory theory's core end goal or outcome in terms of behaviour or way of being for me is just that: to increase the ability to be compassionate in as many ways and for as many situations in as many environments as possible I think I've narrowed down a pragmatic litmus test on what matters to me most for any kind of spiritual practice, political or religious tenets/principles. Does enactment of ______ practice/belief illuminate or reveal more ways to love and be compassionate and kind towards people Does it increase my ability to be kinder, more compassionate, What patterns does it reveal reveal about the world and it's people that help you become more forgiving and compassionate

chrisamaphone, 20 days ago to random

containing multitudes is exhausting tbh. can’t really recommend it

chrisamaphone, 26 days ago to random

monotonic writing system: never requires a pen stroke that opposes the direction of writing

chrisamaphone, 28 days ago to random

i haven’t set up recurring donations to hci.social because it seems like they got Princeton to pay the bills for now

but maybe it would make sense to support the servers of people i follow and interact with often here? i can make an educated guess about who those instances are, but i wonder if there’s a way to quantify how much traffic/resource usage i generate for my network neighbors. or if a tool to do this could be useful in general?

chrisamaphone, 29 days ago to random

whenever i see posts about the past like “we didn’t know then that we were living in a golden age” (e.g. about the 95-00s-era web) i wonder what now is the golden age of, from the perspective of our nostalgic future selves

chrisamaphone, 29 days ago to random

kinda proud of this darn