Unofficial William E. Byrd https://diode.zone/c/webyrd_unofficial/videos This channel re-posts (with permission) videos from William E. Byrd's YouTube channel. Links to official resources: YouTube: https://www.youtube.com/@WilliamEByrd, Personal Homepage: http://webyrd.net/, Minikanren Homepage: http://minikanren.org/, Banner artwork drawn by Duane Bibby taken from the cover of the book "The Reasoned Schemer" by Daniel P. Friedmann, William E. Byrd, Oleg Kiselyov, and Jason Hemann Tue, 20 Oct 2026 14:39:54 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://diode.zone Unofficial William E. Byrd https://diode.zone/lazy-static/avatars/3bd7cc54-eda9-4881-a66c-8f54dfb1fdf4.jpg https://diode.zone/c/webyrd_unofficial/videos All rights reserved, unless otherwise specified in the terms specified at https://diode.zone/about and potential licenses granted by each content's rightholder. https://diode.zone/feeds/podcast/videos.xml?videoChannelId=14485 <![CDATA[My Nerd Typing Setup Part 3 -- Apple Magic Trackpad 2, Montaigne, Molecular Bio Text]]> https://diode.zone/w/qQdtk25jrE1P6B1ZaEaqdH https://diode.zone/w/qQdtk25jrE1P6B1ZaEaqdH Tue, 12 Mar 2024 09:10:00 GMT Episode 0053 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

Will augments his Ultimate Nerd Typing Setup even more, based on viewer feedback.

========================================

]]> Unofficial William E. Byrd Education nonadult My Nerd Typing Setup Part 3 -- Apple Magic Trackpad 2, Montaigne, Molecular Bio Text Episode 0053 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Will augments his Ultimate Nerd Typing Setup even more, based on viewer feedback. ======================================== Original video:... <![CDATA[My Nerd Typing Setup Part 2 -- Thonkiness Test]]> https://diode.zone/w/uRrVj7TqqMn3sCTPy3GLiN https://diode.zone/w/uRrVj7TqqMn3sCTPy3GLiN Tue, 12 Mar 2024 09:08:40 GMT Episode 0051 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

How thonky is my new keyboard?

========================================

]]> Unofficial William E. Byrd Education nonadult My Nerd Typing Setup Part 2 -- Thonkiness Test Episode 0051 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. How thonky is my new keyboard? ======================================== Original video: https://youtu.be/xTh17VJ7zdM, Originally publish... <![CDATA[My Nerd Typing Setup is Complete]]> https://diode.zone/w/e5EMo6mR9LELjjemr5wyYt https://diode.zone/w/e5EMo6mR9LELjjemr5wyYt Tue, 12 Mar 2024 09:08:13 GMT Episode 0048 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

Will talks about his slightly (?) ridiculous setup to try to reduce RSI pain while typing, so he can churn out those books, and get an Apple Vision Pro (his reward to himself for submitting 6 new books to press).

========================================

]]> Unofficial William E. Byrd Education nonadult My Nerd Typing Setup is Complete Episode 0048 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Will talks about his slightly (?) ridiculous setup to try to reduce RSI pain while typing, so he can churn out those books, and get an Apple Vis... <![CDATA[R6RS Scheme Report Training Arc, Part 7, page 8, column 1. (The Most Boring Videos Ever Made series)]]> https://diode.zone/w/dHKyZzD46UX6knuj2xbEyp https://diode.zone/w/dHKyZzD46UX6knuj2xbEyp Mon, 11 Mar 2024 15:12:48 GMT Episode 0063 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

Assignment(!) and macros.

Previous episode: R6RS Scheme Report Training Arc, Part 7, page 7. (The Most Boring Videos Ever Made series)

R6RS
https://www.r6rs.org/

