HN Theater @HNTheaterMonth

From a quick google, likely from a talk on Youtube. Matching section timestamped - https://youtu.be/O3tVctB_VSU?t=2346

⬐ Rochus

Thanks. Very impressive to hear this from the Scheme pope himself. This should make all dogmatists think.

⬐ swyx

isn't it amazing in this day and age we can just google a 7 year old quote and basically pull up the actual video of it instantly and send it around timestamped?

some days technology sucks, but other days its a wonder it works as well as it does

there are whole other paradigms, eg https://m.youtube.com/watch?v=O3tVctB_VSU

⬐ i_don_t_know

Briefly glancing through the slides, this appears to be based on the work in "The Art of the Propagator" by Alexey Radul and Gerald Jay Sussman.

[PDF] https://dspace.mit.edu/bitstream/handle/1721.1/44215/MIT-CSA...

See also the recent discussion: https://news.ycombinator.com/item?id=20405183

⬐ dang

Discussed at the time:

https://news.ycombinator.com/item?id=3163473

https://news.ycombinator.com/item?id=2820118

⬐ rfreytag

Should I be including the previous discussions in a comment to these re-posts to save you the trouble?

Or have you automated the adding of these references?

⬐ dmix

I could listen to Sussman talk about computers for days.

I’m jealous of the kids at MIT who got to be his student.

⬐ sadlion

I feel the exact same way. I really appreciate that he clearly defines concepts, explains the rules and demonstrates with concrete examples of what he is talking about.

⬐ nanomonkey

Quite a few of his MIT lectures are online, like the SICP lectures: https://www.youtube.com/playlist?list=PL8FE88AA54363BC46

⬐ dmix

Oh I know, I’ve watched all of those twice. I adore those lectures. It’s what converted me from a frontend dev dabbling in backend programming into a dedicated programmer ~10yrs ago.

They way they approach programming using Scheme, building complex concepts from nothing like Lego blocks. Plus it contains one of the best explanations of abstraction which is probably the most important and powerful part of programming, that really blew my mind back then. Choosing when and how to balance abstraction in your code is still a daily challenge, even as I’ve matured as a developer, which makes me think back to these lectures often.

⬐ nanomonkey

I'd love to find videos of lectures done for SICM (Structure and Interpretation of Classical Mechanics). I've been wanting to go through the book (possibly attempting to do the work in Clojure?) for some time.

⬐ tenaciousDaniel

As someone who is a self taught front-end dev, this comment has peaked my curiosity. I'll now have to give these lectures a listen over the weekend.

⬐ mattcaldwell

piqued

⬐ tenaciousDaniel

You learn something new every day.

⬐ tosh

on infoq: https://www.infoq.com/presentations/We-Really-Dont-Know-How-...

⬐ lidHanteyk

I wanted to see the slides, so I tracked them down: https://github.com/strangeloop/2011-slides/blob/master/Sussm...

⬐ jgeada

Interesting: what is being described is a computational paradigm very similar to traditional hardware description languages (Verilog, SystemVerilog, VHDL, etc)

I've only just heard of it from a talk he gave a few years back [1]. Not sure whether he's continued working with it.

[1]: https://www.youtube.com/watch?v=O3tVctB_VSU

Sussman of SICP fame gave a similar analogy. Not really about messaging but about biology in general - https://www.youtube.com/watch?v=O3tVctB_VSU

Previous HN discussion: https://news.ycombinator.com/item?id=3163473

Direct download link for slides: https://github.com/strangeloop/2011-slides/raw/master/Sussma...

Youtube: https://www.youtube.com/watch?v=O3tVctB_VSU

Here is how Gerald Sussman feels at least about computer languages. https://youtu.be/O3tVctB_VSU

Hal Abelson on Computer Science Education https://youtu.be/fqtlQWmRvvk

We Really Don't Know How to Compute: Gerry Sussman - https://www.youtube.com/watch?v=O3tVctB_VSU

Zebras All the Way Down: Bryan Cantrill - https://www.youtube.com/watch?v=fE2KDzZaxvE

Jonathan Blow on Deep Work: Jonathan Blow - https://www.youtube.com/watch?v=4Ej_3NKA3pk

Simple Made Easy: Rich Hickey - https://www.infoq.com/presentations/Simple-Made-Easy

Effective Programs - 10 Years of Clojure: Rich Hickey - https://www.youtube.com/watch?v=2V1FtfBDsLU&t=845s

The Last Thing D Needs: Scott Meyers - https://www.youtube.com/watch?v=KAWA1DuvCnQ

⬐ christophilus

