Wondering if you're familiar with Starlost, a project Ellison worked on. (relevant to what you talked about - Ellison didn't like his work being changed).

"Harlan Ellison ... reading some of his SCI FI." seriously? I Love Ellison, love love love - some of the best fantasy and SF / Science Fiction (NOT SCI FI) Pretty Maggy Money Eyes A Boy and His Dog Repent Harlequin !!!!!

hi Will!

Will: I am somewhat familiar with Scheme and the literature you describe in this interesting video. For example, I have solved all the problems in SICP, none of the meta-circular stuff at the end of the book, and rea, somewhat superficially, the chapters in the middle. But there are two features of Scheme that I keep getting stuck on, maybe because most of the literature is not quite recent enough. These are, First,I can't "grok" how hygienic macros work, especially the optional arguments to `syntax rules'. Second, I don't understand how `call/cc' works. To be precise, I can wrap my head around the syntax of both features , but cannot, despite my honest efforts, understand how they're usefully applied in the real world. So, what literature should I read, or what projects should I work on, to make progress on undertanding and using these language features? I would appreciate any suggestions you might have!

This seems like the old idea that in the future, we would all be programming by drawing pictures, right? Or maybe we will put on gloves and manipulate neo-platonic abstract forms in a pseudodomain, like Johnny Mnemonic. All to avoid articulation. It's interesting to walk into a modern dev shop today and see everyone using Vim and T-mux after hearing about "visual programming" for so long.

Wow I brought this up with many of my math teachers and they all told me I was the dumb one and the math was made by geniuses I AM VINDICATED

Seems that thesis never arrived

How do I map relational programming to machine code(assembly) if I build a programming language around minikarren. I dont get it.

8:21 the silence after he said that...

I swear to god if I had 48 hours a day I would binge watching your channel day in and day out. Unfortunately we only have 24 hours but I would try to check out your channel from time to time. Looking forward for that 1200 videos dude, cheers

Love scheme, but so many implementations and its hard to navigate through

Watching parts of Bill's talk "William E. Byrd, "A New Relational Language" right now. William is indeed a Rare Byrd.

I also tried reading through Albert's cell biology book once. Currently I have this idea that if I'll be able to make executable notes in Scheme for everything, then I should be more willing to go through such topics. Anyway, it's good to see you're back!

A general critique / request -- and this applies equally to others in the IUCS 'cult' -- when you refer to IU-specific courses, it'd be helpful if you explained *what* the course is, rather than saying some numbers that are meaningless to those of us on the outside -- they might as well be GUIDs for those of us unfamiliar with the mapping between course numbers and topic / content.

This would be much easier to understand with types. There's some strange punning going on here between continuation invocation and function application ... and they're not quite the same. One is a `call` and the other is a `jmp` (in asm-speak), and conflating the syntax to be `(f x)` and `(k x)` obfuscates this. When CPSing, the continuations *are* literally functions ... but the top-level (abortive / jump-back-to-REPL) continuation (I think you referred to it as a 'system continuation'?) is *not* a function in any ordinary sense -- it does *not* map values from a domain type to values in the codomain type. Oh, right ... oof: The abortive continuation must have a type like `a -> _|_` (where `_|_` is an(y) uninhabited type) ... and, poof, we're at Classical logic / double-negation elimination (Curry-Howard).

Very relatable, it sounds like you're feeling really good about this change. If I can take one thing off your plate: at some point I'd like to get back to language runtimes, and I've often wondered what you would like to see in a universal runtime to support relational queries on code. Do you have any thoughts on that written down? Or is Chez+miniKanren everything you want? I'm only just discovering your channel, so maybe there's already something and I haven't found it yet.

I mean if you say we can do it, let's go. Let's learn some miniKanren!

You might not be a finisher, but I like your talks on Scheme. Great content

great video will. i definitely relate to being too spread out because i am interested about everything. in fact, you my friend are my patron maven of one such fascinating avenue which has nothing to do with my work! i am not a career programmer, computer science is a hobby. i love scheme and minikanren, but it only spreads me thinner. so following with your takeaways here, i'm going to consolidate my efforts into my One Thing. i'll try to keep up with you. also i just was in japan for 10 days and this video was my wake up call that i do not need to learn a third language right now.

Hi Will, this is Brett Schreiber. Really appreciate your honest reflection and I'm excited to see what comes next.

Interesting video, and respect for owning faulty assumptions

Hi Will, I’m becoming a fan of scheme. I found that installing Chez Scheme on my ancient Thinkpad and writing code much easier than Clojure. Not a fan of Java or the JVM. It has its place, but the user experience was horrible- similarly Haskell. Beyond the research aspects, the power of any language comes from the variety of libraries. Look at Python. I hope to find ways of making Scheme a practical language for program development but the libraries will have to be there.

Touho Bossa Nova is too good

1:41:00 one more cool thing; 1:47:30 intuition

50:30 yin yang puzzle

bookmark 45:00; to skip interesting but tangential c digression 30:15

Imagine leaving a beautiful, typed, lazy language like Miranda for ... Scheme (rather than Haskell). Mistakes were made.

Thank you for the video, Will! The reversible computing series is my favourite, and it is unique on youtube.

why

If ye be depressed or are schizzing out, please read my channels summary. I believe the tools detailed will help you immensely.

I've been trying a similar approach with Japanese. Instead of going in raw like you however I've decided to watch Midnight Diner episodes w/o subs since I've watched those a couple of times with subs and generally know the story. This let's me better understand conversation since I vaguely know its context. YMMV

About learning Japanese, you may be interested to know that Matsuo Basho's Oku no Hosomichi is available on Librivox as a Japanese audiobook. I highly recommend checking it out.

Whoops--I meant Tom Knight, not Ted Knight! Been watching too much Caddyshack! Sorry, Tom!

I was really looking forward to this one. Thanks for not giving up! :)

How about an ##imperishable at Libera?

Eagerly waiting page 8 😀

How does reversible computing deal with causal invariance?

Can you make reversible cellular automata?

Forgive me for asking this dumb question, but... what is the training arc?

Regarding 'interesting functional programs', I think they could also have meant the "delay" and "force" operator

Regarding the distinction between "procedures and symbols", I think the point is that in some older Lisps (or even Common Lisp) there isn't a clear distinction between some pre-defined symbols (such as + or *) and their function (in this case, addition and multiplication, respectively)

that is so good! have you tried lubing it?

you kinda look like kanye west, if you squint your eyes a little

Heck yeah 😂 extremelly scratchy. How do people film their rooms without first cleaning up? You still need your parents my guy 😂

I think the error message was in the buffer too. It mentioned Type was not bound, and that word was part of the error message.

im glad i have a normal keyboard

dvorak is comfortable. don't think about speed

You can consider using a trackball mouse too. I switched and it increased my comfort by a considerable amount.

I love my kinesis... but it's a bit more thocky.

12:05 , 2:11 : I would suggest getting a Magic Trackpad 2 and placing it between the halves of the Kinesis keyboard, as close to either one thumb or the other as you can get it, on a little riser that brings it up to the height of the inside edges of the Kinesis surface. I would try to use that centrally-placed touchpad for most pointer movement, and leave the Logi mouse to the right of the keyboard for situations where extended use of a "real" mouse makes sense. Probably the biggest problem with most conventional KBM setups is the long delays whenever you have to move a hand from keyboard to mouse and then back to keyboard within a short space of time. Laptops with large trackpads nigh-solved that problem, purely by accident, while unfortunately most dedicated keyboard setups do nothing about it except chase the hope that software OS and app configuration can eliminate mouse inputs.