search

marianoguerra / future-of-coding-weekly

repository to work on future of coding weekly newsletter
https://tinyletter.com/marianoguerra/
32 stars 3 forks source link

Future of Coding Weekly 2022/07 Week 4 #144

Closed marianoguerra closed 2 years ago

marianoguerra commented 2 years ago
marianoguerra commented 2 years ago

🎙 Future of Coding 57: Kay & Goldberg • Personal Dynamic Media 🧑‍🔬 Dependent Type & Proof Assistants 📢 Third LangJam

Two Minute Week

🎥 GlooEye Week 3: Display & Output Views, HTTP Request Output, Data Outline via Mariano Guerra

🧵 conversation

Thumbnail

Try It! instadeq.com/experiments/glooeye/v3

marianoguerra commented 2 years ago

Two Minute (Last) Week

📝 Last week I forgot to include the Two Miute Week updates so here they are

🎥 Flyde progress via Gabriel Grinberg

🧵 conversation

Thumbnail

Hey all, I'm Gabriel, and this is my first time sharing Flyde here - a flow-based programming platform I've been working on lately.

I'm a big fan of FBP and am convinced it didn't catch due to 2 factors:

  1. previous attempt's had GUIs that weren't good enough. They didn't take complete advantage of the visual layer

  2. implementation was hard and integration with existing workflows (ci/cd, version control) was almost impossible

Feedback is welcome! and looking forward to share more progress in the future 🕺

marianoguerra commented 2 years ago

🎥 Continuation passing HTTP fetch & JSON type provider dependent on the type that is needed via Peter Saxton

🧵 conversation

Added continuation passing HTTP fetch to my language. Also implemented another type provider to decode JSON dependent on the type that is needed.

marianoguerra commented 2 years ago

🎥 GlooEye Week 2: Preview UI Nodes & Layout Improvements via Mariano Guerra

🧵 conversation

Thumbnail

Video Topics:

Try it at instadeq.com/experiments/glooeye/v2

marianoguerra commented 2 years ago

Our Work

📜 akkartik.name/archives/foc via Kartik Agaram

🧵 conversation

Some changes to akkartik.name/archives/foc that I made a while ago and forgot to mention: I created the most obvious index pages at each level. In particular, channel indexes show every single top-level pos t in the history of our community. Makes for interesting browsing. I'm curious to see if it'll kill my server :)

Reminder also that there are per-user introduction pages like akkartik.name/archives/foc/introduce-yourself/Ivan-Reese.html and a bookmarklet to select/type in any name here to get to their intro(s). I should create a PR to add this stuff to futureofcoding.org/community

marianoguerra commented 2 years ago

🎙 Future of Coding • Episode 57: Alan Kay & Adele Goldberg • Personal Dynamic Media via Ivan Reese

🧵 conversation

In stark contrast to the dismal, overbearing weight of last episode's Augmenting Human Intellect, this episode features a paper that is playful, joyful, a thing of charm and wonder. I'm no longer lamenting the future we could have had but didn't (mostly), and Jimmy does all the heavy lifting in terms of bringing sharp analysis and thoughtful reflection despite my best efforts to derail him. As usual, I'll throw a little extra flavour in the thread.

Enjoy!

marianoguerra commented 2 years ago

🎥 Week 29: Universal App via Peter Saxton

🧵 conversation

I've made a universal app in my language, single program running across multiple machines with function scope defining all interaction between the two computers.

A server function can simply return a function that will be the client app. All variables in scope on the server and used by the client are available on the client. But the client has no way to extend the environment it is sent so does not see any value it is not meant to use. This was enabled by implementing an interpreter, my language was compiled only before this. The server function captures the AST of the inner function and compiles it before sending to the client. Because the inner function is compiled it is still fast on the client. I don't know if there are any other languages that do this. But I am interested to see where this idea can take me.

marianoguerra commented 2 years ago

Reading Together

💬 Nilesh Trivedi

🧵 conversation

Started reading this book to learn about Dependent Type Theory which is used in proof-assistant systems like Lean/Coq.

image.png

marianoguerra commented 2 years ago

Content

📝 incredible.pm via Nilesh Trivedi

🧵 conversation

I’m fascinated with this visual proof assistant (although, not quite as powerful yet as Coq/Lean)

marianoguerra commented 2 years ago

📝 Personal repository of formally verified mathematics via Kartik Agaram

🧵 conversation

Following the theme, a neat repo of Coq proofs I just discovered:

github.com/stepchowfun/proofs

I don't know much about this space, but a gateway drug like this might help me get into it.

marianoguerra commented 2 years ago

🎙 Building Better Systems Podcast via Tony Worm

🧵 conversation

Podcast about formal methods & verification

marianoguerra commented 2 years ago

🐦 Tweet from @jackrusher via Jack Rusher

🧵 conversation

Video shared in tweet form to preserve the commentary:

🐦 Jack Rusher: Don't let familiarity trap the world in an interface local maximum!

For example: if someone tells you that your UI idea won't work because it's not as intuitive as a mouse, show them this video of people trying to use a mouse when they were new.

🎥 The Strauss Mouse

marianoguerra commented 2 years ago

🎥 [POPL'22] Principles of Programming Language Translators via Tony Worm

🧵 conversation

Thumbnail

marianoguerra commented 2 years ago

💬 What are some cool but obscure data structures you know about? via Shubhadeep Roychowdhury

🧵 conversation

Any thoughts on the Data Structures discussed here?

marianoguerra commented 2 years ago

📢 Welcome to the third langjam! via Paul Tarvydas

🧵 conversation

The theme of jam is: Beautiful Assembly

marianoguerra commented 2 years ago

https://tinyletter.com/marianoguerra/letters/future-of-coding-weekly-2022-07-week-4