========================================

]]> Unofficial William E. Byrd Education nonadult R6RS Scheme Report Training Arc, Part 7, page 8, column 1. (The Most Boring Videos Ever Made series) Episode 0063 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Assignment(!) and macros. Previous episode: [R6RS Scheme Report Training Arc, Part 7, page 7. (The Most Boring Videos Ever Made series)](http... <![CDATA[R6RS Scheme Report Training Arc, Part 7, page 7. (The Most Boring Videos Ever Made series)]]> https://diode.zone/w/sA87RiNKGGWxrQNKGNq5ZW https://diode.zone/w/sA87RiNKGGWxrQNKGNq5ZW Mon, 11 Mar 2024 15:10:00 GMT Episode 0056 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

Will found the Fabled Lost Episode he feared he has saved in the great bit bucket. Page 7 of the R6RS Report, at "Will Learning Dvorak" typing speed...

Next episode: Will Writes Books, Book 1, Part 13

Previous episode: R6RS Scheme Report Training Arc, Part 6, page 6, column 2. (The Most Boring Videos Ever Made series)

R6RS
https://www.r6rs.org/

========================================

]]> Unofficial William E. Byrd Education nonadult R6RS Scheme Report Training Arc, Part 7, page 7. (The Most Boring Videos Ever Made series) Episode 0056 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Will found the Fabled Lost Episode he feared he has saved in the great bit bucket. Page 7 of the R6RS Report, at "Will Learning Dvorak" typing ... <![CDATA[Will Radio Part XI -- What I've been up to]]> https://diode.zone/w/xe3RQjTttkuVKHLd7qECaG https://diode.zone/w/xe3RQjTttkuVKHLd7qECaG Mon, 11 Mar 2024 15:03:32 GMT Episode 0067 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

Will Radio Part XI -- What I've been up to

Previous episode: Will Radio Part X -- Never Give Up, Never Surrender

  • book
  • reading
  • watching YT
  • StarCraft
  • Japanese
  • work
  • thinking about vids
  • researching silenced vid production

========================================

]]> Unofficial William E. Byrd Education nonadult Will Radio Part XI -- What I've been up to Episode 0067 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Will Radio Part XI -- What I've been up to Previous episode: [Will Radio Part X -- Never Give Up, Never Surrender](https://diode.zone/w/4kt1k... <![CDATA[Will Radio Part X -- Never Give Up, Never Surrender!]]> https://diode.zone/w/4kt1ks2JEx8RwBWRAc5Zjy https://diode.zone/w/4kt1ks2JEx8RwBWRAc5Zjy Mon, 11 Mar 2024 14:58:03 GMT Episode 0064 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

Will Radio Part X -- Never Give Up, Never Surrender!

Next episode: Will Radio Part XI -- What I've been up to

Previous episode: Will Radio Part IX -- Typing and boredom

  • a slow week
  • writing
  • Ganbatte!

========================================

]]> Unofficial William E. Byrd Education nonadult Will Radio Part X -- Never Give Up, Never Surrender! Episode 0064 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Will Radio Part X -- Never Give Up, Never Surrender! Next episode: [Will Radio Part XI -- What I've been up to](https://diode.zone/w/xe3RQjTt... <![CDATA[Will Radio Part IX -- Typing and boredom]]> https://diode.zone/w/5aQnDfQopHuqQUD9k8z156 https://diode.zone/w/5aQnDfQopHuqQUD9k8z156 Mon, 11 Mar 2024 13:47:23 GMT Episode 0060 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

Next episode: Will Radio Part X -- Never Give Up, N...

Previous episode: Will Radio Part VIII -- paredit Fail,...

Will Radio Part IX -- Typing and boredom

  • 1 hour in the chair a day
  • it's okay to be bored
  • 100 hours
  • writing goals for the year

========================================

]]> Unofficial William E. Byrd Education nonadult Will Radio Part IX -- Typing and boredom Episode 0060 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Next episode: Will Radio Part X -- Never Give Up, N... Previous episode: Will Radio Part VIII -- paredit Fail,... Will Radio Part IX -... <![CDATA[R6RS Scheme Report Training Arc, Part 6, page 6, column 2. (The Most Boring Videos Ever Made series)]]> https://diode.zone/w/2x7mD3yMJfiZPw2y7ukoHw https://diode.zone/w/2x7mD3yMJfiZPw2y7ukoHw Mon, 11 Mar 2024 04:52:28 GMT Episode 0049 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

