You are viewing archived messages.
Go here to search the history.

Shubhadeep Roychowdhury 2021-08-09 11:09:56

The Most Beautiful Program Ever Written – Lisp Interpreter Written in Lisp - https://www.lvguowei.me/post/the-most-beautiful-program-ever-written/

Kartik Agaram 2021-08-09 14:49:34

Cross-link to where we had a small amount of discussion about the Wiliam Byrd video: https://futureofcoding.slack.com/archives/C5U3SEW6A/p1622611291035500

[June 1st, 2021 10:21 PM] ak: William Byrd time

https://www.infoq.com/interviews/byrd-relational-programming-minikanren

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

After being vaguely aware of miniKanren for a decade or so, I seem to finally be colliding with it when I'm ready for it (thanks to https://futureofcoding.slack.com/archives/C5T9GPWFL/p1622304307031200?thread_ts=1622048775.021900&cid=C5T9GPWFL and https://news.ycombinator.com/item?id=27359963)

Brian Hempel 2021-08-10 04:43:32

The LIVE 2021 submission deadline has been extended to Aug 19! http://liveprog.org/ “The LIVE 2021 workshop invites submissions of ideas for improving the immediacy, usability, and learnability of programming.”

Scott Anderson 2021-08-10 22:17:06

I don't see a thread on OpenAI codex so I'm starting one

https://openai.com/blog/openai-codex/

Scott Anderson 2021-08-10 22:17:32

Definitely watch the linked demo (currently on Twitch, I imagine it will be on YouTube in the future)

Scott Anderson 2021-08-10 22:17:59

pretty impressive demo of natural language with very high level directives to code translation

Scott Anderson 2021-08-10 22:18:39

One thing that stands out about it is is how much control the programmer is giving to the application in terms of decisions

Scott Anderson 2021-08-10 22:21:05

but I like the idea of writing a very high level description of a game, getting working for it, and then tuning and refining it, either by modifying the code or refining the high level description\design doc

Scott Anderson 2021-08-10 22:21:31

I'm talking about games just because that's what the demoed, and I work in the space, replace game with application, tool, etc.

Tomas Čerkasas 2021-08-10 22:23:52

Cool stuff, thanks for sharing! Agree that the specificity level should somehow be adjustable - you, as a developer, might want to start from defining high-level user stories and then, once you’re happy by the prototype, you might be willing just to define some specific pieces of logic to be defined by you yourself…

Scott Anderson 2021-08-10 22:35:07

and I think Codex will allow for it, but I can't say for sure until I actually get my hands on it

Scott Anderson 2021-08-10 22:36:00

Still it feels challenging to actually control the output of GPT-3 via prompts only with no fine-tuning, so maybe that won't be the case

Nils Berg 2021-08-11 18:58:03

My take is that they've made a (very) high-level programming language that only the AI knows the syntax for.

The immediate association in my mind was someone asking Siri/Alexa/Google Assistant for something, and rather than saying "I don't know how to do that" it does something else that sounds similar

Scott Anderson 2021-08-11 22:33:45

I think that's spot on

Scott Anderson 2021-08-11 22:35:51

the syntax is also non-deterministic, it will give you a set of probable solutions, which I guess with enough specification there might be only one of

Florian Schulz 2021-08-11 07:16:06

Inspiration: An example of zooming in/out of a text document. In contrast to a “Minimap” in Visual Studio Code, this one displays the text in multiple columns and uses color coding that is not for syntax, but for “level of confidence”.

https://twitter.com/AShendruk/status/1425153051669766147

🐦 Amanda Shendruk: One of the coolest things about the @IPCC_CH #ClimateReport is that the authors are so confident about the science — they even tag sentences with their confidence!

So, naturally, we visualized it.

(And we summarized every chapter, too)

http://qz.com/2043894/what-d|qz.com/2043894/what-d…

Tomas Čerkasas 2021-08-11 10:21:54

