Posts

Symbolics-ology

Image
It's what big tech might have been,...   Give or take an infinity of REPLs. See  Nada Amin - Metacircular Interpretation ad infinitum .  Subscribe to Laurie Wired . Subscribe to Kalman Reti .  There's some of the fraught MIT origin story of this company in the Epilogue to Steven Levy's book Hackers . See  How to Write An Emulator . 

Computer History Museum interview with John Chowning

Image
See  Amy Sandoval Interview With John Chowning  and  Amy Sandoval on Why The Yamaha DX7 Synthesizer Was Such A Thing . This interview is very different to the one he did with Amy.  My comment : That story ( 7:26 ) about needing five minutes of computer time to create two seconds of audio makes me feel like a spoiled brat! 😂 [See also 1:03:59 ] See  Entire MIT ITS Emulation Running on a Raspberry Pi 5 . 23:17 What's next for computers and music? He's hopeful! There are people who do have imagination. See  Szymon Kaliski - "Programmable Ink" .  35:15 His early experiences with reverberant environments. 37:30  acoustically characterizing spaces. See  Chavín de Huántar Archaeological Acoustics project . 1:29:58 The Samson box . It's in Paris now and they want it back!  Transcript of the interview available at  https://www.computerhistory.org/collections/catalog/300000261/ . See also  https://ccrma.stanford.edu/ . Subscribe to C...

About Logic - Interview with Jan von Plato

Image
Subscribe to About Logic . 

Emily Zhang - How to Find a Four-Leaf Clover

Image
There are some interesting statistics in here.  Her Lorem Ipsum video is really brilliant.  I didn't watch this for ages because I thought I knew what it was about. Shame on me! Her Patreon: https://patreon.com/rabbitholevideo . Subscribe to Rabbit Hole .

Siddhartha Prasad on Modern Pretty Printing

Image
You could do something like this for any output language though, I mean HTML or whatever. So you could interactively explore infinite output  from streams or non-terminating reduction processes.  Subscribe to  ACM SIGPLAN . 

Jessica Foster on Clever Ways to do Language Embeddings

Image
See Contextual Embeddings: Implementing Bound Variables through Instance Resolution by Samantha Frohlich, Jessica Foster, G. A. Kavvos and Meng Wang.  I don't know if this is really Jessica Foster , internal evidence suggests the speaker is Samantha Frohlich.  See  About Logic - Dependent Types .  Subscribe to  ACM SIGPLAN . 

JCB Digger Going 400+ MpH

Image
They had to take the digging buckets off though, to get it to go that fast.  Subscribe to NYPost . 

Sukyoung Ryu - Programming Language Research for Technical and Social Good (KAIST)

Image
Developing mechanized specifications for JavaScript, WebAssembly, and P4 . This is what I meant by Metaprogramming and it works. This project was funded by the Korean Government. I wish I could pay them my income tax.   See https://wasm-dsl.github.io/spectec/ and https://github.com/es-meta/esmeta . Jihyeok Park - Trusted JavaScript Language Environments with ESMeta. See https://github.com/es-meta/esmeta   Xiaohong Chen - Programming Languages Must Have Formal Semantics. Period. See https://kframework.org/ The panel discussion on Real-World Programming Languages The Rust guy goes on and on and on. Definitely too much 'real-world' there. The problem is a huge chunk of what some people call the real world is just what Edsger W. Dijkstra called "Getting lost in complexities of your own making" and a lot of the real world just isn't in the purview of programming language and operating system designers at all because it is completely and utterly beyond reach. I mean t...

Defensive Podcasts - Fun with VPNs

Image
My comment : So it's not actually a VPN in that case, is it? I'm not even sure you could call it a VN. It's just an ordinarily FUN. Subscribe to Defensive Podcasts . 

Asianometry - Ways You Never Thought You Could Use Fiber Optic Cable

Image
Well, if you're like me, ... Subscribe to Asianometry .