R6RS Scheme Report Training Arc, Part 6, page 6, column 2. (The Most Boring Videos Ever Made series)

Next episode: R6RS Scheme Report Training Arc, Part 7, page 7. (The Most Boring Videos Ever Made series)

Previous episode: R6RS Scheme Report Training Arc, Part 5, page 6, column 1. (The Most Boring Videos Ever Made series)

R6RS
https://www.r6rs.org/

========================================

]]> Unofficial William E. Byrd Education nonadult R6RS Scheme Report Training Arc, Part 6, page 6, column 2. (The Most Boring Videos Ever Made series) Episode 0049 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. R6RS Scheme Report Training Arc, Part 6, page 6, column 2. (The Most Boring Videos Ever Made series) Next episode: R6RS Scheme Report Traini... <![CDATA[R6RS Scheme Report Training Arc, Part 5, page 6, column 1. (The Most Boring Videos Ever Made series)]]> https://diode.zone/w/3hbaSDUuLQBbE4TntBpJEm https://diode.zone/w/3hbaSDUuLQBbE4TntBpJEm Mon, 11 Mar 2024 04:51:20 GMT Episode 0046 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

R6RS Scheme Report Training Arc, Part 5, page 6, column 1. (The Most Boring Videos Ever Made series)

Next episode: R6RS Scheme Report Training Arc, Part 6, page 6, column 2. (The Most Boring Videos Ever Made series)

Previous episode: R6RS Scheme Report Training Arc, Part 4, page 5. (The Most Boring Videos Ever Made series)

========================================

]]> Unofficial William E. Byrd Education nonadult R6RS Scheme Report Training Arc, Part 5, page 6, column 1. (The Most Boring Videos Ever Made series) Episode 0046 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. R6RS Scheme Report Training Arc, Part 5, page 6, column 1. (The Most Boring Videos Ever Made series) Next episode: [R6RS Scheme Report Traini... <![CDATA[Reversible Computing, Part 1]]> https://diode.zone/w/3M1eS6N7RRmWrQqoyQmmhe https://diode.zone/w/3M1eS6N7RRmWrQqoyQmmhe Mon, 11 Mar 2024 04:43:13 GMT Episode 0052 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Will begins exploring reversible computing, after a long hiatus. https://en.wikipedia.org/wiki/Reversible_computing

========================================

]]> Unofficial William E. Byrd Education nonadult Reversible Computing, Part 1 Episode 0052 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Will begins exploring reversible computing, after a long hiatus. https://en.wikipedia.org/wiki/Reversible_computing Robert Glück, Tetsuo Yokoy... <![CDATA[FPGA Pig Pen, Part 1]]> https://diode.zone/w/efn6r6Vu2T8fuc3pjWW1D6 https://diode.zone/w/efn6r6Vu2T8fuc3pjWW1D6 Mon, 11 Mar 2024 04:13:28 GMT Episode 0054 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Let's play in the horribly messy and delightful world of FPGAs, so we can design our ultimate miniKanren/Scheme/Reversible Compy in configurable hardware.

========================================

]]> Unofficial William E. Byrd Education nonadult FPGA Pig Pen, Part 1 Episode 0054 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Let's play in the horribly messy and delightful world of FPGAs, so we can design our ultimate miniKanren/Scheme/Reversible Compy in configurable ha... <![CDATA[miniKanren Advanced Series #4]]> https://diode.zone/w/i3YwqhBd5aL3wXwtG2E4Ee https://diode.zone/w/i3YwqhBd5aL3wXwtG2E4Ee Wed, 14 Feb 2024 05:40:13 GMT Luke explains how he added interval arithmetic constraints to a Python version of miniKanren to make it easier to design hulls for ships. Will describes an experiment to bias miniKanren search for program synthesis, based on a simple approach to training on Scheme programs.

