Programming Videos

Tux 🐧🐧🐧

Jun 21

Demonstration of the Sculpt Operating System

by Norman Feske At: FOSDEM 2020 https://video.fosdem.org/2020/K.4.601/uk_sculpt.webm Sculpt OS is a novel general-purpose operating system designed from the ground up and implemented using the building blocks of the Genode OS framework. It started with the vision of a truly trustworthy OS that combines a completely new system structure with microkernels, capability-based security, sandboxed devi

https://www.youtube.com/watch?v=vmgWgzeKAjU

Underground Man

Jun 2

A Firehose of Rust, for busy people who know some C++

The slower version of this talk (2h32m): https://youtu.be/FSyfZVuD32Y Slides: https://jacko.io/firehose_of_rust or https://web.archive.org/web/20210531222456if_/https://jacko.io/firehose_of_rust/ Contents: 0:00:00 introduction 0:04:03 references and mutable aliasing 0:06:54 reference lifetime examples 0:22:12 mutable aliasing examples 0:50:16 move semantics 1:10:50 Arc Mutex String

https://youtu.be/IPmRDS0OSxM

John Titor

May 28

The Gleam Programming Language and its Creator Louis Pilfold - #InferencePodcast S1E4

In this episode of InferencePodcast, I had a fantastic conversation with Louis Pilfold, the author of the Gleam Programming Language, a new exciting and type-safe programming language for the #Erlang BEAM. You can learn more about Gleam on their official website https://gleam.run and GitHub repo (remember to give a star!) https://github.com/gleam-lang/gleam. Also, if you appreciate the work that L

https://www.youtube.com/watch?v=az_GarVoXEE

John Titor

May 21

Flakes in nix 2.4

Why nix expressions are impure? How to make nix more reproducible? What flakes are? Stream about nix syntax: https://youtu.be/5F-1Q3nk4Es Repository with configs: https://github.com/abcdw/rde

https://www.youtube.com/watch?v=98EwejpIJzE&list=PLZmotIJq3yOKew30oT8aEbPUOEKBmNpY1

@johntitor shared their post

John Titor in @rust

May 20

Crust of Rust: Atomics and Memory Ordering

In this episode of Crust of Rust, we go over Rust's atomic types, including the mysterious Ordering enum. In particular, we explore the std::sync::atomic module, and look at how its components can be used to implement concurrency primitives like mutexes. We also investigate some of the gotchas and sometimes counter-intuitive behaviors of the atomic primitives with different memory orderings, as we

https://www.youtube.com/watch?v=rMGWeSjctlY

Tux 🐧🐧🐧

May 17

intro into tmux - sessions, windows, panes, and commands, and how to use tmux

I have been using tmux for some time now. I always wished there was a quick start the way I want it so I made it! I don't go over the rc because I just wanted to show what tmux is, not how to customize it 0:00 - Title 0:23 - Overview of tmux 0:54 - Sessions 4:25 - Windows 6:48 - Panes 7:53 - Bonus Commands!!! ### Links Linode: https://linode.com/prime Discord: https://discord.gg/3ujcVMe Twitch

https://youtu.be/NZO8KjNbwJk

Tux 🐧🐧🐧

May 11

10,000 Double Pendulums Simulation in C++ Console

"The pendulum of the mind alternates between sense and nonsense, not between right and wrong." ~Carl Jung

https://youtu.be/DMOK5BS6KJw

John Titor

May 8

William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]

Meetup: http://bit.ly/2okyAH3 Audio: http://bit.ly/2qkAczZ Sponsored and hosted by Two Sigma (@twosigma) and Chartbeat (@Chartbeat) Description ------------------ William E. Byrd "explores what he considers to be the most beautiful program ever written---a Lisp interpreter written in Lisp---and a few of the many amazing ideas related to this metacircular interpreter." References - The Little

https://www.youtube.com/watch?v=OyfBQmvr2Hc

John Titor

May 8

"What even is code? Building a non-code coding interface" - Katie Bell (LCA 2021 Online)

Katie Bell https://lca2021.linux.org.au/schedule/presentation/45/ I confess, I hate writing code in text files. I hate dealing with syntax errors, carefully matching brackets, style rules, line-by-line git diffs and tiny character-specific cursor movements. That's why I set out on an epic quest to build a coding interface with no bracket matching, no syntax errors and no whitespace — but it st

https://www.youtube.com/watch?v=UH0A2iujtY8

John Titor

May 7

Modern C and What We Can Learn From It - Luca Sas [ ACCU 2021 ]

#Programming #Cpp #AccuConf Slides: https://accu.org/conf-previous/2021/schedule/ ACCU Website: https://www.accu.org ACCU Conference Website: https://conference.accu.org ACCU Twitter: @ACCUConf Streamed & Edited By Digital Medium Ltd: https://events.digital-medium.co.uk ------ C is often perceived as an antiquated language that is mostly used for legacy purposes, but many people still prefer cod

https://www.youtube.com/watch?v=QpAhX-gsHMs

John Titor

May 7

CppCon 2018: Stoyan Nikolov “OOP Is Dead, Long Live Data-oriented Design”

http://CppCon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/CppCon/CppCon2018 — For decades C++ developers have built software around OOP concepts that ultimately failed us - we didn’t see the promises of code reuse, maintenance or simplicity fulfilled, and performance suffers significantly. Data-oriented design can be a bette

https://www.youtube.com/watch?v=yy8jQgmhbAU

John Titor

May 7

Building Web Services with Racket

Want a brief introduction to Racket (a general purpose programming language based on the Scheme dialect of Lisp)? Want to see how you can use this language to build and deploy cloud-native web applications to containers and serverless environments? Then check out this session! What is this session about? Racket is a general purpose programming language based on the Scheme dialect of Lisp. In thi

