Untitled attachment

Notices where this attachment appears

1. Embed this notice
   Mark Dominus (mjd@mathstodon.xyz)'s status on Friday, 01-May-2026 02:54:54 JST Mark Dominus

   in reply to

   @nikitonsky For a while I was thinking about a language where the semantics of brackets was user-definable at compile time. You could have (a,b,...) assemble one sort of list, and [a,b,...] assemble a second sort, and then similarly “applying” (juxtaposing) the expression E to the object from [a,b,...] might perform an array lookup on E or something like that.

   My main idea was to permit the programmer to choose and define notations for things like sets, bags, tuples, and vectors, and for array and hash subscripting to be controllable and not hardwired into the syntax. But I'm sure that `|x|` was one of my example use cases.

   Some paper of @pigworker has a horrible hack in which `Ii x y z … iI` is defined so as to perform a certain sort of computation, with `Ii` and `iI` playing the role of brackets `Ii` has a typeclass defined so that `Ii x y z...` accumulates the `[x, y, z, ...]` at compile time, and then `iI` is some unique value with a special type that triggers the compiler to figure out that it has seen the whole list and should actually do the thing.

2. Embed this notice
   Prof. Sam Lawler (sundogplanets@mastodon.social)'s status on Wednesday, 15-Apr-2026 04:21:03 JST Prof. Sam Lawler

   in reply to

   No mention of atmospheric pollution, of course, because the FCC doesn't give a shit about that. With SpaceX's 5 Starlinks a day a few months ago, we were well above natural infall rates of most metals, so 1 (presumably) gigantic satellite per hour will be a lot worse than that.

   My colleagues and I wrote a bit about using the atmosphere as a satellite crematorium here, and it's bad: https://theconversation.com/a-new-space-race-could-turn-our-atmosphere-into-a-crematorium-for-satellites-276366

3. Embed this notice
   Miakoda (hellomiakoda@pdx.social)'s status on Wednesday, 15-Oct-2025 09:33:29 JST Miakoda

   in reply to

   @KatyElphinstone I need more Crush My Soul, but I currently don't have anyone who wants to do that.

   My cat tries post melt, but he is only 8 lbs

4. Embed this notice
   Julia Rez (juliarez@chaos.social)'s status on Sunday, 10-Aug-2025 07:38:12 JST Julia Rez

   The unix/cloud team I was part of until today is/was about 50% women.

   Today, two colleagues messaged me separately to say that they primarily took the jobs because I was in the interview, and when they saw another female unix hacker, they realised this might be a good place to work.

   If my role is tarot-bothering tattooed gothic-techno hacker mum-figure, then I'm very good with that.

   My points are that representation fkn matters, and I'm kind of unemployed.

5. Embed this notice
   HistoPol (#HP) 🏴 🇺🇸 🏴 (histopol@mastodon.social)'s status on Monday, 16-Jun-2025 16:31:09 JST HistoPol (#HP) 🏴 🇺🇸 🏴

   @chebra

   I understand that.

   My main concern is that they can...

   a) identify me and/or
   b) locate me.

   Therefore, any kind of money trail could prove disastrous.

   From a "network resilience" point of view, where "content survival" is the prime objective, I agree.

6. Embed this notice
   BeAware (beaware@social.beaware.live)'s status on Friday, 28-Feb-2025 05:02:14 JST BeAware

   @UrsaAshBear well, it's not like I'm going to Musk himself and sending it, though they're very aware of us already, obviously.

   I want normal people that talk about their hobbies. I can't find discussions on certain interests here and it really sucks.

   It's why I'm doing that.

   I like discussing professional wrestling/WWE and there's less than 50 people on Fediverse in total that discuss that.

   My hopes are to bring those people who are tired of the corporate platforms to Fedi, because they can't join us if they have never even heard of us.🤷♂️