Search for "Ray" returned 3357 results

The Coronavirus Structural Task Force
75 min

The Coronavirus Structural Task Force

Correct by Construction Concurrent Programs in Idris 2
44 min

Correct by Construction Concurrent Programs in Idris 2

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…

libpathrs: securing path operations for system tools
23 min

libpathrs: securing path operations for system tools

How to drift with any car
51 min

How to drift with any car

(without your mom yelling at you)

The Lessons of 14 Years of Open Source Haskell
40 min

The Lessons of 14 Years of Open Source Haskell

KTRW: The journey to build a debuggable iPhone
54 min

KTRW: The journey to build a debuggable iPhone

Buying Snacks via NFC with GNU Taler
17 min

Buying Snacks via NFC with GNU Taler

Compromising online accounts by cracking voicemail systems
42 min

Compromising online accounts by cracking voicemail systems

Monitoring File System Syscalls in a Distributed Architecture
24 min

Monitoring File System Syscalls in a Distributed Architecture

A debugger from scratch
31 min

A debugger from scratch

Was ihr schon immer (nicht) über Sprengstoffe wissen wolltet
34 min

Was ihr schon immer (nicht) über Sprengstoffe wissen wolltet

Shaping sound
23 min

Shaping sound

Building Reliable Infrastructure in Rust
32 min

Building Reliable Infrastructure in Rust

Confessions of a command line geek: why I don't use GNOME but everyone else should
56 min

Confessions of a command line geek: why I don't use GNOME but everyone else should

Security Log Visualization with a Correlation Engine
25 min

Security Log Visualization with a Correlation Engine

What's inside your network?

Making your GNOME app compile 2.4x faster
28 min

Making your GNOME app compile 2.4x faster

Moonbounce Radio Communication
48 min

Moonbounce Radio Communication

To the Moon and back in two seconds. The joy of light speed…

EvoCell - free software for evolving cellular automata
59 min

EvoCell - free software for evolving cellular automata

Exploring the huge space of possible cellular automata by…

wallet.fail
61 min

wallet.fail

Hacking the most popular cryptocurrency hardware wallets

eBPF Data Collection for Everyone – empowering the community to obtain Linux insights using Inspektor Gadget
32 min

eBPF Data Collection for Everyone – empowering the community to obtain Linux insights…

Inside the Fake Like Factories
60 min

Inside the Fake Like Factories

How thousands of Facebook, You Tube and Instagram pages…

Battling Obsolescence – Keeping an 80s laser tag system alive
42 min

Battling Obsolescence – Keeping an 80s laser tag system alive

The Spectrum - Hackspace Beyond Hacking
37 min

The Spectrum - Hackspace Beyond Hacking

Email authentication for penetration testers
61 min

Email authentication for penetration testers

When SPF is not enough