Tessera
Folgen

Zachary 🦋

@zed.earth

Cyber-Social Infrastructure Program Language Designer…

319 Posts789 Follower2550 Folgt
Shooti@bambooshooti.bsky.social · 3d ago

#ResistanceRoots Mina Rees was born on this day in 1902 in Cleveland, Ohio. She was a mathematician and academic leader who overcame sexism to shape the landscape of modern computing. Her contributions played a key role in early computer development, laying the foundation for modern technology. /1

Mina Rees. Throughout her groundbreaking career, she faced systemic institutional sexism and frequent professional devaluation. She rarely complained publicly about the gender barriers of her era, but she was a highly effective tactical advocate for other women in STEM fields. She used her immense institutional power, administrative leverage and academic positions to systematically dismantle barriers for women in mathematics and computing.
José A. Alonso@jalonso.eurosky.social · last wk.

Automating the derivation of unification algorithms (A case study in deductive program synthesis). ~ Richard Waldinger. arxiv.org/abs/2508.111... #DeductiveProgramSynthesis

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis

The unification algorithm has long been a target for program synthesis research, but a fully automatic derivation remains a research goal. In deductive program synthesis, computer programming is phras...

arxiv.org

Evan Greer@evangreer.bsky.social · 2mo ago

BREAKING: the Massachusetts House just passed one of the best data privacy bills in the country. It includes a total ban on the sale of precise location data and includes a private right of action allowing people to sue Big Tech over data abuses. HUGE WIN! But there’s more work to do 🧵

Kiran@kirancodes.me · 3mo ago

Read this incident report, equal parts scary and insanely funny A several package compromise orchestrated over two weeks, thwarted only because our package ecosystems are so fucking flawed, *another* unrelated malware used too much ram. We are cooked. nesbitt.io/2026/02/03/i...

Day 3, 06:12 UTC - An unrelated cryptocurrency mining worm called cryptobro-9000 begins spreading through a vulnerability in jsonify-extreme, a package that "makes JSON even more JSON, now with nested comment support." The worm's payload is unremarkable, but its propagation mechanism includes running npm update and pip install --upgrade on infected machines to maximize attack surface for future operations. Day 3, 06:14 UTC - cryptobro-9000 accidentally upgrades snekpack to version 3.7.1, a legitimate release pushed by a confused co-maintainer who "didn't see what all the fuss was about" and reverted to the previous vendored version of vulpine-1z4. Day 3, 06:15 UTC - The malware's Tuesday reverse shell activates. It is a Tuesday. However, the shell connects to a command- and-control server that was itself compromised by cryptobro-9000 and swapping so hard it is unable to respond. Descriptive alt text
Yoïn van Spijk@yvanspijk.bsky.social · 6mo ago

When I published yesterday's infographic about the word 'friend', people were surprised that it's related to the first part of 'Friday' and its cognates. As my graphic explained, this part stems from the Proto-Germanic goddess name *Frijjō, which in Old Norse became 'Frigg'. On my other ... 1/

Bild