2026-07-24T10:46:12Z https://nostr.ae chris martens https://nostr.ae/npub1yp3qerlleys6mvvc4488qfnnwy732sa3ck0meq7yuefzy6nzm7jqxsun2n https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/286/025/352/911/249/original/b15625f31fdd1155.png https://storage.googleapis.com/hci-social-storage/accounts/avatars/109/286/025/352/911/249/original/b15625f31fdd1155.png https://nostr.ae/nevent1qqsqmrlysfe2qg3enf3kvm0r4hpyh47rwzq39qvnjvv86qs2fyju9cczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g0luras is... someone out there using these *not* as a joke?<br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/116/856/350/338/373/498/original/ccf00e780ee6f8be.png"> <br/> 2026-07-03T13:49:24Z https://nostr.ae/nevent1qqs8jtj4syghex8yc0al7lf3v862hzkl6h6msp9tvrq3d5cgs406nvszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gqtu2s6 TIL david foster wallace&#39;s first novel was an adaptation of his senior thesis on modal logic 2026-05-19T22:41:33Z https://nostr.ae/nevent1qqsfvx3ak5rw9nle0n5lwtvaq49l9n6dd42g4fp2snj0d95l0qsz3sszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g0m3cmm what are some examples of physical crafting that *feel* really good to you in the process (regardless of how much you like the end result)? alternatively, where the end result is something that you really enjoy on a sensory level? 2026-05-12T14:32:49Z https://nostr.ae/nevent1qqsq9s62vewnd4el7wn7wtnzr3adwjhjfrd3566j3v7q0ux3eametwszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g5pz5ew may the fifth be wifth you 2026-05-05T12:49:22Z https://nostr.ae/nevent1qqsx603esxjq6sldzv9k0gvyaaw3xgrnup0ftf28ljmdg3s8jedw9tczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g7gw36x used to be &#34;make a little logo for your project for a token amount of extra credit&#34; was a way to give students permission to do a tiny bit of low effort art as a treat. everyone knew it could just be bad and that would be part of the charm; it would still connect you in a personal way to your creative efforts. i forgot this doesn&#39;t work anymore, and i&#39;m sad about it. 2026-04-28T20:39:40Z https://nostr.ae/nevent1qqs98024yulameu5q576cwst667pyra65kl6a8qrxg9l8dqt76f3wggzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gdtvpph In reply to <a href='/nevent1qqsftkqz3szdh9kvkrsnyajtmxfs6uqm4rx0g7k0wzwednp64p2nqusqvln9c'>nevent1q…ln9c</a><br/>_________________________<br/><br/>arguably we should also want archival programming languages more generally. sometimes, a language whose features cease to evolve is called &#34;dead&#34;. but perhaps we should reserve &#34;dead&#34; for languages whose programs no longer run, and use &#34;archival&#34; for those whose implementations are maintained while their feature sets remain stable (thx <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1d2tyg847dnfr7e66qrp0kxtezzjgvjxpx0jmhsh88jtndt3zlz2sffdzc9" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Rob</span> (<span class="italic">npub1d2t…dzc9</span>)</a></span> for planting this lexical seed in my head) 2026-03-31T18:29:11Z https://nostr.ae/nevent1qqsq4dzz5wav6f4d3y7kfv2twsph6vhpn0fyq40j28s4yw2k9kfhp2qzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g248cw2 In reply to <a href='/nevent1qqstjhe3jmyz3s08scj3d9nswk8ujqmk29tgtsk5hrw6e4jx8tld4msqr8fen'>nevent1q…8fen</a><br/>_________________________<br/><br/>thanks! i&#39;m interested in hearing what you think if you have a chance to read further on 2026-03-31T18:12:04Z https://nostr.ae/nevent1qqsftkqz3szdh9kvkrsnyajtmxfs6uqm4rx0g7k0wzwednp64p2nquszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gj3z4t6 re: <a href="https://hci.social/@chrisamaphone/116325060049701188">https://hci.social/@chrisamaphone/116325060049701188</a><br/><br/>taking off my &#34;impartial observer&#34; hat for a moment (and so breaking out of the thread), one opinion i&#39;ve started solidifying is that we need stable (or one might say &#34;archival&#34;) proof languages, alongside those that actively evolve. a big motivation for me is to develop teaching materials that still run in a decade (Explaining), but i think there are good Convincing-aligned reasons to want this as well.<blockquote class="border-l-05rem border-l-strongpink border-solid"><div class="-ml-4 bg-gradient-to-r from-gray-100 dark:from-zinc-800 to-transparent mr-0 mt-0 mb-4 pl-4 pr-2 py-2">quoting <br/><span itemprop="mentions" itemscope itemtype="https://schema.org/Article"><a itemprop="url" href="/note1fl3hle7fs4kyeaua00lemyx8prjk25rdzt860wvcljxaxl33ftas4zfjn5" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1">note1fl3…fjn5</a></span><br/> </div> PLATEAU is a workshop, so this paper is mostly a discussion starter that gestures towards possible projects (we aren't describing a new solution or advocating for a particular agenda). i really want to hear from more folks about your answers to the discussion questions at the end, or any other feedback! </blockquote> 2026-03-31T18:00:30Z https://nostr.ae/nevent1qqsylcmlulyc2mzv77whhluajrrs3et92pk39na8hxv0erwn0cc547czyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g6wgj7w In reply to <a href='/nevent1qqsvf7803jkvak67wmwq5d6rkdy5c3f5232955urkg0ewj4s0jsm6tce2gzlw'>nevent1q…gzlw</a><br/>_________________________<br/><br/>PLATEAU is a workshop, so this paper is mostly a discussion starter that gestures towards possible projects (we aren&#39;t describing a new solution or advocating for a particular agenda). i really want to hear from more folks about your answers to the discussion questions at the end, or any other feedback! 2026-03-31T17:52:33Z https://nostr.ae/nevent1qqsvf7803jkvak67wmwq5d6rkdy5c3f5232955urkg0ewj4s0jsm6tczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gxty7v9 In reply to <a href='/nevent1qqsdsx8n757gguljdz8vrkl0j3j3qyes23u79hghnq0m80w8tt9vhnq2ua0gg'>nevent1q…a0gg</a><br/>_________________________<br/><br/>people shouted out in the talk include [@ionchy](<a href="https://types.pl/@ionchy">https://types.pl/@ionchy</a> ) (for their lovely reproduction of Reynolds&#39; &#34;types, abstraction, and parametric polymorphism&#34;), <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub14a5755aglz3euvetuy8z7x25akaz42lgvrgkr8qj2a55ghpwaelqjf9fse" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Martin Escardo</span> (<span class="italic">npub14a5…9fse</span>)</a></span> for his posts about Agda as communication tool, and <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1hadj4ld008yxcrky6epuzktqe3gnjzs7cuyaf2h62hlffj6d6v9quzj35h" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>David Renshaw</span> (<span class="italic">npub1had…j35h</span>)</a></span> for letting me ask annoying questions about his Lean projects :) 2026-03-31T17:49:13Z https://nostr.ae/nevent1qqsdsx8n757gguljdz8vrkl0j3j3qyes23u79hghnq0m80w8tt9vhnqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gtdf256 In reply to <a href='/nevent1qqs2wr30u4w4uax4eh57dypnhfhu84g7g3u9nuk7pp25d7lxzxt5aacta3j8g'>nevent1q…3j8g</a><br/>_________________________<br/><br/>another line of thought that emerged (and appears more significantly in the talk slides than in the paper) is how the desire to future-proof proofs participates in the broader human project of cultural artifact archival, alongside the history of media forms like film, games, net art, etc. and their respective challenges and changes to the technical needs of archives.<br/><br/>also, how stewardship matters. the work of re-transcribing and re-situating old work is how we express our care for its value 2026-03-31T17:46:52Z https://nostr.ae/nevent1qqs2wr30u4w4uax4eh57dypnhfhu84g7g3u9nuk7pp25d7lxzxt5aaczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gmtey7n In reply to <a href='/nevent1qqsw9f4gk0yjm6zc385g0mxuljj8rf2epagehfxrsx9gr095mkvlxws372n9t'>nevent1q…2n9t</a><br/>_________________________<br/><br/>one of the outcomes of this work i want to highlight is the observation that not everyone mechanizes proofs for the same reasons. there are motivations that derive from:<br/>- *Convincing*: wanting to improve confidence in results as objects of study scale in complexity;<br/>- *Explaining*: wanting to improve precision and clarity in definitions, communicate ideas, and identify reusable abstractions.<br/><br/>a lot of talking past each other can happen when we conflate these purposes 2026-03-31T17:39:04Z https://nostr.ae/nevent1qqsw9f4gk0yjm6zc385g0mxuljj8rf2epagehfxrsx9gr095mkvlxwszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g3l452d new from me, <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1t7dpu5y5yydd0waljx774ekya4fka0sfv080wkk3c43kpk0m7tsq3rzxtp" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>Emma Tosch, Thought Follower</span> (<span class="italic">npub1t7d…zxtp</span>)</a></span> , [@cxli](<a href="https://scholar.social/@cxli">https://scholar.social/@cxli</a> ) , and Elan Semenova: &#34;Is truth future-proof? On the possible futures of mechanized proof&#34;. contains provocations, philosophical framings, and accounts of current practices in light of the idea that mechanized proofs contain mathematical knowledge that we might want to persist across future generations.<br/><br/>preprint: <a href="https://khoury.northeastern.edu/~cmartens/papers/plateau26-itfp.pdf">https://khoury.northeastern.edu/~cmartens/papers/plateau26-itfp.pdf</a><br/><br/>presented at PLATEAU a few weeks ago. slides: <a href="https://khoury.northeastern.edu/~cmartens/talks/plateau-itfp-talk-slides.pdf">https://khoury.northeastern.edu/~cmartens/talks/plateau-itfp-talk-slides.pdf</a> 2026-03-31T17:33:25Z https://nostr.ae/nevent1qqsvyahmeg6d8uynkqyk9kv9u46jzc6aqafgq8wyygp2jrd0jkqyfegzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gq45gfn someone please tell me i am not the only one who made it to full adulthood before realizing that &#34;20 thousand leagues&#34; is not a reasonable distance for something to be towards the center of the earth from the surface of the ocean and that in fact it was the distance *traveled* (under the sea) by the nautilus in the eponymous tale 2026-03-29T16:41:10Z https://nostr.ae/nevent1qqsfv0l2jdw5qjhk59mqhmzdg4th5ff6zz4k2fd7qg9a0wfftjex2eszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gdz3m2l current progress on becoming [@justinefrank](<a href="https://types.pl/@justinefrank">https://types.pl/@justinefrank</a> )<br/><video controls width="100%" class="max-h-[90vh] bg-neutral-300 dark:bg-zinc-700"><source src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/116/273/446/255/652/479/original/5635e02e5ed5ddcb.mp4"></video><br/> 2026-03-22T15:10:33Z https://nostr.ae/nevent1qqsw4utsaudfsrwz35nt2h9088yan6gy858kws73x8ehvc2pdnhegvgzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g6d0qws thank you for making this <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1jxf7pzy53pjcqsvzyglscnjamewcru5zcg9chp8jec30p4977s9qmp0dxv" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>jcreed</span> (<span class="italic">npub1jxf…0dxv</span>)</a></span><br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/116/021/023/581/481/598/original/86bed2e6b3c45ca8.png"> <br/> 2026-02-06T01:13:48Z https://nostr.ae/nevent1qqs0kkaaxzl2dxprm8mtevwwnmgs50nk8qzze4qrxnz9n88e7rrne5szyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g4yynjt believe it or not this is two cats<br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/115/851/871/665/760/811/original/a54c03f0ce3f4236.jpeg"> <br/> 2026-01-07T04:16:35Z https://nostr.ae/nevent1qqsqgppzemdn4wt27elhprwfhzujufm75h2dsuq6qyaa0th8v9g3e3qzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g00ecw2 In reply to <a href='/nevent1qqsfm9gskpjcy6xr55flzks8hgrpzd7hacx7kzes6yn50q87h2njzpcmdw046'>nevent1q…w046</a><br/>_________________________<br/><br/>what are examples of items you are usually happy to receive for free? 2025-12-31T18:16:49Z https://nostr.ae/nevent1qqsfm9gskpjcy6xr55flzks8hgrpzd7hacx7kzes6yn50q87h2njzpczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g8kggka thinking about a spectrum defined by the endpoints “corporate conference swag” and “party favors.” i like the concept of making copies of items with esoteric symbols and giving them to people. i don’t like the concept of proliferating poorly made stuff that will end up in the trash or cluttering a drawer 2025-12-31T18:15:25Z https://nostr.ae/nevent1qqszqmxymctpfx5nvt47sl75v0a6w4a0pg9k72rtnujs3qd5pm23leczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gusqgyp somewhere a crow who studies human behavior is patiently explaining to their colleagues that actually humans are somewhat sophisticated primates who even seem to understand language to the level of a young hatchling, not just imitating sounds but even using them in appropriate contexts 2025-12-29T22:24:43Z https://nostr.ae/nevent1qqstg0yy4cnumjq36x46vkx9s9qsle54wc8cjkx4y79ucjh7pnzwr8szyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gkav43e i know this is a weird thing to say as a PL researcher, but i kind of like designing programming languages 2025-12-04T13:43:23Z https://nostr.ae/nevent1qqsg3p8uhgfeazkkgz84sd5jf0jnfkrzemv695756zyfh8c4lwq5qwgzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g9jazgw which of the following have you walked across? (this is supposed to be a multiple choice poll, hopefully it works) 2025-11-30T01:05:18Z https://nostr.ae/nevent1qqsr00ll777zdmwjv38sqdn3caae7q8ujgzz9p5pc9lsyhvc5cxt93qzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g8jp2cv how on earth does someone make a podcast interviewing almost 60 people in programming language research in the last five years and only talk to 1-2 women 2025-11-27T02:09:19Z https://nostr.ae/nevent1qqs8cz7v7j0pq9qxahjrhnqfp2lgquhst9f6240046llejmfdn836rszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gf824px tuple 2025-11-18T00:07:55Z https://nostr.ae/nevent1qqsfscevgxd2kdl7ku8md6l5xdrx7fzyvjdfrme0qa9fs0xah88c44szyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gnqpzhy a generation of people enjoying the prosocial power of the internet before the age of slop: lets put all this cool stuff online for free! :)<br/><br/>emboldened capitalists in the 2010s-20s: wow look at all the stuff these suckers put online for free. I wonder what’s the worst possible thing we could do with it 2025-11-16T13:30:25Z https://nostr.ae/nevent1qqsz733rz8uwr2ewcm3fee0p3seuzy432zqs7ar5ay0m2thtwgsp6vqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gp6u6cm In reply to <a href='/nevent1qqs8jn083urjcd9ttphvxyyra4qvewcr0xf0pr639kwx65ssg87k69gdlxf08'>nevent1q…xf08</a><br/>_________________________<br/><br/>(I just deleted a toot that made no sense because I made an incorrect assumption about the argument in the video without watching it, whoops.)<br/><br/>I recently spent some time hearing Chris Barker, a famous enough linguist to have a Wikipedia page, try to convince PL people that natural language and PLs are “the same thing”, which I didn’t fully buy, but he had good takes on a lot of the topics in your thread 2025-11-01T18:18:07Z https://nostr.ae/nevent1qqsd2pa976v570fftwkq2vzkcf9u3tcfh0ent950hnruv2qhskq0jegzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gv82zrc Boston MFA restores ownership of and repurchases historic ceramic pieces created by enslaved artist David Drake to his known descendants: <a href="https://www.mfa.org/press-release/david-drake-ownership-resolution">https://www.mfa.org/press-release/david-drake-ownership-resolution</a><br/><br/>i find this both important and uplifting from within a milieu of seeing artist labor/agency, racial justice, and historical preservation discarded everywhere i look 2025-10-30T12:43:46Z https://nostr.ae/nevent1qqsptvuj56qyluwhp407gz2373dt3fjvasvuff0hl8vxujjl8n0rx9gzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gx35vye when writing about mathematically esoteric concepts for workaday programmers interested in better understanding foundations of computing, there’s a tricky line to walk between “telling convenient but dangerous lies” and “failing to meet your audience where they’re starting from.”<br/><br/>do you have examples of material (blog posts, course notes, video, toot threads, etc) that you think does a good job at this? let’s give some positive attention to people doing the work. self promotion encouraged! 2025-10-21T16:22:02Z https://nostr.ae/nevent1qqsrqvpa9azphvehyu6c5ncz238z03ku089fqrltpmxy0s8j9gtal4gzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gzy33ym In reply to <a href='/nevent1qqswkntr0746l052x2g2xp66jkfvadq057ph35ghul5tuxy0w2jwqaq23zwvu'>nevent1q…zwvu</a><br/>_________________________<br/><br/>if there were, hypothetically, a small website listing some logic/types-interested french faculty who are open to hosting a student (maybe with some metadata like research interests and websites), i’d be happy to circulate it to get seen by more people. but i also understand if that’s not necessarily desired :) 2025-10-17T21:24:26Z https://nostr.ae/nevent1qqswkntr0746l052x2g2xp66jkfvadq057ph35ghul5tuxy0w2jwqaqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06ghz003z In reply to <a href='/nevent1qqsttjpkq28z4q7rgfmza3pe77m46njup446lcaezf7w4hfsuuud8ygfluu9g'>nevent1q…uu9g</a><br/>_________________________<br/><br/>that makes sense. i guess the coordination mostly takes place by word of mouth between french and usian faculty colleagues then? (that would be similar to what i did in grad school when i worked with dale and kaustuv at palaiseau for a summer.) 2025-10-17T21:20:36Z https://nostr.ae/nevent1qqs95qxmgrr6zzjm2cmjjspyqe03q9f3ra807v8269ypmldl5tq3ljczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gheyen6 In reply to <a href='/nevent1qqsr2lgg6uh6w6fe48e3chdvekehf0ecca5c4nc3unu2cdc9g9wg9ts4xaytp'>nevent1q…aytp</a><br/>_________________________<br/><br/>do you know more about how this works? Does a student get matched with a particular mentor or program, or is there a way for them to identify someone in advance that they want to work with? 2025-10-17T19:37:54Z https://nostr.ae/nevent1qqs83s35gzj7ynhm2f7wnvaeersz6wp66p257p229j5f78lv8fsg7rszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gm2dceq went to a #bostodon meetup organized by <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub16z4gx94nerkcwcyzc28cx90gdf28uvl6azn67qt0e0smf3s9829sknf7c7" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>rednikki</span> (<span class="italic">npub16z4…f7c7</span>)</a></span> . the tiny people in my phone exist in real life apparently?! 2025-09-20T00:39:38Z https://nostr.ae/nevent1qqsztw4rtuyypndg4zwcrz2lxvnzr0w552mr0q44xqc2vqv4mu7jqjszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gdf5tv7 pagemelt made a 3 minute explainer on RSS feeds, perhaps to share with the three minute video enjoying people in your life who are curious about alternatives to algorithmic media feeds <a href="https://youtube.com/shorts/Q8iLKjO0Z1A?si=8rchRwuWZRmBL6Pr">https://youtube.com/shorts/Q8iLKjO0Z1A?si=8rchRwuWZRmBL6Pr</a> 2025-09-19T12:31:22Z https://nostr.ae/nevent1qqspxg2zkkwf0prfqf036qtqws5nuq43luf2v4sz6t9ex73q9ffktmqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g5tcuhz self mollifying code 2025-09-03T12:38:07Z https://nostr.ae/nevent1qqsff2xuw22enud9hqxn8z2qsfld0y0u0rtlhced4y0cfe5242n88xszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gsddy56 In reply to <a href='/nevent1qqsg9ppmfa23quajnawffmdy2qzsmpl52qy4mq38jslxm4c5t4x6esstxuvzu'>nevent1q…uvzu</a><br/>_________________________<br/><br/>idk it feels suburban to me! i am no expert though 2025-08-31T18:21:39Z https://nostr.ae/nevent1qqsyheaejxx7g2j4hu5x8wy6c98ahguhwl9rqsm394gw9favc00fdyqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g4czfwg i’m at a suburban shopping centre doing some top rope climbing and just noticed there’s a conveyor belt sushi place… so 90s….. 2025-08-31T17:26:40Z https://nostr.ae/nevent1qqs20r53awkwvl6nzzen0760cjpugdlr3w77a5g9qdxww9kyfgmpuzqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gvr205s In reply to <a href='/nevent1qqs06es2rcgtmls2yy5m77z3mdy5t5esn40sj346fwrurcvd6xt4fns22xjal'>nevent1q…xjal</a><br/>_________________________<br/><br/>it’s ALMOST over the garden wall season but NOT YET 2025-08-30T01:18:06Z https://nostr.ae/nevent1qqs06es2rcgtmls2yy5m77z3mdy5t5esn40sj346fwrurcvd6xt4fnszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g70jm8l In reply to <a href='/nevent1qqsqt8c4xd9v0ahrttdymr7vhndwqz8zqh36twdme5c948yel2g7x2sgt65gd'>nevent1q…65gd</a><br/>_________________________<br/><br/>need not be anything released recently 2025-08-30T01:16:07Z https://nostr.ae/nevent1qqsqt8c4xd9v0ahrttdymr7vhndwqz8zqh36twdme5c948yel2g7x2szyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gxhjr5v what’s a good movie/game/book/show you’ve [appropriate verb]ed lately 2025-08-30T01:15:42Z https://nostr.ae/nevent1qqs0xdvx46vw47y2re0ek3g2epdy0h7hrrtcs6s3dgqdve7mqalmnfczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gvdal00 In reply to <a href='/nevent1qqsxhcwuu3xrpdezm779p0rt8ncgzky0g8aczuaxakkfs2cadgy3p8g292dy7'>nevent1q…2dy7</a><br/>_________________________<br/><br/>(2/2) but of course lots of good ideas about language design have been realized in the meantime and its age means it doesn’t benefit from those. i’m open to being persuaded that something else is more suitable to my goals, which are: 1. rapid prototyping of small, easy-to-understand reference implementations and 2. eventual adaptation of prototypes into performant implementations. 2025-08-27T15:01:32Z https://nostr.ae/nevent1qqsxhcwuu3xrpdezm779p0rt8ncgzky0g8aczuaxakkfs2cadgy3p8gzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g0458dt does anyone want to talk me out of using Standard ML for a (functional) language implementation project? i favor it for a) stability (hasn’t changed in a long time and shows no signs of changing soon), b) easy (for me) to use, has standard nice typed FP features like pattern matching &amp; inductive definitions, no complicated package manager/build tool story; c) performance: easy to reason about memory usage; performant compilers exist. 1/(2?) 2025-08-27T14:56:42Z https://nostr.ae/nevent1qqsdc8pzv0r8xn62dyyd7qvcfg4adyu0h6ct8dxf36awq8udl28lp3gzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gd2pyr8 some youtube thinkpiece i watched weeks ago made this observation: the imagery of lofi girl lets us imagine being at peace and focused while working, to remember that productivity isn’t inherently antagonistic, hurried, exhausting, despite what many of us experience day to day 2025-08-25T00:38:52Z https://nostr.ae/nevent1qqsrx8ssqkk5kxp8yre45dexzprv9jm4yg2ev650ztedj2azlkgzzdszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06grakkl4 how come cats get to sit in chairs all day and no one tells *them* it’s wrecking their bodies 2025-08-22T13:03:51Z https://nostr.ae/nevent1qqsdvqdgslvmezc23h27prf6n5qlh0t0dm70h9jt8vdy0l8rzztka3gzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gtuh975 phd advisors: have any of you made reading lists of papers you want all your students to be familiar with? or maybe you build these for individual new students? does your group have a “canon”? 2025-08-15T16:38:41Z https://nostr.ae/nevent1qqsxqrk89nru4mavl6ucpjupl7f9kmstac3n62khqua8wq40ggrp0ngzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gxpvek8 In reply to <a href='/nevent1qqs8hta9mj9jxdv2h7aytwslcrdx577sve0rqzgruxncru0rre4qx4q0qnz7a'>nevent1q…nz7a</a><br/>_________________________<br/><br/>i went to my local one and there were like 200 people… very cool but intimidating when it comes to introducing myself. Need to go a few more times to start recognizing regulars :) 2025-08-12T02:07:39Z https://nostr.ae/nevent1qqs2kzkktgknfd0chcdgse9xqutnqqxywkc05g5qslsw5w3mxvhhfeqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gdt009y it’s common to wonder how to make friends as an adult in the area where you live, but i’m curious about flipping this on it’s head: how and where would someone find *you* in a disposition open to making a friend? in what situations do you welcome an introduction to a stranger? 2025-08-11T22:07:20Z https://nostr.ae/nevent1qqst9hw2ujkmhgwyxqrt4f0awt4mneu37h6vmqk00d5jq6tz99tvvjczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g89z7f4 i’m participating in a local bouldering comp tomorrow, my first! wish me good climbing! 2025-08-08T22:57:47Z https://nostr.ae/nevent1qqsg6pmjglx0fr42r8pwswnj4tqrdadv5l32jj36mxncpvcdfh6gzpszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gwgnxjz In reply to <a href='/nevent1qqsps7tksu7hyv3lxtrx9a68gzn4m4re0sf83fhy0w76t9dmmq5dphcd4whhz'>nevent1q…whhz</a><br/>_________________________<br/><br/>huh, my preferences are opposite to the majority in both cases. it’s weird how other brains are not my brain 2025-08-08T17:28:57Z https://nostr.ae/nevent1qqstfkvv0sf4ffm6p4vr9men87yqew8c3j7m7yu64yf005yyrmf47yqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gc2jc2z apparently USA Climbing banned trans women from competing last month to comply with executive transphobia. this article does a good job covering it:<br/><br/><a href="https://www.climbing.com/news/usa-climbing-bans-trans-women/">https://www.climbing.com/news/usa-climbing-bans-trans-women/</a> 2025-08-08T01:41:28Z https://nostr.ae/nevent1qqs06q48lj4phwsdfax84a23fc9hftewuam88smdsdr483frvdfmklczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g38p5w2 In reply to <a href='/nevent1qqs24x6f43t2um4rf05hrnymz5t0cxhdqvq54tyxvd9sjv55jvhhypc7ldyrm'>nevent1q…dyrm</a><br/>_________________________<br/><br/>have any of you (#adhd pals?) hired a personal admin to help with things like deadlines and bookings and phone calls? or tried and found it more trouble than it’s worth? or have any recommendations for where to look? (maybe someone on here wants to get hired for this kind of thing???) 2025-08-07T15:24:25Z https://nostr.ae/nevent1qqs24x6f43t2um4rf05hrnymz5t0cxhdqvq54tyxvd9sjv55jvhhypczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g3pyy5x In reply to <a href='/nevent1qqsyq3razet4wqrdp9rf6qxjxez5yelp9wgjq7kq96h0n72fenn98xq3etpq3'>nevent1q…tpq3</a><br/>_________________________<br/><br/>i remember on at least some occasions university staff offering this service (i think even when i was a grad student i had access to this service??) but afaik it is not a thing here. I mean also faculty used to be assigned individual “admin assistants” so a lot has changed 2025-08-07T15:21:10Z https://nostr.ae/nevent1qqsyq3razet4wqrdp9rf6qxjxez5yelp9wgjq7kq96h0n72fenn98xqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g728gaf I understand why some people don’t like them but i really wish i had a travel agent to help me manage academic travel 2025-08-07T15:17:49Z https://nostr.ae/nevent1qqsps7tksu7hyv3lxtrx9a68gzn4m4re0sf83fhy0w76t9dmmq5dphczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gc4fe3j In reply to <a href='/nevent1qqsf3v5afar8lyymy7ulufza56rysqdhd4ylssgundpxt4rpcn32j9ctsmvtm'>nevent1q…mvtm</a><br/>_________________________<br/><br/>okay what about 2025-08-07T01:40:59Z https://nostr.ae/nevent1qqsf3v5afar8lyymy7ulufza56rysqdhd4ylssgundpxt4rpcn32j9czyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gt75njz ? 2025-08-06T01:36:43Z https://nostr.ae/nevent1qqs0utlsvtrx9avjuvzj99hpwaz3vsm0shshlv0cy8z23qfqrx57j4gzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g7lzz55 In reply to <a href='/nevent1qqsyewwu82zf7leunutkpc2yjdr0g8kaqldxctdudxu8a5f3aypgdxgmt6na9'>nevent1q…6na9</a><br/>_________________________<br/><br/>there are a lot of examples in a book I have that I will try to take some pictures of next time i’m near it. but it’s a declarative graph structure rather than sequential blocks of instructions. I wanna compile from one to the other (or both directions even???) 2025-08-04T17:39:00Z https://nostr.ae/nevent1qqsyewwu82zf7leunutkpc2yjdr0g8kaqldxctdudxu8a5f3aypgdxgzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g9zj0tr In reply to <a href='/nevent1qqsv8msm7f0aefztjgwxufxx06ndq8zllc4qwzf8m599wwh95twtx6czsjkss'>nevent1q…jkss</a><br/>_________________________<br/><br/>btw my favorite notation for crochet is (maybe a variation on) stitch maps: <a href="https://stitch-maps.com/">https://stitch-maps.com/</a> 2025-08-04T17:37:44Z https://nostr.ae/nevent1qqswxspm0y0hlscuw8ypdsut6mgdauqqeatxcxzrrxz78d4ceqn4lmqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gd89uzx In reply to <a href='/nevent1qqsys8v380s9qppkk2d73alpwdfp7hxfdss2tvjrgv5054ddwmg9seg7mw4ya'>nevent1q…w4ya</a><br/>_________________________<br/><br/>yeah that’s fair, often yarn that looks pretty feels bad and it’s hard to tell that from a picture 2025-08-04T17:37:16Z https://nostr.ae/nevent1qqs08gd3tcc570nzzmxlnyqerjf58nsnc4fwp0guzcw349qt8cnaz9qzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gmpayn0 In reply to <a href='/nevent1qqsrnqhq92d093y2r33vjchk3ucn2wulqdj0nsjxyvpdgefjt8ad84gu2u72g'>nevent1q…u72g</a><br/>_________________________<br/><br/>what kind of yarn is this? I like it! 2025-08-04T17:33:24Z https://nostr.ae/nevent1qqszqw7055t85a2t6543n0whrxq7dsxt23hm3n49a086as2g2hxapxczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gjeflrv In reply to <a href='/nevent1qqstvse39xy3we0mvvcyfjsmk7ljpmk24hryk9j9vsxe9gt6c9z306cpxsylt'>nevent1q…sylt</a><br/>_________________________<br/><br/>what funky threading combinators? I don’t think I’ve come across these 2025-08-04T17:28:05Z https://nostr.ae/nevent1qqs0h65h6zeyywrahnuva5xzec7dlu2r6jrgumxuhyfwz09r48sme0gzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gy6gnhl In reply to <a href='/nevent1qqsy82wzu8vq3ffsu6u0mnmwcuhg24hgcnn7cm4hdktcp4z7s2tn9kcx5htch'>nevent1q…htch</a><br/>_________________________<br/><br/>wouldn’t single crochet be push, yo, pull, yo, pull 2?<br/>the thing you describe here sounds like what i learned as a slip stitch (and what you were describing as slip stitch earlier sounded like there was an implied extra chain or something, I didn’t quite follow) 2025-08-04T17:26:33Z https://nostr.ae/nevent1qqspv969f86d4dc60dm3cfdvnkdyml3zk3gd4t0nc2pv9e8wnxrwkyqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gtju6rk In reply to <a href='/nevent1qqs80lm45tmuvcdtmverzjur2xuwd6fdeprkz3yj4dsra4sqxvqc0zqj0q35k'>nevent1q…q35k</a><br/>_________________________<br/><br/>i’ve historically avoided getting interested in the lower level aspects of computing because i’m allergic to constraints that feel arbitrary, but more and more lately i’m appreciating how the PL ideas often seen as “maximally theoretical” have surprising and deep connections to low level, resource-minimal execution models 2025-07-29T16:04:44Z https://nostr.ae/nevent1qqs80lm45tmuvcdtmverzjur2xuwd6fdeprkz3yj4dsra4sqxvqc0zqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g3rdzvm In reply to <a href='/nevent1qqsvwg67p6zqywn8fuu9dpn529tsgdv6r0zpd6nclmr7jh8r220242cr7dq2d'>nevent1q…dq2d</a><br/>_________________________<br/><br/>rob suggested that for multiset rewriting (over finitely many pattern elements) you could do something like a coin sorter, filtering by size/shape mechanically. it occurred to me this is even closer to the “vector addition systems” style of rewrite rule representation 2025-07-29T15:39:10Z https://nostr.ae/nevent1qqsy78j0dxuw2sde0mk9kjc0sm5rhk2pdup90dmr702p5d7c9jmwhrqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gxyjzgx In reply to <a href='/nevent1qqs020pr3tl58ayjvcnzpwqjwyxt7weqdfnruwtsuzzyxd42p9vuelguntjqd'>nevent1q…tjqd</a><br/>_________________________<br/><br/>hmm this book about CAPPs linked in the references seems relevant to my interests<br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/937/240/015/999/278/original/5bd6d4ace657630e.png"> <br/> 2025-07-29T15:31:55Z https://nostr.ae/nevent1qqs020pr3tl58ayjvcnzpwqjwyxt7weqdfnruwtsuzzyxd42p9vuelgzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gzvc3s8 In reply to <a href='/nevent1qqs2dz0c76ejqqvawysuj0vxjh7ucmulz6mh4yzdx80f3kgwzhld0cgw9nrat'>nevent1q…nrat</a><br/>_________________________<br/><br/>is there more to be read about STARAN? like info about its instruction set? 2025-07-29T15:28:25Z https://nostr.ae/nevent1qqs2dz0c76ejqqvawysuj0vxjh7ucmulz6mh4yzdx80f3kgwzhld0cgzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g6pygnu In reply to <a href='/nevent1qqswpsyn5rz6ajgu2g5m46txlwfc824m5q37wwz2hpjczt2mafyylmcptywj7'>nevent1q…ywj7</a><br/>_________________________<br/><br/>ooh 2025-07-29T15:24:14Z https://nostr.ae/nevent1qqsvwg67p6zqywn8fuu9dpn529tsgdv6r0zpd6nclmr7jh8r220242czyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g5ke409 In reply to <a href='/nevent1qqsw0qp9kaxnnfgq5uax24ehk0hgqan57x5yxamajwcwz6lrlt4ullscr5ax5'>nevent1q…5ax5</a><br/>_________________________<br/><br/>there’s an orthogonal line of thought here about using rewrites as a bytecode ISA implemented efficiently on top of standard architectures, which i also think is both possible and exciting.<br/><br/>but this question is more for fun, like if you wanted to build a fantasy physical computer where pattern rewrites were your fundamental operation, how would you do it, and how expressive could you make those fundamental operations before wanting to compile them instead 2025-07-29T15:21:22Z https://nostr.ae/nevent1qqsw0qp9kaxnnfgq5uax24ehk0hgqan57x5yxamajwcwz6lrlt4ullszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gxrvt0e spatial rewrite rules, eg:<br/><br/>pacman · dot · empty <br/>↠<br/>empty · empty · pacman <br/><br/>are pretty easy for most sighted humans to run by hand, because we are good at visual pattern matching and replacement. <br/><br/>you can also do general computation this way (think Turing tapes or cellular automata).<br/><br/>digital computers use bits because electricity is better at telling two things apart than many. but what about keys in locks, or loom heddles.. could a machine architecture support pattern rewrites “natively”? 2025-07-29T15:15:28Z https://nostr.ae/nevent1qqsfy3m8ms9yfp8988xzg7yldtjd5wsv9eurep8kg4pqns62d64tr3czyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gx8dehg In reply to <a href='/nevent1qqstylc9pqkv3wev6gp9fwqzl26nx77w6qwve7wna2qevgy32pft6qgv46tzn'>nevent1q…6tzn</a><br/>_________________________<br/><br/>the eduroman empire 2025-07-22T21:36:49Z https://nostr.ae/nevent1qqstylc9pqkv3wev6gp9fwqzl26nx77w6qwve7wna2qevgy32pft6qgzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06glrx5td edurome 2025-07-22T21:36:23Z https://nostr.ae/nevent1qqsx8tqcdyeunpdzp6m5xd26k90g9ngu2carscc0stjawxjxphj8kdqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gj24gvz In reply to <a href='/nevent1qqspke66pecv7eppqupqfshw255wmy4dxtcync8a8a2ya6jlryfsyfcc30rph'>nevent1q…0rph</a><br/>_________________________<br/><br/>it has some obvious things in common with scatting but it seems culturally distant enough not to be directly drawing from that as inspiration. maybe indirectly through rap somehow? 2025-07-18T01:54:45Z https://nostr.ae/nevent1qqspke66pecv7eppqupqfshw255wmy4dxtcync8a8a2ya6jlryfsyfczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gvyg64p is there a word for the thing white male numetal vocalists did a lot in the early 00s like <br/>ooh ah ah ah ah (disturbed)<br/>da bummm da da mm da na ee ma (korn)<br/><br/>was this present in earlier incarnations of metal? I gather there have always been guttural noises/primal screams and whatnot, is there a whole vocabulary of these?<br/><br/>it’s easy to make fun of but clearly also a skill? my mouth cannot make those sounds. 2025-07-18T01:52:03Z https://nostr.ae/nevent1qqstm8rnep9gjcl8z94m65pvjxxpan6pf2pnra8f8e0vf23phr033hszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g0vy3t6 In reply to <a href='/nevent1qqsd52g4v0fes9f9ucgy4gplpg2f74pcfx6ceg4mcramy97agkxumuq6m5nxu'>nevent1q…5nxu</a><br/>_________________________<br/><br/>this is absolutely a fair point. 2025-07-18T00:55:01Z https://nostr.ae/nevent1qqsrlpju0qu5gq2dnt8kfrar3x3p0rlj4lv40wz6mytfzxfadj0nhlgzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gvt5eak In reply to <a href='/nevent1qqs0stjnk9l9l56qj2tkgurnfe86pr9lgwn8kmek302fvdp0lp97jlc7lsexe'>nevent1q…sexe</a><br/>_________________________<br/><br/>beyond just the education context… there really is a kind of abuser logic to these products. the goal is to isolate you from social support. I think this is probably a really important thing to pay attention to and raise alarms about; I feel like i have not seen enough discussion of it by comparison with other issues (like not working/being wrong) 2025-07-17T22:40:16Z https://nostr.ae/nevent1qqs0stjnk9l9l56qj2tkgurnfe86pr9lgwn8kmek302fvdp0lp97jlczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06grd3d6x i’ve taught students who are new to programming who try to justify their use of LLM code tools with self deprecation — “i’m bad at this”, “there’s no way i could ever figure it out on my own.” i wish i knew how to get through that the actual value your college tuition pays for is access to live human beings whose job it is to give you the kind of help you’re seeking from the LLM. that those human relationships are what give life meaning &amp; there are so precious few opportunities to create them 2025-07-17T22:28:46Z https://nostr.ae/nevent1qqs0rntsd7vd0lpjgsddvynmj39vy3k2nhz39kasj33xej9d25w52kgzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g9dz5c7 so where are people looking for reliable covid guidance/reporting these days 2025-07-14T02:25:01Z https://nostr.ae/nevent1qqsv2uee0tcexekx6jrct8s9sxgl2jvxm6cgcfd94leta7xtzrjy6lgzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gz80y8g In reply to <a href='/nevent1qqsrz6xvkxsamu4gawwrvrgmtj8lpkg0s907sj0kjwv80g8tqwftz6qh0waxm'>nevent1q…waxm</a><br/>_________________________<br/><br/>i mean just in my neighborhood I know of places to take circus classes, kickboxing, yoga, various martial arts… (actually there’s not a climbing gym and i’m mad about it lol) but a lot of the posts on my neighborhood subreddit are “what gym should i join” and idk if that’s because they actually prefer weightlifting or just assume that’s what one does by default 2025-07-07T03:10:23Z https://nostr.ae/nevent1qqsqha7jgmne0rer9vllw0yfnef0x2vpa2wsgv8szytccat3c69cwyszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06ge7nj3v In reply to <a href='/nevent1qqsddu96z2s83vhv83dy79l26e28mvgqrtrm5f08nuf6djz2t6vcp6cnkg9tq'>nevent1q…g9tq</a><br/>_________________________<br/><br/>neither! I’ve tried it, it’s fun, i’d do it more often if I didn’t have other movement options in my life that I prefer. just wondering how and why it became such a ubiquitous default 2025-07-07T02:59:10Z https://nostr.ae/nevent1qqsx495u8rh4gfmq2edpy9n68597yqyueaw4zgr60zsmfp2s2t0cfegzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06guqjf8k In reply to <a href='/nevent1qqs8g2kg9kup3t38pqxnf4r2tgdja6pxsyswk4uts8smmhra0f49euscy9rau'>nevent1q…9rau</a><br/>_________________________<br/><br/>i have been in physical therapy enough times that i have a pretty good sense for what tends to get under/overutilized in my typical movement patterns and have developed some habits to counterbalance those. but my main form of movement has to be something that i truly enjoy for it to be sustainable and there’s something so transactional about weightlifting that just sucks all the joy out of it. maybe it all comes down to how much i hate counting 2025-07-07T02:51:32Z https://nostr.ae/nevent1qqs8g2kg9kup3t38pqxnf4r2tgdja6pxsyswk4uts8smmhra0f49euszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gf97qz5 In reply to <a href='/nevent1qqs0fgk9sxnzj995shxc25jl30srac99vx9scqcgay2q54h0ggnwe3gt0k6ph'>nevent1q…k6ph</a><br/>_________________________<br/><br/>ok yeah i buy that one thing weightlifting (and common gym machines) are pretty good for is simulating common functional movements like picking things up, pulling, pushing. it makes sense to have somewhere you can practice a well rounded set of those movements and work on ones you want to improve at 2025-07-07T02:42:32Z https://nostr.ae/nevent1qqs0fgk9sxnzj995shxc25jl30srac99vx9scqcgay2q54h0ggnwe3gzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gqfk4h0 In reply to <a href='/nevent1qqswdws2u9y4hdn4y5khdtu6dzhpf46p9qyk2ncuuqqu5trhfn9wndc9l7ka8'>nevent1q…7ka8</a><br/>_________________________<br/><br/>sometimes people will describe climbing and circus arts as “fun alternatives to the gym” but like ?? why is everyone going to the (weightlifting) gym if that’s not the kind of movement they favor? 2025-07-06T23:19:07Z https://nostr.ae/nevent1qqswdws2u9y4hdn4y5khdtu6dzhpf46p9qyk2ncuuqqu5trhfn9wndczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g8pcv2j trying to understand a chicken and egg thing. are most gyms “weightlifting gyms” because weightlifting is the main sport people want to do when they decide to try to get fit? or the other way around? and in either case, why? 2025-07-06T23:16:07Z https://nostr.ae/nevent1qqstkdvgy7j0fj7u4jqn2a8vtjjdspv6c2tjl4q9pfeyaeurryaqfygzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gw54xsa i was not expecting the number of people in shriram’s replies trying to name languages more obscure than ocaml 💀 <a href="https://mastodon.social/@shriramk/114772343142354933">https://mastodon.social/@shriramk/114772343142354933</a> 2025-06-30T18:44:18Z https://nostr.ae/nevent1qqs2u4htalnmwm9gdgnp708g0skvwj7f6rw6t2qnmmuvkhtv7rwmz3szyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g8etesk In reply to <a href='/nevent1qqsqfsfmqmn79n6xd2kc9ka9mp8akc3rrd9pcfl8sjp429jzkp66vggxp8mhj'>nevent1q…8mhj</a><br/>_________________________<br/><br/>ok<br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/709/690/449/716/305/original/a5502bf2e07dbfb2.jpeg"> <br/> 2025-06-19T11:04:12Z https://nostr.ae/nevent1qqsqfsfmqmn79n6xd2kc9ka9mp8akc3rrd9pcfl8sjp429jzkp66vggzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gx8hstw In reply to <a href='/nevent1qqs0la5rg39rdmjg98zlwnw9t5s9tc62te9vz70n0t94ve2dyyf0myss4wv9a'>nevent1q…wv9a</a><br/>_________________________<br/><br/>tripped and fell into phil wadler’s retirement party 2025-06-18T11:53:40Z https://nostr.ae/nevent1qqs0la5rg39rdmjg98zlwnw9t5s9tc62te9vz70n0t94ve2dyyf0myszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g3rt2q8 In reply to <a href='/nevent1qqs8fq4gwax6qf3lnxx763wlak8vd45z395qz83cm885a7dysensracdn8vt0'>nevent1q…8vt0</a><br/>_________________________<br/><br/>love to see it<br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/698/019/919/986/698/original/ed3c8f2bff1e29d4.jpeg"> <br/> 2025-06-17T09:35:48Z https://nostr.ae/nevent1qqs8fq4gwax6qf3lnxx763wlak8vd45z395qz83cm885a7dysensraczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gxdjm0s In reply to <a href='/nevent1qqsq3q86zqjmcwexj69yalwt628y0p5k202vcsxzcp7sy5ycslufuqgfq2apx'>nevent1q…2apx</a><br/>_________________________<br/><br/>i appreciate that what we stateside rubes might call “mixed berries” is here known as “fruit of the forest”. probably not much more botanically accurate but much more evocative of being at a feast in a Redwall novel 2025-06-17T07:33:49Z https://nostr.ae/nevent1qqsq3q86zqjmcwexj69yalwt628y0p5k202vcsxzcp7sy5ycslufuqgzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gtkucs9 In reply to <a href='/nevent1qqsg736xz6glsfkslwc7a8np7k8gfmv60dhyflzaahgdccxysjvugjshdv3y7'>nevent1q…v3y7</a><br/>_________________________<br/><br/>I went to the castle and it was alright. ate cake in the tea room. got stuck in tourist hell for a little longer than is good for the soul. came back down and saw that “cinema in the park” was playing Twisters, which i stayed to watch to the end<br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/688/985/945/385/355/original/d0d481e19908bdfe.jpeg"> <br/> 2025-06-15T19:21:32Z https://nostr.ae/nevent1qqsg736xz6glsfkslwc7a8np7k8gfmv60dhyflzaahgdccxysjvugjszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gedwdt6 In reply to <a href='/nevent1qqs9httljh8zsp2f0gdganey9phm8hcsyuae0mvecqpzn8e9cnyszuqpj9egd'>nevent1q…9egd</a><br/>_________________________<br/><br/>wow they really just made the country&#39;s motto &#34;don&#39;t fuck with me&#34; <a href="https://en.wikipedia.org/wiki/Nemo_me_impune_lacessit">https://en.wikipedia.org/wiki/Nemo_me_impune_lacessit</a> 2025-06-15T19:03:37Z https://nostr.ae/nevent1qqs9httljh8zsp2f0gdganey9phm8hcsyuae0mvecqpzn8e9cnyszuqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gk63y9j In reply to <a href='/nevent1qqsgrdcfg20sl3dpqglc80pcyguqprswrmpsh2hs5tjqxanrvzxrers72s0ln'>nevent1q…s0ln</a><br/>_________________________<br/><br/>conversation with my mother<br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/683/443/010/143/228/original/208470c2bfb71fd2.jpeg"> <br/> 2025-06-14T19:48:28Z https://nostr.ae/nevent1qqsgrdcfg20sl3dpqglc80pcyguqprswrmpsh2hs5tjqxanrvzxrerszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g3g36pc In reply to <a href='/nevent1qqsp2rujk2n4hcm4v7artsnnazez3u2qng3eqtadqc5h805h9ghnsvsqfstt9'>nevent1q…stt9</a><br/>_________________________<br/><br/>anyway i’m in edinburgh now.<br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/683/401/532/901/168/original/c8d23b75855ba385.jpeg"> <br/> 2025-06-14T19:37:24Z https://nostr.ae/nevent1qqsp2rujk2n4hcm4v7artsnnazez3u2qng3eqtadqc5h805h9ghnsvszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06ghh3nup In reply to <a href='/nevent1qqsrj0j2hfvmrpwevg34ydpxmqqpuzlmcg84dh40qqfx9tzucfsshyq5p4vvv'>nevent1q…4vvv</a><br/>_________________________<br/><br/>surprised no one has commented on “app only” yet 2025-06-14T19:33:45Z https://nostr.ae/nevent1qqsrj0j2hfvmrpwevg34ydpxmqqpuzlmcg84dh40qqfx9tzucfsshyqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gt6dlv4 In reply to <a href='/nevent1qqs2gtmmhnek4ztta65waqp5yu63eqqyrnd5r4mnjyl5lfj6dmrcw5gdgdapm'>nevent1q…dapm</a><br/>_________________________<br/><br/>sorry what<br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/682/193/485/941/055/original/d3bfd138ed63a7bc.jpeg"> <br/> 2025-06-14T14:30:26Z https://nostr.ae/nevent1qqs2gtmmhnek4ztta65waqp5yu63eqqyrnd5r4mnjyl5lfj6dmrcw5gzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g9qnspg In reply to <a href='/nevent1qqspu4m0kwwjexyy9nw2mq0l8dzkec5v5eutet836kgwv9s5khffhvq7y0utg'>nevent1q…0utg</a><br/>_________________________<br/><br/>cullen skink &gt; boston clam chowder 2025-06-14T14:17:48Z https://nostr.ae/nevent1qqspu4m0kwwjexyy9nw2mq0l8dzkec5v5eutet836kgwv9s5khffhvqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gkfxqq6 In reply to <a href='/nevent1qqs8ztqrd4ke0s47hthmfkg8mkcgd74945n4f4c5wejugymjcjxlhqqtgjrzr'>nevent1q…jrzr</a><br/>_________________________<br/><br/>“what’s on the glasgow salad?”<br/>“it’s just chips” lmao eat your heart out pittsburgh 2025-06-14T13:51:15Z https://nostr.ae/nevent1qqs8ztqrd4ke0s47hthmfkg8mkcgd74945n4f4c5wejugymjcjxlhqqzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06ggjl7sz In reply to <a href='/nevent1qqstq6hjefys76hw4vv8na9v7va3k423xarp3s9tes7fx7wpanrvwsg4almyy'>nevent1q…lmyy</a><br/>_________________________<br/><br/>I THOUGHT I knew what a scone was but this was labeled “potato scone”<br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/680/902/727/080/636/original/b3d3e466d9cf6d5d.jpeg"> <br/> 2025-06-14T09:02:09Z https://nostr.ae/nevent1qqstq6hjefys76hw4vv8na9v7va3k423xarp3s9tes7fx7wpanrvwsgzyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gs8pw7u In reply to <a href='/nevent1qqsder9rwrv4edntrlrvakw6y0n4m6d7m8czcgdlnz50fnvsecs3xlcjy7mnc'>nevent1q…7mnc</a><br/>_________________________<br/><br/>there’s a queue for the coffee machine at the hotel and my american brain can’t help but go you know what would solve this…. 2025-06-14T08:58:19Z https://nostr.ae/nevent1qqsder9rwrv4edntrlrvakw6y0n4m6d7m8czcgdlnz50fnvsecs3xlczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g2lanlw In reply to <a href='/nevent1qqs944s45znfaadma5en7tyffsnsay4wcxymfpch8nm9u6fkcuw6sdcr3dkhd'>nevent1q…dkhd</a><br/>_________________________<br/><br/>more glasgow weed patches<br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/678/335/001/221/920/original/3af5b65336fb8c2f.jpeg"> <br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/678/335/076/897/889/original/21e2f526249bd822.jpeg"> <br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/678/335/122/427/995/original/056504b95728108b.jpeg"> <br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/678/335/165/301/397/original/b8e08d0d6f3ef6aa.jpeg"> <br/> 2025-06-13T22:11:47Z https://nostr.ae/nevent1qqs944s45znfaadma5en7tyffsnsay4wcxymfpch8nm9u6fkcuw6sdczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gl22g56 In reply to <a href='/nevent1qqs9wf3uc668jyytfdru4v98pvrd7s2tsyzgu2d2h26gt6y2xmtz5uct766cj'>nevent1q…66cj</a><br/>_________________________<br/><br/>feral flora<br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/678/265/000/996/855/original/a4d814c6bd75cd3f.jpeg"> <br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/678/265/049/518/442/original/9c7644e2adbe7410.jpeg"> <br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/678/265/094/189/538/original/2b90cd3b5dc6ef34.jpeg"> <br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/678/265/130/804/631/original/39da948533eb6b57.jpeg"> <br/> 2025-06-13T21:57:32Z https://nostr.ae/nevent1qqs9wf3uc668jyytfdru4v98pvrd7s2tsyzgu2d2h26gt6y2xmtz5uczyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06gtavvkw In reply to <a href='/nevent1qqs8htwrqd5e0awvs97lf8v6ksunx4g09eze7cwtv5avu5h90ekpqfsj05r7m'>nevent1q…5r7m</a><br/>_________________________<br/><br/>borb mural<br/> <img src="https://storage.googleapis.com/hci-social-storage/media_attachments/files/114/676/205/690/310/623/original/5b8f289d3194451d.jpeg"> <br/> 2025-06-13T13:08:07Z https://nostr.ae/nevent1qqs8htwrqd5e0awvs97lf8v6ksunx4g09eze7cwtv5avu5h90ekpqfszyqsxyry0llyjrtd3nzk5uupxwdcn692rk8zel0yrcnn9ygn2vt06g6zjmkc In reply to <a href='/nevent1qqsqw2tsr4eqv33uuv8wjvd55sf7vfa0xcdx3da7p4w6zanxzejtgzsxvrwhc'>nevent1q…rwhc</a><br/>_________________________<br/><br/>ramshorn: ram’s horn? ram shorn? 2025-06-13T09:04:27Z