~lobsters | Bookmarks (64)

Meet Punyo, TRI’s Soft Robot for Whole-Body Manipulation Research

Automate Your Way to Better Code: Advanced Property Testing (with Oskar Wickström)

The FASTEST and SAFEST Database

Keynote | Rust in the Linux kernel - Alice Ryhl

*(char*)0 = 0; - What Does the C++ Programmer Intend With This Code? - JF Bastien - C++ on Sea 2023

Talks - Andrew Godwin: Reconciling Everything

"Testing Distributed Systems w/ Deterministic Simulation" by Will Wilson

Lisp Ireland, February 2024 Meetup - Lisp & Hardware Verification with ACL2

Video for my non-technical family describing how my library fits into the PyData ecosystem

Go (LEFT) CUE: Shifting Go left with CUE - Roger Peppe

FOSDEM 2024 - One way forward: finding a path to what comes after Unix

Linux Running on an NES?

FOSDEM 2024 - Opening up communication silos with Matrix 2.0 and the EU Digital Markets Act

slides Comments

Proving Performance - FOSDEM 2024 - Rust Dev Room

htmx deep dive w/carson gross

Rye: a Hassle-Free Python Experience (Rye 0.21 Demonstation)

Breaking Bitlocker - Bypassing the Windows Disk Encryption

FOSDEM 2024 - Live Streaming

Simple Functional Effects with Tag Unions • Richard Feldman • YOW! 2022

Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones)

Vision Pro Review: 24 Hours With Apple’s Mixed-Reality Headset | WSJ

Self-hosted media center

I built my own 16-Bit CPU in Excel

The World's First Microprocessor: F-14 Central Air Data Computer