The Eternal Doorman

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 . 

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 . 

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

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...

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 . 

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

See https://reticulum.network/  and  Ian Clarke - Freenet Update . He has a company https://buildwithparallel.com . Subscribe to Data Slayer . I saw this talk at 38C3 on YouTube:  My comment : Poor guy. Nobody's listening to him so he gets no feedback. I think he's doing it wrong. The first few requirements (disaster areas and places with scant network resources) preclude connectivity within minutes. Sometimes some people find themselves in environments where their messages aren't received for years. Also, the ability to communicate with one specific person anonymously is questionable. What's that for? To enable terrorism? Stick to sending poison pen letters you made from cutting words out of newspapers. Austin is nearly connected to San Antonio, ...  Subscribe to FUTO .

See  Meta Are Hiring Intelligence Analysts .  Subscribe to Naomi Karavani . 

This idea about elaborating relations under constraints is really interesting. See  Thorsten Altenkirch on NaÏve Type Theory and An Interesting and Useful Duality  and  Condensing Programs .    See miniKanren, live and untagged: quine generation via relational interpreters (programming pearl) by William E. Byrd, Eric Holk and Daniel P. Friedman and  https://minikanren.org/  for more on Micro Kanren ( 21:00 ). See also  What is Formal Logic?  and  Nada Amin - Metacircular Interpretation ad infinitum . Subscribe to Strange Loop . See A small embedding of logic programming with a simple complete search  by Jason Hemann, Daniel P. Friedman, William E. Byrd and Matthew Might and  Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics by Brysen Pfingsten and Jason Hemann where they describe a web interface to  a semantic model which lets users interactively view the reduction steps. Here are some rela...