XRDS

Crossroads The ACM Magazine for Students

Sign In

Association for Computing Machinery

Articles Tagged: Military

Articles & Features

SECTION: Features

No Tech For Apartheid and No Tech For Tyrants: A Conversation Around Organizing and Technology

Organizers at the intersection of anticolonial justice and technology, Gabriel Schubiner and Nikhil Dharmaraj discuss their journeys, the historical context of their work, and organizing strategies.

By Gabriel Schubiner, Nikhil Dharmaraj, June 2024

PDF | HTML | In the Digital Library

Up Against the Firewall

In a revolt against techno-optimism and the real-world violence it upholds, members of radical research collective Lucy Parsons Labs (LPL) call for an empiricism rooted in technopolitical critique. Drawing from their own years of labor in the struggles against racial and surveillance capitalism, current work in HCI, and radical theorists like Alfredo M. Bonanano and Modibo Kadalie, LPL invites us to incorporate an ethics of rebellion and progress our tech practices into principled, anti-authoritarian praxis.

By Alejandro Ruizesparza, Freddy Martinez, June 2024

PDF | HTML | In the Digital Library

What's formal software verification?

DEPARTMENT: Hello world

What's formal software verification?

By Oana Niculaescu, July 2019

PDF | HTML | In the Digital Library