Search for "Hans Block" returned 1111 results

Correct by Construction Concurrent Programs in Idris 2
44 min

Correct by Construction Concurrent Programs in Idris 2

Exploring Sculpt a component-based operating system
38 min

Exploring Sculpt a component-based operating system

institutions for Resolution Disputes
33 min

institutions for Resolution Disputes

Rosa Menkman investigates video compression, feedback, and…

How Convenience Is Killing Open Standards
43 min

How Convenience Is Killing Open Standards

Open Source is Insufficient to Solve Trust Problems in Hardware
60 min

Open Source is Insufficient to Solve Trust Problems in Hardware

How Betrusted Aims to Close the Hardware TOCTOU Gap

EOS Design System
30 min

EOS Design System

The solution to bring good UX to all OSS

Blockchains verstehen! Was ist Ethereum, was sind "Smart Contracts" und warum reden alle darüber?
60 min

Blockchains verstehen! Was ist Ethereum, was sind "Smart Contracts" und warum reden alle…

Open Source is no longer just for software:
28 min

Open Source is no longer just for software:

Why the community needs open source hardware to ensure…

Detect me if you can! - Bluetooth-Tracker einfach erkennen
49 min

Detect me if you can! - Bluetooth-Tracker einfach erkennen

Verification of OS artifacts without stateful keyrings
21 min

Verification of OS artifacts without stateful keyrings

"Service Point" The Display
38 min

"Service Point" The Display

A tale of four generations

Unser Beitrag zur WM - Fans against nazis in soccer scenes
43 min

Unser Beitrag zur WM - Fans against nazis in soccer scenes

LibreSilicon
60 min

LibreSilicon

Decentralizing semiconductor manufacturing

Parallel Python at last? Subinterpreters & free-threading in practice
34 min

Parallel Python at last? Subinterpreters & free-threading in practice

Disaggregated networks: Is network hardware special?
38 min

Disaggregated networks: Is network hardware special?

State of Surveillance: A year of digital threats to civil society
59 min

State of Surveillance: A year of digital threats to civil society

Intel Management Engine deep dive
60 min

Intel Management Engine deep dive

Understanding the ME at the OS and hardware level

Shining some light on the Amazon Dash button
53 min

Shining some light on the Amazon Dash button

It's open source, how could that possibly go wrong!?
28 min

It's open source, how could that possibly go wrong!?

Reverse engineering Outernet
52 min

Reverse engineering Outernet

Traut Euch, Talks zu halten
36 min

Traut Euch, Talks zu halten

(und Artikel für die Datenschleuder zu schreiben)

Auracast: Breaking Broadcast LE Audio Before It Hits the Shelves
41 min

Auracast: Breaking Broadcast LE Audio Before It Hits the Shelves

A Free and Open Source Verilog-to-Bitstream Flow for iCE40 FPGAs
59 min

A Free and Open Source Verilog-to-Bitstream Flow for iCE40 FPGAs

Reconstructing game footage from a Game Boy's memory bus
61 min

Reconstructing game footage from a Game Boy's memory bus

The GB Interceptor

Dries Depoorter
48 min

Dries Depoorter