Closed marianoguerra closed 1 month ago
π₯ Future of Programming with AI π Definitions and Dimensions of Liveness π₯ Run, Build and Grow Small Systems Without Leaving Your Text Editor
i gave a talk about the "tadi web". it's my idea for how to make computing better!! please enjoy.
i gave a talk about what it means to be "open". it's very important to me!! please enjoy.
Hey. I am working on the Ara project, a social network platform to build projects together. For a general information here is the landing page: ara.foundation
I did the research (Here is the link) and I am quite excited to meet some of the folks that I encountered there. Actually FoC helped me a lot during the research.
As for the sharing, I want to publish the whitepaper, but I need your feedback. Especially critical points if i have the flaws on my thesis.
Much appreciation your feedback
A text editor that supports doodling.
Some previous ways to have text coexist with a canvas:
Here I'm instead attaching doodles to a pivot character that they move with in the presence of edits. When you start drawing you're presented with a set of pivot options, one grey square per character on screen. After you pick one, it turns pink and the other options disappear. Now you can start drawing.
Displacements to the pivot are preserved in font-derived units, so it looks "reasonable" as you resize the font.
Deleting a character deletes all drawings pivoted on it. (But there's undo.)
This took 200 lines, so not too much though it was more than I'd initially expected.
Inspired by this thread.
π₯ doodle
π₯ doodle 2
(Where's everyone else? I'm feeling lonely in this channel.)
I hadn't tried this until today, but it turns out to work: I can create equations forwards and back, and trigger either selectively based on what blanks I fill in.
The fine print: to switch directions I have to fill in the right blank, clear the old blank, and then type in something outside the old blank (to indicate I'm not going to type further into the old blank).
Works better if I clear the old query first, but who can remember that?
Perhaps I should just recompute on every mouse click. Then the third step could be clicking outside any blanks. More wasteful, because most of the time a mouse click won't require recomputation. It's Tadi, but is it permacomputing? π¦
π₯ notebook units
(I'll join in on the fun!)
I've been experimenting with using generative AI inside Github Actions lately and have been really intrigued by this async/event driven interaction model with code generation.
In this repo we have a Github Action that runs every morning and has Gemini, Claude, and GPT-4 generate a PR adding additional functionality. Then on PR merge a release message is sent to our discord with example use cases and each of them riff on what was merged and try to come up with additional related functionality.
I've already merged a few PRs and some of the ideas they've come up with are pretty interesting, especially the riffs - I merged a PR about querying a notion database, and Gemini came up with taking a row in a Notion database and creating an Asana task.
Some of the things they've come up with so far:
Merged a couple more exploring this async AI pattern in some new directions and starting to feel a bit like the sorcerer's apprentice with every PR I merge resulting in 3 new PRs π
Is there any research about 3d user interface? Right now we use the windows from Xerox popularized by Macbooks. But I am considering to make it as a game scene, where everything is represented as a 3d objects. I couldn't find anything related to this, or attempts before. The only close thing for this is the holograms from the sci-fi.
As a reference, I am making a social network, but I want it to be a 3d. As a reference here is the prototype:
youtube.com/watch?v=suOaUQmMSGo&t=144s
I also recorded the new form of interface for the crypto wallets. How the transferring tokens from your address to another is done. If there are any systematic explanation of 3d objects, I would appreciate it. :)
π₯ Screenshare
Despite the variety of creative approaches practiced by different scientists, one tried-and-true though often overlooked β trick for generating new ideas stands out. It may sound trivial, yet it is as reliable as it is simple: talk to someone. By talking with other people, we not only pool the information or ideas that each of us individually lacks, but we are also able to improvise new thoughts that are not accessible to us alone. In this episode, Itai Yanai and Martin Lercher talk through the ideas in two of their editorials (available at nature.com/articles/s41587-023-02074-2 and genomebiology.biomedcentral.com/articles/10.1186/s13059-021-02575-w).
do you know of a good formal specification of the semantics of spreadsheet evaluation?
I've realised what dynamic media and algorave have in common - they're both 80% community development and 15% projector placement
Is there a citation/reference or name for the idea of the gap between the power of spreadsheets and the power of general purpose programming?
This document serves as an overview to the Adobe Source Libraries (ASL). The goal of ASL is to develop the technology necessary to construct commercial applications by assembling generic algorithms through declarative descriptions.
The first two significant libraries in ASL are known as the property model library (Adam) and layout library (Eve). They are components for modeling the human interface appearance and behavior in a software application. The property model library and layout library are described along with related libraries.
SenseMap for Online Sensemaking
What are the challenges in online sensemaking?
Very often, users get lost when solving a task online, such as buying a camera or planning a holiday.
SenseMap captures sensemaking actions and visualise their relationships, making it easier to:
Lex Fridman interviewed the founders of maybe the #1 AI-programming tool atm. With a title like this, should be relevant to this community π. Haven't had a chance to listen yet, but interested to hear thoughts in case any of you find couple hours for this
So many nice ideas in this demo π
βMy simple answer is that we need better programming languages and less AI.β - Alan Blackwell
Naturalizing relevance realization: why agency and cognition are fundamentally not computational
This is a psychology paper, so perhaps not what you usually consume, but I want to encourage you to give this a go. I think itβs super useful to leave our bubble from time to time and learn about what other disciplinesβ perspectives on computation are. Iβll quote the summary at the end, but there is so much more building up to that that you donβt want to miss, certainly not before commenting on it. :)
The view that intelligence equals some kind of computational optimization is no longer tenable. It does not help us make sense of a large world. Therefore, claims that the study of intelligence is converging onto computational rationality as its ultimate foundation are not only premature, but outright misguided. Quite the opposite: we have shown here that the basic foundation of natural agency and cognition, and therefore of anything we could reasonably call βintelligence,β cannot be computational at all because it cannot be completely formalized. The dream of generating purely algorithmic systems able to think and act like human beings is and remains a pipe dream, because purely symbolic machines exist in small worlds, in which there is no problem of relevance to be solved.
βWhy Computing Education is Critical for Democracyβ by Mark Guzdial
Nice behind the scenes of the custom tool and workflow to create 3Blue1Brown videos
I think it reinforces the idea that Effective system design requires insights drawn from serious contexts of use
Just got the Realtime API working observablehq.com/@tomlarkworthy/openai-realtime-api in a pure browser (and forkable) browser implementation. Was quite complicated getting the audio working in a browser, there is a vid inside. I was building this for my daughter so she could have a decent cyber pet/tutor, but the running costs are actually insane, I spend $90 in 2 days building this π So I think I will actually switch to push-to-talk interaction for the actual thing.
[ ] Change Month and Week Number
[ ] focWeekExport "2023-01-19" "2023-01-26"
[ ] Update Search Index
[ ] Download New Attachments
[ ] Update links
[ ] Check that comment links work (push weekly dump with channel summaries)
[ ] Check to mention right person for moved messages
[ ] Summary
[ ] Hashtags
[ ] Set title in newsletter
https://tinyletter.com/
https://tinyletter.com/marianoguerra/letters/
http://localhost:8000/history/
https://marianoguerra.github.io/future-of-coding-weekly/
https://stackedit.io/app#