Search for "BeF" returned 6611 results

Certified programming with dependent types
86 min

Certified programming with dependent types

Because the future of defense is liberal application of math

SIP Security
62 min

SIP Security

Status Quo and Future Issues

C64-DTV Hacking
57 min

C64-DTV Hacking

Revisiting the legendary computer in a joystick

Stealth Web Scraping Techniques for OSINT
52 min

Stealth Web Scraping Techniques for OSINT

Securely access your home server from anywhere
5 min

Securely access your home server from anywhere

BBQ - Der Black Brown Queere Podcast: CANCEL CULTURE
55 min

BBQ - Der Black Brown Queere Podcast: CANCEL CULTURE

Versöhnungstheater
80 min

Versöhnungstheater

How to prevent the robot uprising - an introduction to MPC based safe reinforcement learning
37 min

How to prevent the robot uprising - an introduction to MPC based safe reinforcement…

Datenethik in der Praxis: Von Anonymisierung zu operativer Datengovernance
38 min

Datenethik in der Praxis: Von Anonymisierung zu operativer Datengovernance

Infrastructure review
58 min

Infrastructure review

Fort Kairos: A New Dawn for Secure Linux in Untrusted Environments
35 min

Fort Kairos: A New Dawn for Secure Linux in Untrusted Environments

How to Design Highly Reliable Digital Electronics
62 min

How to Design Highly Reliable Digital Electronics

Sourcery: a multi-architecture root file system that is mostly source
30 min

Sourcery: a multi-architecture root file system that is mostly source

Build images that boot on multiple architectures, and that…

Meet an OpenStreetMapper
25 min

Meet an OpenStreetMapper

"But this politician said «xyz»!"
25 min

"But this politician said «xyz»!"

The Critical Making Movement
60 min

The Critical Making Movement

How using critical thinking in technological practice can…

Thunderbolt 3 hardware enablement for GNU/Linux
23 min

Thunderbolt 3 hardware enablement for GNU/Linux

SCTP
50 min

SCTP

Evolution and history of 35 years of hardcore/gabber music [XXL edition]
174 min

Evolution and history of 35 years of hardcore/gabber music [XXL edition]

Building Nextcloud Flow
36 min

Building Nextcloud Flow

Lightning Talks powered by Haecksen
51 min

Lightning Talks powered by Haecksen

Compiling Rust to asm.js
45 min

Compiling Rust to asm.js

Voctomix
48 min

Voctomix

Full-Stack OpenSource HD-Capable Live-Video-Mixer

Sendezentrum: Who Killed The Internet?
46 min

Sendezentrum: Who Killed The Internet?

And a promising alternative for Public Communication and…

YOU’VE JUST BEEN FUCKED BY PSYOPS
55 min

YOU’VE JUST BEEN FUCKED BY PSYOPS

UFOS, MAGIC, MIND CONTROL, ELECTRONIC WARFARE, AI, AND THE…