video
Xavier Leroy on programming, languages and formal verification via @xvw https://lobste.rs/s/oviysl #video #formalmethods #ml
https://www.youtube.com/watch?v=9Cswiqrq6So
MakerTube just got upgraded to PeerTube v8.2.3 🥳 a security and bugfix release. See https://github.com/Chocobozzz/PeerTube/releases/tag/v8.2.3 for the details.
MakerTube is an independent, ad-free PeerTube video platform for makers, musicians, artists, and DIY enthusiasts.
Want to join in? Request an account at https://makertube.net/signup
Want to support? Check donation options at https://makertube.net/about/instance/support
#peertube #makertube #upgrade #donate #video #youtube #diy #maker
Proof of alien life 😂
The underwater alien booblehead…
#fyp #Funny #Snorkling #Underwater #OC #Nature #Video #Loops#July #Southern #Finland #Archipelago #AlandIslands
The Esdac Film (1951, 1976) via @lobsters https://lobste.rs/s/m6rdhi #video #programming
https://www.youtube.com/watch?v=DjhRRj6WYcs
Gamedev in Zig is actually pretty good (2025) https://lobste.rs/s/y23kkm #video #zig
https://www.youtube.com/watch?v=-xIFpg7sBVs
State of the (Tagged) Union Address by Andrew Kelley https://lobste.rs/s/okds3e #video #zig
https://www.youtube.com/watch?v=zwi5b5xSsKA
Make your own Windows 98 OEM Install https://lobste.rs/s/ksmsg3 #video #retrocomputing
https://www.youtube.com/watch?v=zUm5eW_XGMU
The Java Story | The Official Documentary via @binjip978 https://lobste.rs/s/31bikj #video #java
https://www.youtube.com/watch?v=ZqGSg4b_cZA
GEFS: The File Shredder of the Future https://lobste.rs/s/vxkb8z #video #openbsd #osdev
https://exquisite.tube/w/3QQimMdswWJxrsPaJtak2u
ZTA: Zero Token Architecture https://lobste.rs/s/t56kjo #video #vibecoding
https://www.youtube.com/watch?v=A7WFt2JQ5sg
Reducing Graphics API Complexity: A Clean Slate Design for Modern GPUs https://lobste.rs/s/4unr6j #video #api #graphics
https://www.youtube.com/watch?v=aQv9pUl9PBM
Making Need For Speed 2015 with Game Maker https://lobste.rs/s/kwo9cn #video #games #programming
https://www.youtube.com/watch?v=ffGqjOBowIc
The legend of the Novell NE2000 via @fanf https://lobste.rs/s/ygwqsm #video #historical #networking
https://youtu.be/nNXzQ7V1S_k
Console modding: Building a better N64 for 2026 https://lobste.rs/s/su3yy5 #video #games #hardware #retrocomputing
https://www.youtube.com/watch?v=L8c3IJa7cnU
Path sniffing, I suspect deer 😁
#Dog #Dogs #DogsOfLoops #Hiking #And #Music#OC #Nature #Video #Loops#July #Southern #Finland #Archipelago #AlandIslands
Fil-C: Garbage In, Memory Safety Out https://lobste.rs/s/badu44 #video #c #c++
https://www.youtube.com/watch?v=5F-2Y1LPRek
Why Decker is worth learning, with a quick live-coding demo https://lobste.rs/s/cvp9yn #video #apl
https://www.youtube.com/watch?v=8hz888us3wI