Antal Spector-Zabusky

🟦☁️: @antalsz.bsky.social | 🦣: @[email protected] | Functional programming, type systems, generative art | PhD: hs-to-coq | he/him

[GETUP-UAW Local 5124 @GETUPgrads]

As @aaup_penn explained, Penn’s FAQ is a tired attempt at union busting. This strategy failed to dissuade workers in @PMWU397, @UnitedRAsatPenn, and resident physicians @cirseiu from exercising their right to form a union. And it won’t dissuade us. https://t.co/v3TrKsWKgV

[GETUP-UAW Local 5124 @GETUPgrads]

Today, the Provost’s office sent an email to grads at Penn which linked to a misleading FAQ page. While this page presents itself as a neutral source, it is in fact created to dissuade workers from unionizing. Grad workers responded to it here: https://t.co/D9Ecs49wTQ

[AAUP–Penn @aaup_penn]

The Penn Provost’s Office is continuing its anti-union campaign by sending grad students this email. Grads, if you want accurate info on unionization, skip the Penn admin’s anti-union websites and check out @GETUPgrads’ excellent FAQ https://t.co/j08NkHrtAe

[GETUP-UAW Local 5124 @GETUPgrads]

Big news: a strong majority of Penn graduate student workers have signed union authorization cards!

We're rallying next Wednesday, October 4 at 12pm to ask that Penn admin stay neutral and agree to a fair and efficient union election process. Join us!

[Antal Spector-Zabusky @antalsz]

@josecalderon Yeah, your first paragraph is where I’ve been hanging out, epistemically. Thanks for the link – I suppose I’ll have to wait and see…

[Jonathan Aldrich @JAldrichPL]

I call on leaders at @sigplan, the ACM, the IEEE @ComputerSociety, and other conference sponsors to come together to discuss this issue & to create policies to ensure that all members of our community are safe and welcomed at our future events.

Full post: https://t.co/o4jpVmly5Z

[Antal Spector-Zabusky @antalsz]

@jvanegue Very fun to meet you here! Hello from the seat next to you :-)

[Antal Spector-Zabusky @antalsz]

@arsduo @magpiewhale This looks great, but I don’t think it handles the id -> username mapping in particular… I still don’t see a great way to do that without developer API access

[Antal Spector-Zabusky @antalsz]

@arsduo Better URL path: http://twitter[.]com/i/user/$ID . Still can't scrape it, though

[Antal Spector-Zabusky @antalsz]

@arsduo This should pull out every account ID anywhere in your Twitter archive, run it from the root of the unpacked archive:

egrep -R '"accountId"\s*:' | perl -pe 's/.+"(\d+)",?$/$1/' | sort -nu

[Antal Spector-Zabusky @antalsz]

@natefoster @plaidfinch @ionathanch @alpha_convert @SteveZdancewic For the record, I did find my copy – but it's the same one @fancytypes shared above, so no need for me to share it too :-) https://t.co/7dVUomG8iz

[Stephanie Weirich @fancytypes]

@alpha_convert @ionathanch https://t.co/yXHR3cg0qh

[Antal Spector-Zabusky @antalsz]

@plaidfinch @ionathanch @alpha_convert I think I know where my copy is, I’ll check when I get home tonight! I think @SteveZdancewic is the one who made it originally, so you could also ask him, but it sounds like that’s been tried already

[Antal Spector-Zabusky @antalsz]

@josecalderon It is, and it can’t get out!

[Williams College @WilliamsCollege]

We support this! #mtnday

[Antal Spector-Zabusky @antalsz]

@lindsey @samth @nomeata Oh no, the term “intraction” has escaped containment! Sorry, @fancytypes 😅

[Antal Spector-Zabusky @antalsz]

@sclv Occurs check: cannot construct the infinite type: occurs check = occur
In the expression: occur
In the first argument of `for whom does`, namely `the occurs check`
In the expression: for whom does the occurs check occur

[Antal Spector-Zabusky @antalsz]

I am @ ICFP! Looking forward to seeing everyone!