Search for "nerd" returned 1994 results

Getting software right with properties, generated tests, and proofs
62 min

Getting software right with properties, generated tests, and proofs

Evolve your hack into robust software!

Resilience Towards Leaking or Why Julian Assange Might Be Wrong After All
57 min

Resilience Towards Leaking or Why Julian Assange Might Be Wrong After All

Megaprojects in Mexico and capitalist strategies of expropriation: "Defensa de la Tierra y del Territorio - experiencias de la complicidad internacional"
95 min

Megaprojects in Mexico and capitalist strategies of expropriation: "Defensa de la Tierra…

Feeling at Home in Tech
44 min

Feeling at Home in Tech

Foundations for Decentralization: Data with IPLD
55 min

Foundations for Decentralization: Data with IPLD

Growing Up Software Development
31 min

Growing Up Software Development

From Hacker Culture to the Software of the Future

BNG Blaster - Open Source Network Tester
30 min

BNG Blaster - Open Source Network Tester

Crisis Mapping: Teaching High School ELL Students How to Make Maps That Save Lives
13 min

Crisis Mapping: Teaching High School ELL Students How to Make Maps That Save Lives

Waldgärten – mit resilienten Systemen gegen die Klimakatastrophe
37 min

Waldgärten – mit resilienten Systemen gegen die Klimakatastrophe

Corporate Editors in the Evolving Landscape of OpenStreetMap: A Close Investigation of the Impact to the Map & Community
29 min

Corporate Editors in the Evolving Landscape of OpenStreetMap: A Close Investigation of…

Gotta Collect 'Em All - Metrics Easily Visualised
45 min

Gotta Collect 'Em All - Metrics Easily Visualised

Hack My handicap
28 min

Hack My handicap

Patente töten.
45 min

Patente töten.

Wie Politik und Pharma den gerechten Zugang zum Impfstoff…

Sustainable product and business model innovation
10 min

Sustainable product and business model innovation

The tools to make it happen

The impact of quantum computers in cybersecurity
38 min

The impact of quantum computers in cybersecurity

Estimating the costs of algorithms for attacks and defense…

Automating incident response: scalable & fast, within minutes
50 min

Automating incident response: scalable & fast, within minutes

Protecting Your Privacy at the Border
58 min

Protecting Your Privacy at the Border

Traveling with Digital Devices in the Golden Age of…

Guardians of the Onion: Ensuring the Health and Resilience of the Tor Network
60 min

Guardians of the Onion: Ensuring the Health and Resilience of the Tor Network

SNAC - The only way to beat Facebook
49 min

SNAC - The only way to beat Facebook

Broken Promises and Technical Difficulties
32 min

Broken Promises and Technical Difficulties

How to drift with any car
51 min

How to drift with any car

(without your mom yelling at you)

Understanding Differences between Power and Standard Users in Editing Behaviour over Time
52 min

Understanding Differences between Power and Standard Users in Editing Behaviour over Time

Source Code and Cross-Domain Authorship Attribution
64 min

Source Code and Cross-Domain Authorship Attribution

The Role of Stylometry in Privacy

Grow your own planet
61 min

Grow your own planet

How simulations help us understand the Universe

An open risk index with learning indicators from OSM-tags, developed by machine learning and trained with the WorldRiskIndex
26 min

An open risk index with learning indicators from OSM-tags, developed by machine learning…