https://www.youtube.com/watch?v=ZvwE6_MMJjM

Tux 🐧🐧🐧

Apr 9

Modern C and What We Can Learn From It - Luca Sas [ ACCU 2021 ]

#Programming #Cpp #AccuConf Slides: https://accu.org/conf-previous/2021/schedule/ ACCU Website: https://www.accu.org ACCU Conference Website: https://conference.accu.org ACCU Twitter: @ACCUConf Streamed & Edited By Digital Medium Ltd: https://events.digital-medium.co.uk ------ C is often perceived as an antiquated language that is mostly used for legacy purposes, but many people still prefer cod

https://www.youtube.com/watch?v=QpAhX-gsHMs

John Titor

Mar 31

Keynote: Functorio - having fun with functional programming - Bartosz Milewski | Lambda Days 2021

This video was recorded at virtual Lambda Days conference, which took place on 16-19th February 2021 - https://www.lambdadays.org/lambdadays2021 More great virtual tech conferences - https://codesync.global --- Keynote: Functorio - having fun with functional programming by Bartosz Milewski ABSTRACT If you didn't know about functional programming, you could have discovered it yourself... p

https://www.youtube.com/watch?v=A46KQtriYuM

Hagbard

Mar 26

egg: Fast and Extensible Equality Saturation

This is the full-length video for the POPL 2021 paper "egg: Fast and Extensible Equality Saturation". 5 min version: https://youtu.be/ap29SzDAzP0 arXiv: https://arxiv.org/abs/2004.03082 ACM DL: https://dl.acm.org/doi/10.1145/3434304 Clowdr [conference site]: https://app.clowdr.org/conference/popl2021/item/7a6e0f6c-c2fb-407a-a8e1-54a01b79a254

https://www.youtube.com/watch?v=LKELTEOFY-s

Root

Mar 22

Interning Strings for a 10x speedup | C++ | Compiler Hacking

Turning strings into a unique internal representation can certainly improve performance when the same string representation is used over and over. Let's do it! About the Project: Natalie is a very early-stage work-in-progress Ruby implementation that compiles Ruby to an executable. It does so by transpiling Ruby to C++ and feeding it to gcc or clang to produce a binary. GitHub: https://github.co

https://youtu.be/tK3pAxc1A6U

Tux 🐧🐧🐧

Mar 19

Emacs, Doom, Vim, Lisp & Games - with Henrik Lissner, Emacs Doom Creator

An interview with Henrik Lissner, the creator of Emacs Doom.

https://youtu.be/LKegZI9vWUU

Tux 🐧🐧🐧

Feb 10

Openwest 2015 - Erik Falor - "From Vim Muggle to Wizard in 10 Easy Steps" (8)

Vi is more than just a text editor; it has become a way of life for power users who can get more done than their peers who use traditional pointy-clicky editors. In this talk you will uncover an unseen world inhabited by Wizards who effortlessly modify their text using powerful commands built upon surprisingly simple concepts. It is my goal is to invite you into this world and to arm you with 10

https://youtu.be/MquaityA1SM

@root shared their post

Root in @serenity

Feb 2

OS hacking: System call origin verification (à la OpenBSD)

The LWN article: https://lwn.net/Articles/806776/ SerenityOS is open source on GitHub: https://github.com/SerenityOS/serenity Merch: https://teespring.com/stores/serenityos Follow me on Twitter: https://twitter.com/awesomekling Sponsor me on GitHub: https://github.com/sponsors/awesomekling Support me on Patreon: https://patreon.com/serenityos Donate via Paypal: https://paypal.me/awesomekling Ser

https://youtu.be/CMo48OCkEbc

@root shared their post

Root in @serenity

Jan 28

OS hacking: Address Space Layout Randomization (ASLR) for shared libraries

After a week of writing exploits for SerenityOS, let's start implementing some security mitigations that will make future exploitation harder! :^) SerenityOS is open source on GitHub: https://github.com/SerenityOS/serenity Merch: https://teespring.com/stores/serenityos Follow me on Twitter: https://twitter.com/awesomekling Sponsor me on GitHub: https://github.com/sponsors/awesomekling Support me

https://youtu.be/BL0PekL_OAo

@root shared their post

Root in @serenity

Jan 26

OS haxx0ring: Local root exploit via partial munmap() kernel flaw

SerenityOS is open source on GitHub: https://github.com/SerenityOS/serenity Merch: https://teespring.com/stores/serenityos Follow me on Twitter: https://twitter.com/awesomekling Sponsor me on GitHub: https://github.com/sponsors/awesomekling Support me on Patreon: https://patreon.com/serenityos Donate via Paypal: https://paypal.me/awesomekling SerenityOS is a Unix-like operating system that I'm im

https://www.youtube.com/watch?v=gt6-TC6FtMs

1

@UndergroundMan shared a post by @root

Root in @serenity

Jan 21

OS haxx0ring: Let's write a local root exploit for a bug in "passwd" (and then fix the bug!)

SerenityOS is open source on GitHub: https://github.com/SerenityOS/serenity Merch: https://teespring.com/stores/serenityos Follow me on Twitter: https://twitter.com/awesomekling Sponsor me on GitHub: https://github.com/sponsors/awesomekling Support me on Patreon: https://patreon.com/serenityos Donate via Paypal: https://paypal.me/awesomekling SerenityOS is a Unix-like operating system that I'm im

https://youtu.be/UuSH4qMNaYo

1

John Titor

Jan 18

Compiler Podcast - The Race to Replace C and C++

Three expert compiler writers sit down to discuss moving beyond C and C++. [Editor Note] There are occasional Discord beeps when the Odin author speaks, for

https://vimeo.com/484681201

2

1