^ This is so cool. I am huge proponent in using color-coded data tables, they just communicate so much more meaning than just pure figures in a table. Very nice to see this applied to textual statements. Thanks for sharing!

Florian Schulz 2021-08-13 07:58:14

The new https://processing.org features a structured editor that allows anyone to create a variation of the new logo. While the editor shows code, all manipulations can only be made using the mouse (scrubbers).

📷 image.png

Dalton Banks 2021-08-13 12:28:41

It wants to be backdrivable so bad 😜

Florian Schulz 2021-08-13 13:52:14

What does that mean?

Szymon Kaliski 2021-08-14 07:23:30

directly manipulatable from the drawing? - I tried a generic solution for something like that: https://szymonkaliski.com/projects/dacein/ - there's also https://glisp.app which is actually usable compared to my Dacein (but uses a different technique/mental model than I did)

Mariano Guerra 2021-08-13 09:24:22

Which are the primitives of your notation?

So Lynch’s five primitives comprise a > notation.

It’s > composable.> A small number of simple elements can be combined, according to their own grammar, for more complex descriptions. There’s no cap on complexity; this isn’t paint by numbers. The city map can be infinitely large.

Compositions are > shareable.> And what’s more, they’re > degradable:> a partial map still functions as a map; one re-drawn from memory on a whiteboard still carries the gist. So shareable, and pragmatically shareable.

Not only are maps in this notation functional for communication, but it’s possible to look at a sketched city map and deconstruct it into its primitive elements (without knowing Lynch’s system) and see how to use those elements to extend or correct the map, or create a whole new one. So the notation is > learnable.

https://interconnected.org/home/2021/08/12/notation

Florian Schulz 2021-08-13 11:52:53

CodeTour is a VS Code extension that allows you to record and playback guided tours of codebases, directly within the editor. You can create tours and add steps. Just go to any file and click the (+) icon next to the line of code. You can then annotate this. After you’ve added steps, you can then playback a tour.

https://marketplace.visualstudio.com/items?itemName=vsls-contrib.codetour>

https://twitter.com/LostInTangent/status/1425901618780729345

Florian Schulz 2021-08-13 12:03:08

xyzzy This one might be interesting for you. Literate programming?

xyzzy 2021-08-13 12:12:12

Neat! I remember trying to use reveal.js to outline my codebase once 🙂 I think with voice over this extension could be quite useful. There were some youtubers trying to present complex projects like jquery but sadly that trend did not kick off. While this approach fixes code comprehension, literate programming solves the problem when such presentations and codebases go out of sync too.

Florian Schulz 2021-08-13 12:15:47

True, the syncing part might not be as great compared to literate programming. From what I can tell, the extension works by annotating the Line of Code @ File. But the extension keeps track of code changes and updates the annotations accordingly. Simple.

xyzzy 2021-08-13 13:24:33

An IDE for literate programming would be radically different, kinda like Scrivener which is used to write film screenplays. There’s also Leo editor. I think it is definitely high time for more tools like CodeTour that aim at code comprehension and not just code completion! It feels like intro.js but for code.

Kartik Agaram 2021-08-13 14:47:42

You could partially solve the problem of stale code locations by including git hashes in the location representations. Coupled with some visual indicator of how old a given line is in a tour, that helps readers/viewers gauge how much to trust the tour.

Ben Wheeler 2021-08-13 21:11:08

Hi all! Question: Has anyone worked on, or used, a Jupyter/IPython-style sketchbook/notebook for a blocks-coding (or otherwise child-oriented) environment? Or do you know of any?

Shalabh 2021-08-14 01:46:29

https://blog.bracha.org/exemplarDemo/exemplar2021.html?snapshot=BankAccountExemplarDemo.vfuel#

This blog post by Gilad Bracha describes the recently added "exemplar" support to the Newspeak programming language. This lets you annotate the code with example values. Whenever you browse code, their IDE then shows you not just the code but also the example values and since the IDE is live you can play around with them.