See https://github.com/webyrd/miniKanren-hangout-summaries for more information.

========================================

]]> Unofficial William E. Byrd Education nonadult miniKanren Advanced Series #4 Luke explains how he added interval arithmetic constraints to a Python version of miniKanren to make it easier to design hulls for ships. Will describes an experiment to bias miniKanren search for program synthesis, based on a simple approach to ... <![CDATA[Will Radio Part VIII -- Ergonomics, Plus Ultra!]]> https://diode.zone/w/igQNMttL4Xa7N4ahgjzYgn https://diode.zone/w/igQNMttL4Xa7N4ahgjzYgn Wed, 14 Feb 2024 05:13:22 GMT Episode 0045 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

Previous episode: https://diode.zone/w/1DACnbzZygGPn3irysUFZ4

Will Radio Part VIII -- Ergonomics, Plus Ultra!

(also, Will can't count to 8)

been slow on the vids past few days;

interesting to consider adjusted expectations

Internet Archive & Web guide waiting on new ergo gear
  • Dvorak keycaps
  • wrist thingies
priorities for writing

========================================

]]> Unofficial William E. Byrd Education nonadult Will Radio Part VIII -- Ergonomics, Plus Ultra! Episode 0045 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Previous episode: https://diode.zone/w/1DACnbzZygGPn3irysUFZ4 Will Radio Part VIII -- Ergonomics, Plus Ultra! (also, Will can't count to 8... <![CDATA[Scheme macros, Part 5]]> https://diode.zone/w/s9Zowog47yFR6HMAREby1a https://diode.zone/w/s9Zowog47yFR6HMAREby1a Wed, 14 Feb 2024 05:09:03 GMT Episode 0042 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

We finally implement a Prolog-style alternative to the standard miniKanren run interface.

Previous episode: Scheme macros, Part 4

https://github.com/webyrd/Scheme-macros

https://github.com/webyrd/Scheme-macros/blob/main/run-interface-experiments-1.scm

https://github.com/webyrd/Scheme-macros/blob/main/run-interface-experiments-2.scm

https://github.com/webyrd/Scheme-macros/blob/main/run-interface-experiments-3.scm

https://github.com/webyrd/Scheme-macros/blob/main/run-interface-experiments-4.scm

https://github.com/webyrd/Scheme-macros/blob/main/run-interface-experiments-5.scm

https://github.com/webyrd/Scheme-macros/blob/main/run-interface-experiments-6.scm

https://github.com/michaelballantyne/faster-miniKanren

========================================

]]> Unofficial William E. Byrd Education nonadult Scheme macros, Part 5 Episode 0042 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. We finally implement a Prolog-style alternative to the standard miniKanren run interface. Previous episode: [Scheme macros, Part 4](https:/... <![CDATA[Uploading videos to Internet Archive as well]]> https://diode.zone/w/dfSUVRkZFmy4b96K5xbYQR https://diode.zone/w/dfSUVRkZFmy4b96K5xbYQR Wed, 14 Feb 2024 05:07:19 GMT Episode 0044 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

Will is also uploading videos to Internet Archive, in addition to YouTube. He's currently uploaded episodes 0001 through 0015.

For example: https://archive.org/details/pl-series-0001

========================================

]]> Unofficial William E. Byrd Education nonadult Uploading videos to Internet Archive as well Episode 0044 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Will is also uploading videos to Internet Archive, in addition to YouTube. He's currently uploaded episodes 0001 through 0015. For example: ... <![CDATA[Will's Skills, Part I: Will's Thoughts on Giving a Talk, Part 1]]> https://diode.zone/w/sD1921DEG2uRB2GkPkPrhQ https://diode.zone/w/sD1921DEG2uRB2GkPkPrhQ Wed, 14 Feb 2024 04:57:06 GMT Episode 0041 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

Will's Skills, Part I

Will's Thoughts on Giving a Talk, Part 1

Give a lot of talks!
  • public speaking, teaching, leading groups, talks to small groups, etc., all count
  • Internet changes things--this YouTube series, for example
