visitor
Notifications
Help
Explore
Notifications
Help
Explore
clear filters
Newest
Feeds
Tags
Domains
Users
youtube.com
×
~lobsters
×
Refactoring With Proofs | Craft vs Cruft 36
youtube.com
formalmethods
science & technology
testing
video
The Magic of Property Testing
youtube.com
people & blogs
testing
video
The FASTEST and SAFEST Database
youtube.com
distributed
science & technology
video
wasm
zig
Keynote | Rust in the Linux kernel - Alice Ryhl
youtube.com
linux
rust
science & technology
video
*(char*)0 = 0; - What Does the C++ Programmer Intend With This Code? - JF Bastien - C++ on Sea 2023
youtube.com
c++
science & technology
video
Talks - Andrew Godwin: Reconciling Everything
youtube.com
education
programming
python
video
Lisp Ireland, February 2024 Meetup - Lisp & Hardware Verification with ACL2
youtube.com
formalmethods
hardware
lisp
science & technology
video
Go (LEFT) CUE: Shifting Go left with CUE - Roger Peppe
youtube.com
devops
go
plt
science & technology
video
Linux Running on an NES?
youtube.com
games
hardware
osdev
science & technology
video
FOSDEM 2024 - Opening up communication silos with Matrix 2.0 and the EU Digital Markets Act
youtube.com
slides Comments
distributed
science & technology
slides
video
Proving Performance - FOSDEM 2024 - Rust Dev Room
youtube.com
performance
rust
science & technology
video
htmx deep dive w/carson gross
youtube.com
howto & style
javascript
video
web
Rye: a Hassle-Free Python Experience (Rye 0.21 Demonstation)
youtube.com
python
science & technology
video
Breaking Bitlocker - Bypassing the Windows Disk Encryption
youtube.com
science & technology
security
video
windows
Simple Functional Effects with Tag Unions • Richard Feldman • YOW! 2022
youtube.com
plt
science & technology
video
Vision Pro Review: 24 Hours With Apple’s Mixed-Reality Headset | WSJ
youtube.com
hardware
news & politics
video
I built my own 16-Bit CPU in Excel
youtube.com
hardware
science & technology
video
[#36] Zig Roadmap 2024 - Andrew Kelley
youtube.com
science & technology
video
zig
Inside Igalia: Scaling a Co-Op Beyond 100 Members
youtube.com
culture
practices
science & technology
video
Dumping the ROM of a GBA game by crashing it
youtube.com
assembly
gaming
python
reversing
video
THE LEAP OF FAITH: How the Apple Airport Changed Everything
youtube.com
historical
networking
science & technology
video
[OCaml'22] Memo: an incremental computation library that powers Dune
youtube.com
ml
science & technology
video
RustConf 2021 - The Importance of Not Over-Optimizing in Rust by Lily Mara
youtube.com
performance
rust
science & technology
video
Introducing the OCaml Local Mode | OCaml Unboxed
youtube.com
ml
performance
science & technology
video
Add bookmark
Add new rss feed
loading ... please wait