The first time I watched Simple Made Easy, I didn't like it, even though I'd written quite a few situated programs in my day. A year later, I'd learned Clojure and re-watched it, and it all made so much sense. It's now one of my favorite tech talks.

⬐ alecco

(via Deep Work)

How to Depth Jam: http://chrishecker.com/The_Depth_Jam

⬐ DaviedGabriel

I hope I found We Really Don't Know How to Compute: Gerry Sussman talk with better resolution and camera on the board

⬐ lerax

Gerry Sussman talk is awesome and reflects very well the currently state of computer programming. It's a shame. The worse part: there is people around us with a lot of pride ABOUT DON'T KNOWING TO COMPUTE BUT STILL DOING [INNEFICIENT] THINGS. (sorry for the caps, good bye)

⬐ 0xbadcafebee

Rich Hickey's Greatest Hits: https://changelog.com/posts/rich-hickeys-greatest-hits

⬐ corysama

More Rich Hickey: https://github.com/tallesl/Rich-Hickey-fanclub

⬐ stretchwithme

Rich Hickey is great. I remember his Simplicity Matters keynote at Rails Conf 2012. So clear and insightful.

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

Being able to explain a complex topic to diverse audiences is not easy to do. Rich does it very well.

⬐ afro88

Link: https://youtube.com/watch?v=rI8tNMsozo0

⬐ stretchwithme

Thanks. Forgot about that.

I posted the link elsewhere but if you take a look at this talk https://www.youtube.com/watch?v=O3tVctB_VSU it will give you an idea of where Sussman is coming from.

Also, I think right in the beginning of the very first lecture of the series Abelson talks about Computing as a way of codifying processes. In the link I included, Sussman says flat out that what he's interested in is using Computing as a better way to teach physics.

I took Classical Mechanics in college and laughed many times watching this https://www.youtube.com/watch?v=O3tVctB_VSU as Sussman was right on point about many things.

Think about a mutable variable. In an imperative program X can start with A, then become B, then become C, etc. In a functional program, you can say that X doesn't change, instead there's really a subscript: X0=A, X1=B, X2=3. That is, you're projecting the time dimension, which is implicit, linear, etc, on to a space dimension: The name of the variable expands from ["x"] to ["x", 1] etc.

Monads are the (an?) ultimate exploration of this idea. You project the timeline of the entire world on to a space dimension. Each "bind" operation builds up a new world and you can have many forks of the world, as it's just a model, not the world itself. This model doesn't do anything until you "run" the monad by handing it off to some higher level interpreter.

As for constraint satisfaction, check out Sussman's talk "We Really Don't Know How To Compute" <https://www.youtube.com/watch?v=O3tVctB_VSU> - Even though they implement the propagator networks with a message queue and a single thread, you could in theory run each propagator in parallel, sending messages back and forth.

⬐ andreareina

Writing another comment, I had the thought that time is still present in the functional paradigm, though not in the same way as it typically presents in the imperative paradigm. This is a great way of thinking about it, thanks.

The convergence of 3 big ideas in graph computing:

1. D4M: Dynamic Distributed Dimensional Data Model

http://www.mit.edu/~kepner/D4M/ GraphBLAS: http://graphblas.org

Achieving 100M database inserts per second using Apache Accumulo and D4M https://news.ycombinator.com/item?id=13465141

MIT D4M: Signal Processing on Databases [video] https://www.youtube.com/playlist?list=PLUl4u3cNGP62DPmPLrVyY...

2. Topological / Metric Space Model

Fast and Scalable Analysis of Massive Social Graphs http://www.cs.ucsb.edu/~ravenben/temp/rigel.pdf

Quantum Processes in Graph Computing - Marko Rodriguez [video] https://www.youtube.com/watch?v=qRoAInXxgtc

3. Propagator Model

Revised Report on the Propagator Model https://groups.csail.mit.edu/mac/users/gjs/propagators/

Constraints and Hallucinations: Filling in the Details - Gerry Sussman [video] https://www.youtube.com/watch?v=mwxknB4SgvM

We Really Don't Know How to Compute - Gerry Sussman [video] https://www.youtube.com/watch?v=O3tVctB_VSU

Propagators - Edward Kmett - Boston Haskell [video] https://www.youtube.com/watch?v=DyPzPeOPgUE

⬐ lowglow

So many good links here. Most interested in Dynamic Distributed Dimensional Data Model.

What are you working on?

⬐ espeed

PUFR http://pufr.io (IoT security startup), and for the last few years I've been doing R&D on the design of a graph computing model that unifies some of the ideas above.

Reminds me of a fascinating talk by Gerald Sussman at Strangeloop.

We Really Don't Know How to Compute! https://www.youtube.com/watch?v=O3tVctB_VSU