Let your own style come through
  • there are almost no rules in giving a talk
    • don't go over time!
    • the slides are not a talk
    • a talk is a live performance
Maslow's Hierarchy of Needs for Talks
  1. show at least one person in the audience something awe inspiring or beautiful
  2. convey the key concepts clearly
  3. clearly express the motivation/context as often as tolerable
  4. make sure the audience can see you (or slides/Emacs)
  5. make sure the audience can hear you
  6. show up where you need to be, at the right time

========================================

]]> Unofficial William E. Byrd Education nonadult Will's Skills, Part I: Will's Thoughts on Giving a Talk, Part 1 Episode 0041 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Will's Skills, Part I Will's Thoughts on Giving a Talk, Part 1 Give a lot of talks!public speaking, teaching, leading groups, talk... <![CDATA[R6RS Scheme Report Training Arc, Part 4, page 5. (The Most Boring Videos Ever Made series)]]> https://diode.zone/w/ajMU4e5jWyyvwhq72YjDEu https://diode.zone/w/ajMU4e5jWyyvwhq72YjDEu Wed, 14 Feb 2024 03:05:33 GMT Episode 0040 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

R6RS Scheme Report Training Arc, Part 4, page 5. (The Most Boring Videos Ever Made series)

R6RS
https://www.r6rs.org/

Chez Scheme Version 10.0.0
Copyright 1984-2024 Cisco Systems, Inc.

(let ((x (+ 3 4)))
(* x x))
49

(+ 3 4)
7

'7
7

7
7

(string? 7)
#f

(number? 7)
#t

'(#\ち #\ち #\か #\か #\ち))
"ちちかかち"

========================================

]]> Unofficial William E. Byrd Education nonadult R6RS Scheme Report Training Arc, Part 4, page 5. (The Most Boring Videos Ever Made series) Episode 0040 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. R6RS Scheme Report Training Arc, Part 4, page 5. (The Most Boring Videos Ever Made series) R6RS https://www.r6rs.org/ -------------------... <![CDATA[Will Makes Horrible Noises -- Part 1]]> https://diode.zone/w/2TrNRLo7SZpFvgkdphg1vv https://diode.zone/w/2TrNRLo7SZpFvgkdphg1vv Wed, 14 Feb 2024 02:50:17 GMT Episode 0039 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

Trying my new keyboard

========================================

]]> Unofficial William E. Byrd Education nonadult Will Makes Horrible Noises -- Part 1 Episode 0039 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Trying my new keyboard ======================================== Original video: https://youtu.be/Lylfi8pPWno, Originally published: 2024... <![CDATA[Will Radio Part VI -- Moar Haftas]]> https://diode.zone/w/1DACnbzZygGPn3irysUFZ4 https://diode.zone/w/1DACnbzZygGPn3irysUFZ4 Wed, 14 Feb 2024 02:39:50 GMT Episode 0038 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You.

Will Radio Part VI -- Moar Haftas

  • Today was another day of intense meetings, calls, and haftas.

Probably a bit too much, but I did want to get unstuck on a could of important tasks.

  • Fancy ergonomic keyboard and mouse and laptop stand are on their way

  • I've decided to pause my writing goals for now. My new writing goal is to be able to write for an hour without pain. Once I get my wrist pain under control, I'll revisit my writing goals.

Probably the goal progression will be something like:

  • writing without pain for an hour

  • writing for multiple 1-hour sessions in a day without pain

  • writing 1,000 words in a day

  • writing 1,500 words in a day

  • writing 2,000 words in a day

  • finishing a draft

  • finishing a book

  • submitting a book

========================================

]]> Unofficial William E. Byrd Education nonadult Will Radio Part VI -- Moar Haftas Episode 0038 of Will's Guide to Programming Languages, Programming, Computation, and What-Have-You. Will Radio Part VI -- Moar Haftas Today was another day of intense meetings, calls, and haftas., Probably a bit too much, but I did want ...