Search for "Kent Law School" returned 229 results

Programming with dependent types in Idris
56 min

Programming with dependent types in Idris

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Development
61 min

Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware…

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

A spontaneous introduction to the demoscene
21 min

A spontaneous introduction to the demoscene

The GNU Name System
51 min

The GNU Name System

A Decentralized PKI For Social Movements

Aufräumarbeiten in der Gärtnerei des Patriarchats
53 min

Aufräumarbeiten in der Gärtnerei des Patriarchats

Hacking Ethics in Education
28 min

Hacking Ethics in Education

A wireless comunity mesh network in Appennino
44 min

A wireless comunity mesh network in Appennino

Internet censorship in the Catalan referendum
50 min

Internet censorship in the Catalan referendum

Overview of how the state censored and how it got…

Hacking WorkAdventure for fun and profit
26 min

Hacking WorkAdventure for fun and profit

How to prepare files for lasercutting
83 min

How to prepare files for lasercutting

LabIX
43 min

LabIX

Creating an Internet Exchange in your local Hackerspace

Opening Closed Systems with GlitchKit
60 min

Opening Closed Systems with GlitchKit

'Liberating' Firmware from Closed Devices with Open Source…

Console Hacking 2013
59 min

Console Hacking 2013

WiiU

a media-almost-archaeology on data that is too dirty for "AI"
37 min

a media-almost-archaeology on data that is too dirty for "AI"

Exploring fraud in telephony networks
62 min

Exploring fraud in telephony networks

Gibberish Detection 102
58 min

Gibberish Detection 102

Desperately Seeking Susy
60 min

Desperately Seeking Susy

A farewell to a bold proposal?

Wohnungsbot: An Automation-Drama in Three Acts
40 min

Wohnungsbot: An Automation-Drama in Three Acts

A media-art project which automates the search for flats in…

Linux on Open Source Hardware with Open Source chip design
41 min

Linux on Open Source Hardware with Open Source chip design

Telescope Making
69 min

Telescope Making

How to make your own telescope

The Nibbletronic
20 min

The Nibbletronic

A DIY MIDI Controller and a New UI for Wind Instruments

What is the value of anonymous communication?
60 min

What is the value of anonymous communication?

Weltenwanderer - Alles so bunt hier
85 min

Weltenwanderer - Alles so bunt hier

Attribution revolution
55 min

Attribution revolution

Turning copyright upside-down with metadata