marianoguerra commented 2 years ago

[x] Change Month and Week Number
[x] focWeekExport "2022-01-19" "2022-01-26"
[ ] Summary
[ ] Hashtags
[x] Check that comment links work (push weekly dump with channel summaries)
[x] Check to mention right person for moved messages
[x] Update Search Index
[x] Download New Attachments
[x] Update links
https://tinyletter.com/
https://tinyletter.com/marianoguerra/letters/
http://localhost:8000/history/
https://marianoguerra.github.io/future-of-coding-weekly/
https://stackedit.io/app#

marianoguerra commented 2 years ago

🎥 Projectional Functional Demos ⚖️ NoCode doesn't Scale 🎹 A Machine for Thinking: Douglas Engelbart

Two Minute Week

🎥 Message passing for universal web app via Peter Saxton

I got my message passing working for my universal web app. By my definition universal is where a single program, single language and single type environment extend over client and server.

marianoguerra commented 2 years ago

💬 Tom Larkworthy

🧵 conversation

I have been trying to figure out a better way of providing video accompaniment to computational notebooks. I think I am getting closer to something that is genuinely better than an embed, with a tiny amount of code I can provide a "skip to " which I think makes navigation within videos so much better.

🎥 clearvids

marianoguerra commented 2 years ago

🎥 GlooEye Week 4: Slack API, Markdown Support, JSON Interactions via Mariano Guerra

🧵 conversation

Thumbnail

00:05 Slack API
00:35 Post Message Endpoint
01:02 Slack Block Kit Support & Live Preview
01:53 Send Message to Slack
02:32 JSON Collapse/Expand One/All
02:54 Conversation List Endpoint

marianoguerra commented 2 years ago

🎥 Inframe: Data Sync Framework via André Terron

🧵 conversation

Thumbnail

What is Inframe
Added .env support
Discussed design for: How to sync data into your data source.

marianoguerra commented 2 years ago

Our Work

🎥 2022-07-27: A new note-taking app via Kartik Agaram

🧵 conversation

Step 2 in my grand plan for a mini empire of LÖVE apps (video; 5 minutes)

Not yet released, though. This is just a preview.

(Previously: 💬 #share-your-work@2022-07-03)

marianoguerra commented 2 years ago

💬 Jim Meyer

🧵 conversation

UI code was always meant to be edited visually at 60 FPS on a canvas in a code-native design tool.

marianoguerra commented 2 years ago

🎥 Projectional Functional Demos by Yair Chuchem

🧵 conversation

A meetup of projects sharing the vision of developing a projectional editor for a new functional statically typed programming language: Unison, Lamdu, Dark, Hazel, Roc, Frugel.

🎥 Projectional Functional Typed PLs Meetup

marianoguerra commented 2 years ago

Thinking Together

💬 Hamish Todd

🧵 conversation

I have a question about experiments with flow-based (eg wires and boxes) programming. The main thing people complain about with them, with very good reason IMO, is how complex programs become unreadable spaghetti. By comparison, seeing code in an editor, in general, appears as a zoom-in on a few lines of code. This lets you ignore the complexity of the rest of the surrounding program - or at least temporarily avoid being bothered by it.

To remedy this problem, I am guessing some people must have made auto-hide systems for flow-based programming. The equivalent of what code-in-editor has by default: you can't see the code above or below the cutoffs of the window. What are examples of systems doing this? Jack Rusher

marianoguerra commented 2 years ago

💬 Peter Saxton

🧵 conversation

Has anyone seen an implementation of a structural REPL? Structural Editors are great but is there something that could be both structural and a repl. I'd love to be able to open a structural repl at a point in my program and investigate at that point.

marianoguerra commented 2 years ago

📝 incredible.pm via Nilesh Trivedi

🧵 conversation

A few days ago, I shared a link to this visual theorem proving system: incredible.pm

It doesn’t have Dependent Type Theory yet, so it can’t quite do theorems about natural numbers yet. But it does go all the way to Simply Typed Lambda Calculus.

I found it fascinating and have been solving the puzzles. Here’s an idea that it triggered:

What if we could build physical Lego-like blocks that represent these kind of reasoning and their shapes and ports support syntax-less proofs? Wires can carry truth values just like this simulator and variables can be introduced with specific connector shapes. Bugs like cyclic reasoning etc can probably be detected with feedback/amplification etc.

May be the idea is far-fetched but there are examples of people using physical programming blocks which are Turing-complete like Scratch and the block shapes naturally eliminate syntax errors and basic mistakes.

marianoguerra commented 2 years ago

💬 Jimmy Miller

🧵 conversation

A lot of us here have projects that we are working on. Or ideas we'd like to see become reality.

But I'd bet that many of us feel we haven't been able to get things to be the way we want them. Maybe we make prototypes and they fall short of our goals. Maybe we can't express our ideas well enough. Maybe we never put the ideas in any tangible form.

I'm curious about everyone's thoughts on if there is something that could be done about that. Could we as a community help? Is there a structure that you think would help? A societal change? A personal change?

marianoguerra commented 2 years ago

📝 A theory of digital objects via Orion Reed

🧵 conversation

I’m writing a paper on the notion of “digital objects” and would seriously appreciate any papers/sources that explore this idea (the notion of digital “things” in general, not OOP-specific). The notion of an “object” is one of the most basic and fundamental ideas in philosophy and it has received surprisingly few treatments in the context of computing given its importance.

I have many thoughts on the significance of the question, and have developed a tentative theory of digital objects that I think is well supported and useful. But at the moment I’m just trying to gather more literature and perspectives (as in, your perspectives!) .

A few related phrasings to the question that I’ve seen around: In what ways do digital things exist? What is the nature of digital “stuff”, What defines a computational entity?, etc. While “object” is really the proper term here, there are others that get used often like entity, item, thing, or unit.

Some sources that explore this question:

A theory of digital objects

On the existence of digital objects

Theorising the digital object

and for reference here are wiki pages for objects (in computer science) and objects (in philosophy)

marianoguerra commented 2 years ago