Search for "Ben H." returned 5850 results

End-to-end formal ISA verification of RISC-V processors with riscv-formal
29 min

End-to-end formal ISA verification of RISC-V processors with riscv-formal

DNSSEC
52 min

DNSSEC

Correcting copywrongs
61 min

Correcting copywrongs

European copyright reform is finally on the horizon

Keep calm and refactor OBS
22 min

Keep calm and refactor OBS

What I learn while refactoring OBS

Compliance as Code: Building an Open Source Compliance Backend for Puppet
54 min

Compliance as Code: Building an Open Source Compliance Backend for Puppet

Geoprozessierung und Change Detection: Wie kann die GIS Welt von fernerkundlichen Daten profitieren?
27 min

Geoprozessierung und Change Detection: Wie kann die GIS Welt von fernerkundlichen Daten…

Decoding the Anker 3800 lock
50 min

Decoding the Anker 3800 lock

Unterschriftensammeln: Vom gestern zum morgen mit dem Projekt owlly
27 min

Unterschriftensammeln: Vom gestern zum morgen mit dem Projekt owlly

Power-to-X
47 min

Power-to-X

How to make (nearly) everything from electricity.

Securely access your home server from anywhere
5 min

Securely access your home server from anywhere

BNG Blaster Routing Protocol Update
26 min

BNG Blaster Routing Protocol Update

Opening
8 min

Opening

macOS local security: escaping the sandbox and bypassing TCC
50 min

macOS local security: escaping the sandbox and bypassing TCC

Field-FX: Digital art, Demos and Prizegiving
37 min

Field-FX: Digital art, Demos and Prizegiving

The foodsaving grassroots movement
37 min

The foodsaving grassroots movement

How cooperative online structures can facilitate…

AI and the End of the World
82 min

AI and the End of the World

A review of Mapillary-generated map data and how accuracy compares across devices
31 min

A review of Mapillary-generated map data and how accuracy compares across devices

Wifi4EU - broken by technical specification
41 min

Wifi4EU - broken by technical specification

onomondo softsim: A software USIM implementation
35 min

onomondo softsim: A software USIM implementation

Caretography - Mapping Difficult Issues with OpenStreetMap during Difficult Times
56 min

Caretography - Mapping Difficult Issues with OpenStreetMap during Difficult Times

Überwacht mehr Insekten!
42 min

Überwacht mehr Insekten!

"Information. What are they looking at?"
25 min

"Information. What are they looking at?"

A documentary on privacy.

Mobile Data Interception from the Interconnection Link
48 min

Mobile Data Interception from the Interconnection Link

Tor is Peace, Software Freedom is Slavery, Wikipedia is Truth
64 min

Tor is Peace, Software Freedom is Slavery, Wikipedia is Truth

The political philosophy of the Internet

A short political history of acoustics
49 min

A short political history of acoustics

For whom, and to do what, the science of sound was…