āœ‰ļø Not subscribed yet? Subscribe to the Newsletter

Future of Coding Weekly 2024/06 Week 2

2024-06-09 23:09

ß· Where Unison is headed šŸ’” Ruminating about mutable value semantics šŸ’š FoC Demos

Two Minute Week

šŸ’ššŸŽ„ Lustre on Gleam tours via Peter Saxton

🧵 conversation

Vimeo Thumbnail

I made a project to have lots of concepts explained in Gleam tours. Gleam runs in the browser and server so I think that this might be a good platform to explain a lot of things. I've been showing Gleam to non programmers and they mostly "get it" as long as there is no installation, editor setup, deployment to worry about. My current though for the future of code is that no-code might be less important that no-ops.

šŸ’ššŸ§‘ā€šŸ« Welcome to lustre - The Lustre tutorial via Peter Saxton

🧵 conversation

I finished implementing my first tutorial quicker than I expected. You can try it here. gleamtours.com/lustre-tutorial/introduction/welcome-to-lustre It's a walk through creating a web app with Gleam and Lustre. The app is rendered in a separate window because future tours will allow you to implement a client and server and so the sandbox can't just be an element in the tours UI.

An interactive introduction and reference to the Gleam programming language. Learn Gleam in your browser!

šŸ’ššŸŽ„ Gloodata Wikipedia Components: Summarize, Infobox and Tables via Mariano Guerra

🧵 conversation

Youtube Thumbnail

New Wikipedia plugins for gloodata

Short demo showing the three new Wikipedia plugins (Summarize, Infobox and Tables) and how they integrate with existing ones to get information about a thing or a place.

šŸ’ššŸ¦ Marek Rogalski (@mafikpl) on X via Marek Rogalski

🧵 conversation

Eh, I've just spent 5 hours doing high-school-level math just to draw a couple slightly curved lines =_= [

🐦 Marek Rogalski (@mafikpl) on X: Today cables in Automat improved their routing a bit! I'm pretty disappointed with the pace but at least it's going forward...

Tweet Thumbnail

Our Work

šŸ’” Ruminating about mutable value semantics via Jamie Brandon

🧵 conversation

Still just ruminating in public, but I swear there is an actual compiler taking shape

šŸ“ What is agile? via Jase Pellerin

🧵 conversation

I wrote a post about leveraging the raw core of agile to help focus attention and make cool shit. I plan to dig deeper and discuss more tools in future writing, but I would love any feedback!

šŸ“ Relational programming simple use Case via Paul Tarvydas

🧵 conversation

Just in case someone else finds this useful, here is a small case-study of a relational program written in Prolog, from another conversation.

šŸŽ„ Simon & Tudor chatting about Moldable Development via Tudor Girba

🧵 conversation

Youtube Thumbnail

Simon Wardley and I had a chat about Moldable Development. It talks about programming through custom tools (by which we mean thousands of tools per system).

Perhaps it’s interesting for this community as well.

šŸ’ššŸŽ„ Context is all you need: Add previous actions as context to new prompts via Mariano Guerra

🧵 conversation

Youtube Thumbnail

Context is all you need: Adding previous actions as context to evaluate the current prompt and avoid repetition.

Thinking Together

šŸ’¬ Oleksandr Kryvonos

🧵 conversation

I am sorry to interrupt , and this may sound like a question with an obvious answer,

but what are the goals we are trying to achieve? What are the problems we are trying to solve ?

Content

ß· Where Unison is headed Ā· Unison programming language via Mariano Guerra

🧵 conversation

Where Unison is headed by @Paul Chiusano

This is a long post with a lot of details of what we're thinking for the future, so here's a summary:

  • Keep keep improving the core language, runtime, and tooling. Examples: adding an FFI to Unison, improving JIT compiler performance, more semantic merge capabilities, and a more graphical UCM experience.
  • Make Unison Share an even nicer place to host your projects. Examples: "find usages", site-wide code search, multi-collaborator projects, and more.
  • Major new Unison Cloud features: scheduled jobs, distributed event processing, resilient workflows, and high-performance native execution via our JIT compiler.

🐘 Lu wilson šŸ³šŸŒˆ (@[email protected]) via Lu Wilson

🧵 conversation

an interesting back and forth thread between me and Kartik Agaram on mastodon about how to build "better computing"

šŸŽ™ļø :arne-brasseur (tea, travel, taoism and HoC) by Lost in Lambduhhs via Tim Schafer

🧵 conversation

So this is going to be more of drive by random act of gratitude non-sequiturs smorgasbord, but I’m pretty sure y’all like overtone, and I will link, so that’s the bit right? So in all my scrubbing of recent podcast listenings and reading of show notes I forked (don’t you mean formed? No, no, there was the potential future timeline of consciousness, and this is the fork) a much deeper appreciation for the plethora of references so lovingly strewn throughout the show.

This was all to no avail in locating one wild goose of a phrase saying there was renewed effort on making overtone more useable so people can do cool shit. For a while I could swear it was Ivan’s voice I heard saying it. Well, it was actually the end of a different podcast. Perhaps the wires that got crossed were FoC and HoC. The important thing is that the supercollider of my mind has been thoroughly re-patched. And for that I thank you all! Also Clojure is cool. That’s my Ideology :)

Now back to my ~reading~

Links: Arne - https://github.com/plexus Heart of Clojure - https://2024.heartofclojure.eu/ Overtone - https://github.com/overtone/overtone

Keywords: Arne, Belgium, Lambda Island, , Clojure Camp, gaiwan, travels, tea, Europe, United States, cooking, gardening, circus arts, juggling, flow state, European Juggling Convention, Taoism, self-awareness, mindfulness, narcissistic spirituality, teaching, leadership, empathy, vulnerability, Heart of Clojure, community conference, holistic experience, software industry, software engineers, activities, workshops, interactive sessions, keynote talks, open source contributors, contributor onboarding, Leuven, Belgium.

Music

šŸŽ¼ Studel v1.1.0 is up! via Alex McLean

🧵 conversation

Web-based environment for live coding algorithmic patterns, incorporating a faithful port of TidalCycles to JavaScript

Present Company

šŸ“» Donate to Digitizing "The Famous Computer Cafe" radio show, organized by Kay Savetz via Mariano Guerra

🧵 conversation

Digitizing "The Famous Computer Cafe" radio show

Help digitize 54 episodes of The Famous Computer Cafe, a 1980s radio show about computers that featured many notable interviews.

šŸ’¬ David Alan Hjelle

🧵 conversation

Two related questions:

  • Is there any good research about using call graphs to create some metrics about the quality of a software architecture? (Since I've never looked into it — what's the state-of-the-art in measuring software quality, anyhow? I'm more interested in a quality architecture than bugs-per-line-of-code or something, I guess.)
  • Any favorite tool for visualizing call graphs for JavaScript or PHP?

My intuition would tend to say that messy call graphs indicate a worse architecture, but I haven't visualized many and I'm not sure how well that idea holds up in the "real world". Maybe call graphs end up being too messy in real programs.

šŸ›ø Come gush about the Connection Machine with me. via Ivan Reese

🧵 conversation

Come gush about the Connection Machine with me. Share your anecdotes. Tell me what *Lisp was actually like. Marvel at a time when computers still looked futuristic.


šŸ‘ØšŸ½ā€šŸ’» By 🐘 @[email protected] 🐦 @warianoguerra

šŸ’¬ Not a member yet? Check the Future of Coding Community

āœ‰ļø Not subscribed yet? Subscribe to the Newsletter / Archive / RSS

šŸŽ™ļø Prefer podcasts? check the Future of Coding Podcast

Future of Coding Weekly 2024/06 Week 1

2024-06-02 23:16

šŸ‘“ Exploring Spaces šŸ“ Interactive study of queueing strategies šŸ’š Many project updates

Two Minute Week

šŸ’ššŸŽ„ Adding ports dynamically, new sum node and integrating a basic Monaco editor via Maikel van de Lisdonk

🧵 conversation

Youtube Thumbnail

In this video, I start with building a simple flow which counts the sum of all received values on the input ports using the new node-type "merge sum". New ports can be added dynamically from within the UI.

This is used to simplify the PID-controller example, which now much more reflects the algorithm that is shown on the wiki-page.

I've also started integrating the monaco-editor (which is the base for vs.code) into code-flow-canvas.. and in the video you can see that it is used for editing the code behind the iframe-html-node.

Another small change, is that flows now start automatically when they are loaded or after a refresh.

Our Work

šŸ’ššŸ’¬ Mariano Guerra

🧵 conversation

How do you update your password in gloodata?

The same way you do everything else

gd-update-password.gif

šŸ‘“ Exploring Spaces 4.5: 3D Rotations via Elliot

🧵 conversation

I made a 3D rotation explorer and I also made a big mistake in the explorer and I also fixed the mistake and now it is all good lol! Check it out and let me know what you think šŸ™‚ vezwork.github.io/polylab/dist/demo/articles/exploring_spaces_4_and_a_half

šŸŽ„ Video

šŸ’ššŸ§® calculang.dev via Declan

🧵 conversation

I decided to make a pass at actually putting technical information on the calculang.dev frontpage.

My primary audience for calculang.dev is developers - due to the wide scope, I think this is important (and Steve Balmer, right?).

Other projects based on/around calculang will have a wider audience.

It's the first time I surface some information: about introspection output to help to make tools that interact with models, about a comparison to spreadsheets, a rough note about my visualization APIs. I'll expand on all these things in longer-form separately and add illustrations for some concepts (especially "flexibility"), but for now, I think it's important I have some things down that I can iterate on, and happy to hear any immediate feedback, especially about what lands especially poorly or doesn't fit! (since this is a community of developers, your feedback would be awesome for me to get to work)

I intend to push the Examples to a Gallery or Playground page instead, with just a more subtle carousal or such surfaced early in the main page

šŸ–¼ļø github.com/bicycle-codes/image-element via nichoth

🧵 conversation

Hoping this is the last time I will have to write this.

šŸ’ššŸŽ„ Improved structural editor via Peter Saxton

🧵 conversation

Vimeo Thumbnail

I think this is structural editor V3. this one is back to having all navigation be AST based, i.e. up tree down tree, there is no moving cursor ability

šŸ’ššŸ’» ReSheet via Daniel Krüger

🧵 conversation

I officially promoted ReSheet from alpha to beta!

ReSheet has undergone a lot of detailed work over the last two months that might not be noticeable unless you encountered specific issues that got improved.

Noticable will be the improved starting document which makes it much clearer what ReSheet aims to achieve and how to use it. I added a demo, better documentation, and several examples. The examples aim to demonstrate what's possible with ReSheet and the potential I see in it. I think the "Examples > Custom Blocks" and "Examples > Interactive Game Dev" pages will be especially interesting to you.

"Examples > Custom Blocks" illustrates how to integrate almost any other (web/React) library/tool. I think there’s a lot of potential if we could integrate the various tools developed here. Since many are web-based, ReSheet could potentially serve as a framework to unify them. If anyone is interested in exploring this, please send me a message! šŸ™‚

"Examples > Interactive Game Dev" showcases the possibilities for building custom Blocks in ReSheet. It uses built-in Blocks to create a simple interactive Game Editor, featuring live programming and displaying intermediate steps/results of the code.

Let me know what you think!

šŸ“ From Spatial to Parallel Reality Computing via Duncan Cragg

🧵 conversation

Hiya, I've published another article, which says pretty much the same as before, but consolidates some ideas and brings things up-to-date:

The magical mashability of Parallel Reality Computing...

šŸ’ššŸŽ„ Raycasting in calculang, with formulas, interactivity & explainer via Declan

🧵 conversation

Youtube Thumbnail

I made a video explainer about raycasting, using a new experimental environment for calculang

Devlog Together

šŸ’ššŸŖµ lazer cutting box joint generator Observable notebook via Tom Larkworthy

🧵 conversation

Had fun presenting my lazer cutting box joint generator Observable notebook at Germany FoC meetup. Feel free to DM me or leave a comment in the notebook if you want to chat more about it. I dunno how well I communicated the point, but my point is that you can solve harder problems if you can link representations. There is no representational hierarchy of best-ness, I am finding switching between representations is useful for getting the best of all worlds. The notebook contains some cool advanced observable hacks, like projecting the inbuilt "plot" data visualizer onto three.js surfaces, linking quantitive DataViz to a Spatial representation, both of which have different strengths.

šŸŽ„ dice into reality

image.png

āœļø github.com/uprun/GRAIL-like via Oleksandr Kryvonos

🧵 conversation

This is super-early announcement.

Since I could not find something similar to GRAIL developed by Rand corporation - I am starting my own - GRAIL-like system.

Currently only simple drawing on canvas is implemented - I plan to add basic symbol recognition next.

Code is here github.com/uprun/GRAIL-like

I am using Godot game engine for this.

šŸŽ„ Video

Thinking Together

šŸ’¬ Jason Morris

🧵 conversation

In something like prolog, terms can be nested. So I can express the idea "Socrates believes that he is mortal" with bel ieves(socrates, mortal(socrates)). Are there any popular database types that make it easy to have relations of arbitrary arity as parameters of other relations, without unduly adding to the complexity of the schema? Preferably with ungrounded statements and open-world negation? Is there some obvious reason why not? Is there a computational complexity problem that arises in the real world? RDF allows triples to be referenced, I believe, but you are limited to arity 2, which seems needlessly limiting. Labeled graphs have arbitrary arity for non-entities, but entities are limited to two, and you usually can't refer to an edge. It seems... weird to me. Is it just that we don't really have the efficient reasoners over those kinds of expressions, so it hasn't been useful?

šŸ’¬ Peter Saxton

🧵 conversation

What conference would people recommend, preferably ones still to happen this year, which are a good place to discuss FoC topics

Content

šŸ“ Queueing – An interactive study of queueing strategies – Encore Blog via Mattia Fregola

🧵 conversation

Really lovely interactive exploration on queueing

In this blog, we go on an interactive journey to understand common queueing strategies for handling HTTP requests.

šŸŽ„ Verse Update I State of Unreal 2024 via Dany

🧵 conversation

Youtube Thumbnail

In this sponsored talk we take a look at the latest Verse features and what's coming soon to the language and framework.

šŸ“ Sheet Happens via Mariano Guerra

🧵 conversation

But until I put the numbers in and tried to write about them… I did not know what I was trying to count, or what it would be possible to count. The spreadsheet is not a neutral tool of objective social quantification: it is the story of my research process.

šŸ•øļø Graphs, Metagraphs, RAM, CPU via Nilesh Trivedi

🧵 conversation

This paper argues that Metagraphs are simpler and more efficient to represent graph data.

Present Company

šŸ’ššŸŽ„ FoC Virtual Meetup via Ivan Reese

🧵 conversation

Youtube Thumbnail

Recording of last week's Future of Coding virtual meetup


šŸ‘ØšŸ½ā€šŸ’» By 🐘 @[email protected] 🐦 @warianoguerra

šŸ’¬ Not a member yet? Check the Future of Coding Community

āœ‰ļø Not subscribed yet? Subscribe to the Newsletter / Archive / RSS

šŸŽ™ļø Prefer podcasts? check the Future of Coding Podcast

Future of Coding Weekly 2024/05 Week 4

2024-05-26 23:13

šŸ“” Propagator Networks 🌯 Visual Language for Polymorphic Types 🤨 NoCode Will Not Bring Computing to the Masses

Two Minute Week

🐚 Automat via Marek Rogalski

🧵 conversation

Context: Automat aims to be a general purpose visual shell - it's meant to control other apps & pass their data around. It has a website at automat.org. The MVP version is going to record & replay desktop macros. Last week I've pretty much finished the work on connections and now I'm working on the new timeline object!

Automat is a FOSS software that allows anyone to control their computers by combining interactive blocks.

🐦 Marek Rogalski (@mafikpl) on X: Working on the most complex Automat object so far - the Timeline. It should be able to control other objects according to its embedded tracks.

Tweet Thumbnail

šŸŽ„ PID controller build with codeflowcanvas via Maikel van de Lisdonk

🧵 conversation

Youtube Thumbnail

In this video I show a PID-controller build with my visual programming system codeflowcanvas.io ... the PID-controller example can be found on demo.codeflowcanvas.io.

It uses expression nodes, global variables and flow-variables to handle the calculations and state. In a bar-chart the output of the mechanism can be seen. In this example the target value is 100 , and when moving the input value slider, that value is used as a measurement and the algorithm brings the measurement to the wanted value (100). This process is visualised in the bar-chart.

When the speed of the flow is set to maximum (in the top left corner), the "program-counter"-animation is not shown and it runs as fast as it can in realtime. That helps for these kind of algorithms.

Our Work

šŸ“” Propagator Networks via Dennis Hansen

🧵 conversation

Hello! So after much obsession with Propagator Networks as discussed on this slack šŸ’¬ #thinking-together@2024-03-21, i decided to make a little propagator network simulator on top of tldraw.

In short: Propagator networks enabling bi-directional computation via independently operating nodes- in the gif you can see one for converting temperatures. Propagators (squares) listen to changing inputs, run code, and update connected outputs.

You can make your own here.

  • Put your variables in circles

  • Put your JS in squares (you can write a return or not)

  • Draw arrows from circles to squares with text that matches the variables

  • Draw arrows from squares to the circles to be updated.

There's lot of awesome stuff than can be made with these (maybe everything?). If you want to have fun with it, try to make a conditional or a switch. Its fun šŸ™‚

Cheers!

ezgif-2-f1371da04b.gif

šŸ’¬ Kartik Agaram

🧵 conversation

🧵 for Cole Lawrence's demo today.

šŸ’¬ Mariano Guerra

🧵 conversation

🧵 for Maikel van de Lisdonk's demo today.

šŸ’¬ Mariano Guerra

🧵 conversation

forgot to share this in the demo

gloodata-inception.gif

Devlog Together

šŸ¤– github.com/nileshtrivedi/autogen via Nilesh Trivedi

🧵 conversation

I have started porting Microsoft's multi-agent framework "autogen" to Elixir: github.com/nileshtrivedi/autogen

Got basic multi-agent collaboration and code execution working. Now need to make Elixir functions available to agents as tools.

I feel Elixir will become more and more important for AI because of its excellent support for real-time communication (audio/video etc), and single-language stack (LiveView etc.)

Reading Together

🌯 GeckoGraph: A Visual Language for Polymorphic Types via Don Abrams

🧵 conversation

Beautiful study on a visual representation of abstract types (Haskell in this case but generalizable). Conclusion: intuitive and helpful for beginners, but distracting GeckoGraph: A Visual Language for Polymorphic Types

Thinking Together

šŸ’¬ Stefan Lesser

🧵 conversation

This is one of those questions where I don’t really know yet how to ask it, so let me fumble and handwave a little bit and see where this goes:

In computing history we went from printers to screens, and on those screens from a brief stint with vector graphics to bitmap displays, and on those bitmap displays from text mode to frame buffer, and in those frame buffers from sprites and blitting to rasterization and compositing. In the early days, when there wasn’t enough RAM for a full-screen bitmap frame buffer, character glyphs and sprites were brought in from ROM. Now we have so much memory that we have double-/triple-buffering and realtime compositing of separately stored textures that often exceed the number of screen pixels available by an order of magnitude or more.

I’m particularly interested in the early transition to raster graphics. At some point (and I assume that was probably with PostScript?) it became feasible to compute graphics on the fly instead of having them prepared as bitmaps in ROM or on disk. If I remember this correctly, PostScript was invented because due to the different font sizes it was more economical to ship instructions to generate glyphs on the fly on the printer than to ship all possible glyphs as bitmaps in all the different font sizes.

In a way we went from a ā€œfinalā€ representation of a map of bits restricted to a certain grid size to an ā€œintermediateā€ representation of instructions that have to be executed to generate the final map of bits in the desired size. Alternatively, we could see that as swapping space (memory) for time (compute).

Are you aware of any papers or other material that compares both sides of this transition?

For instance in terms of performance in space and time, ie. how much compute is needed for how much memory saved. Or in the broader sense of how we settled on certain graphics primitives, because they were cheap enough to implement in terms of compute, and how we settled on certain data formats, because they were small enough in terms of memory usage, so that this trade-off made sense.

šŸŽ„ Grail Demo from CHM tape via Oleksandr Kryvonos

🧵 conversation

Youtube Thumbnail

Does anyone know if there is somewhere a new implementation of something similar to GRAIL system from Rand corporation ?

Content

šŸ•øļø Dify's new workflows feature via John Choi

🧵 conversation

Has anyone tried using Dify's new workflows feature?

It seems to be a Node-RED-like visual programming tool that supports Python/Node scripting in addition to HTTP requests and LLM invocations for nodes.

(The parent app (Dify) is clearly positioned in the AI domain, but the workflows feature seems pretty general.)

I'm looking into it but also interested in hearing others' initial impressions/assessments of limitations šŸ‘€

🤨 NoCode Will Not Bring Computing to the Masses via Mariano Guerra

🧵 conversation

It's not enough for a tool to solve your problem for you to use that tool. You have to also A) recognize the problem you have is solvable, B) recognize the tool can solve it, and C) be reasonably confident that you personally can solve the problem with the tool. You need knowledge, skill, and the right mentality. Even programmers, who already have that mentality, don't automatically generalize it to all applicable domains. Otherwise we'd be doing a lot more with our phones.

It's unreasonable to expect the average person will use any NoCode to solve their problems, regardless of how easy the tools are. This leaves the people for whom it provides economic value, which is why all modern NoCode tools are oriented towards business.

šŸ“ FORTRAN Report 1954 via Marcel Weiher

🧵 conversation

And of course ā€œno codeā€ and ā€œlo codeā€ are just new versions of ā€œcodeā€. Well, the ones that work at least.

My favorite quote on this topic encapsulates it nicely: ā€œSince FORTRAN should virtually eliminate coding and debuggingā€¦ā€ — FORTRAN Report 1954


šŸ‘ØšŸ½ā€šŸ’» By 🐘 @[email protected] 🐦 @warianoguerra

šŸ’¬ Not a member yet? Check the Future of Coding Community

āœ‰ļø Not subscribed yet? Subscribe to the Newsletter / Archive / RSS

šŸŽ™ļø Prefer podcasts? check the Future of Coding Podcast

Future of Coding Weekly 2024/05 Week 3

2024-05-19 23:29

šŸ’» Bend: a parallel language šŸŽ„ New Graphical Programming Language for Audio Research & Developers šŸ’” The Alternative Implementation Problem

Our Work

🪩 Exploring Spaces 4: Sphere via Elliot

🧵 conversation

I've made an article about 🌐 spheres and input spaces that wrap around like spheres 🌐. Let me know how it feels to move around the spheres. Does the way they are synchronized make sense? vezwork.github.io/polylab/dist/demo/articles/exploring_spaces_4

image.png

šŸ’¬ Jared Forsyth

🧵 conversation

Hi friends! As part of my unending pursuit of creating The Best Programming Language, I've ended up building a structured editor / literate programming environment for creating self-hosted languages ... and that has turned into "An Interactive Tutorial about Compilers & Type Inference", that includes interactive implementations of the papers "Algorithm W Step by Step" and "Typing Haskell in Haskell" (with more planned). I'm currently looking for beta testers to look it over before I make a general release, and I imagine there are many people here with relevant experience šŸ˜„.

So if any of y'all are interested, send me a message! As a teaser, here's the start of the intro document:

image.png

Devlog Together

šŸ’¬ Jason Morris

🧵 conversation

Got to a major milestone in v2 development for §Blawx, this week. The visual code editing environment is now back to feature parity with v1, which means I can move on to re-implementing the reasoner on the back end. That's the last major obstacle before I can start doing some much more compelling neuro-symbolic AI demos.

Reading Together

šŸ’¬ Jacob Zimmerman

🧵 conversation

Has anyone worked through ā€œSoftware Foundationsā€, and did you find it valuable?

Thinking Together

🐦 Tweet from @swardley via Konrad Hinsen

🧵 conversation

In this tweet , Simon Wardley compares making software systems explainable via moldable development (my expansion of his reference to Glamorous Toolkit) to creating maps. That sounds like a very useful metaphor to me. Many of us are interested in or even working on visual coding tools, and I wonder what their take on this metaphor is. Maps are inherently visual, but they are not the territory, i.e. the code with all the details. To me, visual tools are obviously the right choice for creating maps, but I remain unconvinced about their appropriateness for code.

I am thinking in particular of Orion Reed’s recent demo of infinite canvasses as user interfaces. For making multi-faceted maps to software systems, that looks like a very appopriate representation.

šŸ•¹ļø The 100 Games That Taught Me Game Design via Mariano Guerra

🧵 conversation

Youtube Thumbnail

An interesting video: The 100 Games That Taught Me Game Design

I would like to see "The 100 Applications That Taught Me Application Design".

Which ones are yours?

šŸ’¬ Daniel Sosebee

🧵 conversation

Loose set of thoughts:

  • could you make a type system that somehow captures all information possible about every value in a codebase? Like where the following is true: if typeof(a) === number, then typeof(a + 1 + 2) === number+3 !== typeof(a) …
  • I might want to ā€œpinā€ and ā€œunpinā€ my types - e.g. before refactoring a function, to ā€œpinā€ its return type. If I had a more powerful type system like described in part one, I wouldn’t want to have to write out the whole type, I would want to just say ā€œpin this such that whatever changes I make could not possibly effect the outcome of the function for any input, or else give me errors describing exactly what part of the input space no longer maps logically the same to the output spaceā€
  • Another way to think of this might be to say, rather than writing tests, to be able to say ā€œassume infinite test coverage of this codebase (and all tests are passing), now let me refactor thingsā€.
  • I have no idea how this would work, but it makes me think of getting fractions into ā€œsimplest formā€. Maybe you could get two functions into ā€œsimplest formā€ to test their similarity?

I wonder if anything like that exists, or if this is gesturing at some existing area of research?

Content

šŸ’” The Alternative Implementation Problem via Mariano Guerra

🧵 conversation

The Alternative Implementation Problem

What I’ve concluded, based on experience, is that positioning your project as an alternative implementation of something is a losing proposition. It doesn’t matter how smart you are. It doesn’t matter how hard you work. The problem is, when you build an alternative implementation, you’ve made yourself subject to the whims of the canonical implementation. They have control over the direction of the project, and all you can do is try to keep up.

🪤 Inside the Cult of the Haskell Programmer via Mariano Guerra

🧵 conversation

Inside the Cult of the Haskell Programmer

That Haskell never gained widespread adoption exemplifies a paradoxical truth in software engineering: Great programming languages aren’t always great for programming.

šŸ“‘ Damaged Earth Catalog via Konrad Hinsen

🧵 conversation

Damaged Earth Catalog

We are humans and might as well get used to it. So far, remotely done power and glory—as via government, big business, formal education, church—has succeeded to the point where gross profits obscure actual loss. In response to this dilemma and to these losses a realm of intimate, community power is developing—power of communities to conduct their own education, find their own inspiration, shape their own environment, and share their knowledge with others. Practices that aid this process are sought and promoted by the DAMAGED EARTH CATALOG.

šŸŽ„ NO MORE CODE: New Graphical Programming Language for Audio Research and Developers - ChangHun Sung via Dany

🧵 conversation

Youtube Thumbnail

New Graphical Programming Language for Audio

Audio software development is rapidly moving towards incorporating machine learning-based processing. While research scientists are continuously presenting us with inventive results in the field of AI, there is a lack of software engineering tools to utilize these results.

šŸ’» Bend: a parallel language via Mariano Guerra

🧵 conversation

Bend: a parallel language

With Bend you can write parallel code for multi-core CPUs/GPUs without being a C/CUDA expert with 10 years of experience. It feels just like Python! No need to deal with the complexity of concurrent programming: locks, mutexes, atomics... any work that can be done in parallel will be done in parallel.

Twitter announcement (includes a short video demo)

After almost 10 years of hard work, tireless research, and a dive deep into the kernels of computer science, I finally realized a dream: running a high-level language on GPUs. And I'm giving it to the world! Bend compiles modern programming features, including:

  • Lambdas with full closure support

  • Unrestricted recursion and loops

  • Fast object allocations of all kinds

  • Folds, ADTs, continuations and much more

To HVM2, a new runtime capable of spreading that workload across 1000's of cores, in a thread-safe, low-overhead fashion. As a result, we finally have a true high-level language that runs natively on GPUs!

šŸ“ Today they published the workbook that they produced from that research! via Eli Mellen

🧵 conversation

Once upon a time somewhere here, lost to the sands of a freemium slack instance, I shared a link about research some friends of mine were doing through the developer success lab on code review anxiety. Today they published the workbook that they produced from that research!

šŸ¤–

šŸ’¬ Nicolay Gerold

🧵 conversation

Not really sharing but a question for the curious:

What new use-cases do you think are now possible with gpt-4o that weren’t possible before (natively multimodal)?

What use-cases are now possible with way cheaper gpt-4-turbo?

What are you excited to try / build?

I will start: I want to try and build a better screen reader for visually impaired people.

šŸ’¬ Jason Morris

🧵 conversation

There are some call-heavy agentic or personic processes that are going to get more feasible, like what Park did in "Human Simulacra." I'm hoping to use 4o or turbo to have a more structured step by step approach to code generation in domain specific visual languages.

šŸ’¬ Chris Maughan

🧵 conversation

What struck me when playing with it via the 'voice chat/conversation' thing, was a) how brilliant the voice recognition is, b) how brilliant the synthesised voice is, and c) how I was drawn into having a conversation with an AI. I don't know if it's a use case, but what I can see happening is that more and more people are going to start treating the AI as a 'friend'. I think that is quite sad, and will further isolate people from real life conversations, but I can also see how it will fill a need in some folks; especially once the iPhone integration happens.

Present Company

šŸ’¬ Ivan Reese

🧵 conversation

ā‡ Thoughts and observations from today's Google I/O.


šŸ‘ØšŸ½ā€šŸ’» By 🐘 @[email protected] 🐦 @warianoguerra

šŸ’¬ Not a member yet? Check the Future of Coding Community

āœ‰ļø Not subscribed yet? Subscribe to the Newsletter / Archive / RSS

šŸŽ™ļø Prefer podcasts? check the Future of Coding Podcast

Future of Coding Weekly 2024/05 Week 2

2024-05-12 22:58

šŸ§‘ā€šŸ« Live Programming for the Classroom šŸ¤– LLM-focused canvas šŸ’” Software in Natural Language

Our Work

šŸŽ„ DB48X v0.7.5 quick update via Christophe de Dinechin

🧵 conversation

Youtube Thumbnail

The most powerful scientific calculator in the world just got one tiny step closer towards 1.0.

šŸ–Œļø Fig via Rafał Pastuszak

🧵 conversation

Hej! I made a drawing app where every pixel has a lifespan and eventually dies, check it out here: fig.sonnet.io

(also it has hackable, programmable brushes and a trippy geocities-eque gradients)

Motivated by a dead fig tree in my garden, not associated with the exquisite dead fish above, and partially inspired by this poem by my brother’s 3yo daughter:

Little ducklings walked

then they fell

and they died.

(something tells me she’ll turn out to be a goth like her uncle)

untested.sonnet.io/Fig

Nothing lasts forever, so let's draw just for the fun of it!

šŸ’¬ Cole Lawrence

🧵 conversation

I’m making an AI pipeline REPL directly into ā€œForethink,ā€ and I just put in live previewing, so you can observe individual executions šŸ™‚

I think this will slowly evolve depending on the features we need to build. It’s nice to build purposefully and not need to worry about being too generalizable or pretty.

šŸŽ„ 2024-05-10-Forethink-placeholder-resolution-for-single-execution

Devlog Together

šŸŽ„ Quality of life improvements to code-flow-canvas via Maikel van de Lisdonk

🧵 conversation

Youtube Thumbnail

I've made some very nice UX improvements to the visual programming system that I am working on: it's now possible to replace a node with compatible node-types without hassle. When a node is selected, compatible node-types are shown in a dropdown. This helps especially when doing more creative work when creating a shader/gl flow for example and getting more feeling on what the impact is of certain mathematical operations (in the video youtu.be/K-956F6Vwps I change a multiply node to an arctan calculation).

Another improvement is being able to insert a node into an existing connection.. also taking compatibility into account. This speeds up the creation process of flows in general.

Under the hood I've also made a nice improvement: I can now use jsx components using vanilla DOM without the use of react or other libraries. This is a nice DX improvement when developing my project.

Reading Together

šŸ“ some wandering notes via Pete Millspaugh

🧵 conversation

^I finished the book a while back and just got around to jotting down some wandering notes.

Would anyone be interested in doing a zoom book club discussion? Slack threads per chapter are nice for participation across time zones, but I prefer the format of reading then chatting about the whole book in one sitting

Thinking Together

šŸ“ Banning the use of if Then Else via Paul Tarvydas

🧵 conversation

Thinking about banning the use of IF-THEN-ELSE...

šŸŽ„ Bootstrapping Research & Dynamicland, Dec 2019 via JP Posma

🧵 conversation

Youtube Thumbnail

The best Bret Victor talk you've never seen

šŸ’¬ Andreas S

🧵 conversation

Hello Future of Coding!

I'm looking for something which I would describe in the following way. There was a few years ago a article on hackernews where someone showed a kind of dynamic state transition visualization. One could setup multiple nodes and avalue flow from one node to the next but there would be also a flow back to the original node. So my question would be does anyone know what I refer to? What was the name of the diagram. I tried to search for dynamic state transition diagram but it is very scary how bad search engines are these days. So the Name of the diagram , the hackernews article or related reousces would be most welcome. Thank you šŸ™‚

Content

šŸ§‘ā€šŸ« Seymour: Live Programming for the Classroom via Nilesh Trivedi

🧵 conversation

image.png

šŸ’» github.com/dmotz/trystero via Nilesh Trivedi

🧵 conversation

This seems clever! WebRTC matchmaking over BitTorrent, Nostr, MQTT, IPFS, and Firebase - removing the need for centralized signaling servers for multiplayer real-time webapps.

šŸ¤–

šŸŽ„ Hunch.tools winning demo at Latent Space's AI UX event in SF via Greg Bylenok

🧵 conversation

Youtube Thumbnail

Couple of links from some recent digital wanderings:

Hunch Tools LLM-focused canvas, from a recent AI/UX meetup

šŸ’” GitHub Next | SpecLang via Greg Bylenok

🧵 conversation

Second link: SpecLang from Github Next, which "is an attempt at lifting the developer experience to a higher level of abstraction, closer to how we conceptually think about our programs"

(Github Next is worth exploring and they appear to be doing quite a bit of FoC-related work)


šŸ‘ØšŸ½ā€šŸ’» By 🐘 @[email protected] 🐦 @warianoguerra

šŸ’¬ Not a member yet? Check the Future of Coding Community

āœ‰ļø Not subscribed yet? Subscribe to the Newsletter / Archive / RSS

šŸŽ™ļø Prefer podcasts? check the Future of Coding Podcast

Future of Coding Weekly 2024/05 Week 1

2024-05-05 22:47

šŸ¹ Arrow toolkit šŸŽ¹ Tone Dome šŸ“ The cognitive surface of software šŸ“¢ FoC Berlin Meetup

Our Work

šŸŽ„ Introducing autocomplete for canvas via Lu Wilson

🧵 conversation

Youtube Thumbnail

I've been (trying) to build autocomplete for canvas. keen to hear thoughts/ideas from anyone else who's worked on anything similar-ish!

šŸ¹ Quiver: arrow toolkit for the web via Christopher Shank

🧵 conversation

For the last month I've been working on an arrow toolkit for the web, called Quiver šŸ¹. It's exploring 3 problems:

  • What if visual connection could be declaratively expressed in HTML?
  • What if there was a tiny toolkit that enabled all kinds of connection/arrows to be built?
  • How do we break arrows out from spatial canvases and enable them to used on any website?

Currently I'm prototyping some pre-built arrows/connection: curved arrows, orthogonal edges, Xanadu links and hyperedges. But the library is also explicitly designed to be extensible so you can use your own layout algorithms or designs. Part of the extensibility means the ability to easily animate objects along the arrow (for all of those dataflow VPLs out there 😜) or add arbitrary labels/annotations to arrows.

Given that connection is probably one of the most commonly used relationships in visual programming systems, I'm curious if there are any other types of arrows or functionality you would find useful in your own projects? Its not published to NPM yet, but the repo is here.

quiver.gif

šŸŽ„ Screen Recording

šŸ’» github.com/bicycle-codes/progress-indicator via nichoth

🧵 conversation

Another day, another module. Learning some things about web components this time.

šŸ” Exploring Spaces 3.5: Zoomable Number Line via Elliot

🧵 conversation

I made a zoomable number line šŸ™‚

Screenshot 2024-05-03 at 2.56.38 PM.png

🐟 Draw dead fish via Lu Wilson

🧵 conversation

I made a new experimental tool where you have to draw dead fish

drawdeadfish.com

Devlog Together

šŸŽ¹ tonedome.surge.sh via Ivan Reese

🧵 conversation

Ink & Switch are having a hack week, and I'm working on a generative sound project. You can check out the current version (likely to change as the week progresses) here: tonedome.surge.sh

It sounds a little different every time you run it, but it's also synced to the system clock. So if you run it on, say, every device you own and scatter them around the room, it creates a rather neat immersive aural space.

Would appreciate any bug reports, especially on Android!

Thinking Together

šŸ“ Bloatware via Paul Tarvydas

🧵 conversation

preliminary musings on bloatware

šŸ“ The cognitive surface of software via Konrad Hinsen

🧵 conversation

Trying to name a concept: The cognitive surface of software

Has something similar already been discussed, or at least introduced?

šŸ“ intro post via Assaf

🧵 conversation

I'm exploring strategies to enable scientists (biologists in pharma) without computational expertise be able to interact with big data more intuitively. My ultimate goal is to have users ask biological questions, and the system to generate and execute analytical workflows utilizing existing methods from the scientific domain to answer these questions with data visualizations,

I evaluated the non-interpretable and inaccurate "chat your data" LLM solutions. I'm currently thinking about the possibilities of developing/using a DSL as intermediary output prior to code generation to make the process more interpretable. I am also considering what would be the most efficient abstraction strategies of the analytical functionalities/libraries in certain biological domains to improve the accuracy of the outputs (of the higher level strategy and the actual code). I would love to brainstorm about these problems offline/online. Here's my šŸ’¬ #introduce-yourself@2024-05-02 for a bit more context about me.

šŸ’¬ Jason Morris

🧵 conversation

I am once again looking at pages of notes I wrote three years ago attempting to find a way to declaratively diagram concurrent legal processes so as to illuminate the steps available to the parties as the process unfolds. I feel like I have something worth exploring, but to illustrate it I need a diagramming language that allows me to nest nodes inside of one another, and draw edges that originate and terminate at arbitrary depths of nodes. DOT won't let you draw an arrow starting at the edge of a subgraph, and doesn't have any way of nesting actual nodes, for example. Is anyone aware of a text-based graphing language that will let me nest objects and draw edges between arbitrary depths?

Content

🚜 International Workshop on Functional Art, Music, Modeling and Design via Alex McLean

🧵 conversation

FARM (aka ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design) is taking place in Milan, Italy this year, September 2nd. The call for papers, demos and performances is open, deadline June 1st.

functional-art.org/2024

🐦 Tweet from @OrionReedOne via Marek Rogalski

🧵 conversation

Here is an interesting 2.5D experiment for those who like the canvas approach. I'm pretty sure it could have some practical applications. 2D canvases have a whole dimension spare....

šŸŽ„ Demo

šŸŽ„ Tomorrow Corporation Tech Demo via Chris Maughan

🧵 conversation

Youtube Thumbnail

The tooling here is next-level. Bret Victor would be proud

šŸŽ„ Laurie Spiegel - Waveshaper TV Ep.6 (Part 1 of 3: Bell Labs) via Lu Wilson

🧵 conversation

Youtube Thumbnail

šŸ‘ļø Vyaakaran - Visualize automata, parsers, grammars for free via Nilesh Trivedi

🧵 conversation

Really good Automata and formal language visualizer:

šŸ“ Vyaakaran - Visualize automata, parsers, grammars for free

Visualize automata, parsers and formal languages right on the browser in an easy to use interface with Vyaakaran.

šŸŽ„ Resonite VR November 2023 (Content Showcase) via Duncan Cragg

🧵 conversation

Youtube Thumbnail

I've been following Resonite - ex-NeosVR - for a while now, but for some reason I never thought to link it here, perhaps because it's mostly about social VR. But it has an interesting 3D in-world programming system

🐦 Hieu :rocket: (@hieuSSR) on X via Christopher Shank

🧵 conversation

Design principles of SQL from it’s creator

🐦 Hieu šŸš€ (@hieuSSR) on X: Inventor of SQL talks about how they come up with the language

šŸ¤–

šŸ’¬ Naresh R

🧵 conversation

I've been thinking about this tweet from John Carmack (who created Doom), and just generally about a future where AI does most of the coding and I'm managing AI - and... I hate it? It's not to say that I don't see this happening. There's a ton of capital flying around to make it happen, and I think end-users will inevitably gain the capability to build certain categories of simple, customised software.

But as someone who has deeply loved the practice of programming for more than a decade, the future that GitHub (who - in the midst of me writing this - launched Copilot Workspace), Devin, and the rest are painting seems to be leaving out so much of nuances that comes with building anything non-trivial. I absolutely love the idea of operating at a higher level of abstraction (just like how I enjoy writing modern programming languages compared to C or assembly) and getting my ideas/work out faster. But not spending my entire day just asking AI to do things or reviewing code all day - which makes me wonder: how do developers even get good at reviewing code if they aren't spending a ton of time writing code and problem solving? What's the right level of abstraction in this "promised future" that lets me get into the nuances of building software for anything non-trivial and continue problem solving in general? This is perhaps not even a question, and just a general thought I've been thinking a lot about.

image.png

Present Company

šŸ’¬ J. Ryan Stinnett

🧵 conversation

I am looking around for tools / frameworks / UI patterns that are roughly of the shape "spreadsheet with editable computation pipeline". What do people know of that's in that category?

To clarify, I realise spreadsheets alone can achieve computation... but I am thinking more of projects where the computation is a bit more "visual" than just formulas in cells, perhaps like a nodes or blocks environment that then feeds into a table / spreadsheet to display data. @Paul Shen's Natto is one such example of the kind of thing I am thinking of. There might be other ways to do this beyond just a series of nodes that feed into a table... I'm curious to see what else might be out there already. I wonder if there are projects in the data analysis / computational science spaces that might fit...?

Apologies if my question is too vague, I'm still trying to work out what I'm even looking for. šŸ™‚

šŸ’¬ Mariano Guerra

🧵 conversation

[April 10th, 2024 8:20 PM] mariano: :loudspeaker: Future of Coding Berlin Meetup: Show and Tell + Walk and Talk on June 1st!

We are organizing an informal meetup the day after https://www.localfirstconf.com/ in Berlin, the idea is to meet early in the day somewhere TBD, do a show and tell and then if you are willing go for a walk through Berlin stopping for food/drinks/resting every now and then.

If you are interested send me a DM with your email (will only be used to share updates and info about this), the places are limited so please contact me as soon as possible.


šŸ‘ØšŸ½ā€šŸ’» By 🐘 @[email protected] 🐦 @warianoguerra

šŸ’¬ Not a member yet? Check the Future of Coding Community

āœ‰ļø Not subscribed yet? Subscribe to the Newsletter / Archive / RSS

šŸŽ™ļø Prefer podcasts? check the Future of Coding Podcast

Future of Coding Weekly 2020/03 Week 1

2024-05-02 08:42

Welcome! Starting this week I will expand the "Demos" section to include original content created by Future of Coding members.

The "From our Community" section will have content shared by members but that comes from "outside".

But first things first, there's a new podcast episode, great topic and impressive production, check it out:

šŸŽ™ļøFuture of Coding • Episode 45: Orca, with Devine Lu Linvega

Orca is typically encountered as an inky black and seafoam green alphabet soup, pulsating to some species of broody electronic industrial throb. But it is also a forgiving learning environment that doesn’t crash, puts code and data together in the same space, lets you directly manipulate code and data interchangeably, allows generous recovery from mistakes, and supports discovery through freeform play.

This is one of those "a very special episode" sort of things where.. it's going to be a bit different from the episodes I make for the forseeable future. Hope you enjoy it!

Demos & Community Original Content

šŸŽ„Geoffrey Litt shared an update on his website customization with spreadsheets project: More examples of customizing Hacker News with a spreadsheet

  • show estimated read times (fetched from an API)
  • sort longest reads first, prioritize deeper content
  • add personal annotations

All in 1 minute, just using formulas. So many possibilities!

--

šŸ“šŸŽ„Sol Bekic has been working on/with a new interaction model for livecoding for a while, and just put together the first comprehensive summary of the approach: alivecoding: livecoding with persistent expressions (🧵Slack Thread)

--

šŸŽ„Mariano Guerra shared a short demo of a UI feature: All the Small UX Things: repeat column names in the footer to shorten drop distance to cells below

The example shows how to reorder columns and configures an aggregation of attendance by home team when the away team is "Arsenal"

From our Community

🌐Shalabh Chaturvedi shared https://ballerina.io/: A Programming Language for Network Distributed Applications (🧵Slack Thread)

Whenever possible, Ballerina prioritizes programmer convenience & productivity with familiarity, clearer abstractions, and easier concepts over uber system performance.

In Ballerina, every program is a sequence diagram that illustrates distributed and concurrent interactions automatically. The diagram is the code. The code is the diagram.

--

šŸ’»Karki shared Debug Visualizer: A VS Code extension for visualizing data structures while debugging.

--

šŸ“Rafael Luque shared "Some old thoughts about the need for a new way of thinking about software." via Shalabh Chaturvedi

The reality is that a usual software project stack involves an increasingly larger number of programming languages, DSLs, frameworks, systems, tools, techniques and processes, so it is a fact that the accidental complexity in our day-to-day software projects is increasing to unbearable levels.

We plan to build a new breed of dynamic and fully conceptual modeling environment in order to enable programmers to work through every development stage --analysis, specification, design, implementation, deployment, evolution, etc.-- at the conceptual level and explore their dynamic models as a thinking and learning tool.

--

🌐Shalabh Chaturvedi shared The Physics of Software

"This work is about a possible theory of forces in software, and how it can inform the way we design, the way we talk about design, and the way we think about design."

Some interesting philosophizing - discussion about software as a material and the true nature of software.

--

šŸŽ„šŸŽ®Will Crichton shared Dreams | Release Date Trailer | PS4

Seems interesting to view as a commercial end-user programming system.

--

šŸ“Scott Anderson shared Developing Embodied Familiarity with Hyperphysical Phenomena

Interesting set of VR interaction prototypes

--

šŸŽ„Scott Anderson shared Example-based procedural placement in a dialogue system

--

šŸŽ„Charlie Roberts shared Visualizing quaternions quaternions: An explorable video series

The ā€œexplorableā€ videos in this quaternion explanation are nicely done with an interesting reactive ui

Future of Coding Weekly 2024/04 Week 5

2024-04-29 16:17

šŸ© Exploring Spaces 🐦 Bootstrapping Research & Dynamicland šŸ“¢ LIVE Workshop on Live Programming

Two Minute Week

šŸŽ„ Live Probe via Dany

🧵 conversation

Youtube Thumbnail

I have some progress in miqula, it can now show the current data of a node.

The video is with voiceover, hopefully makes it easier to follow. (albeit this is not a tutorial of sorts)

šŸŽ„ LLM code generation for Levlo via Jarno Montonen

🧵 conversation

Been playing around with LLM code generation for Levlo

Our Work

šŸ”‘ github.com/bicycle-codes/link via nichoth

🧵 conversation

Just factored out the "linking" code. Its intended to be the simplest possible way to securely get the same AES key onto multiple machines.

āœ… Level DB + E2E encryption + todo lists via nichoth

🧵 conversation

This is a demo app for an upcoming blog post

  • [x] local-first
  • [x] E2E encrypted
  • [x] multiple devices per user

šŸŽˆ Glamorous Toolkit via Tudor Girba

🧵 conversation

For those that are intrigued by Glamorous Toolkit, perhaps the following talk can be interesting:

Wednesday, April 24, 8pm CET

UK Smalltalk User Group

What exactly is Glamorous Toolkit?



To some people Glamorous Toolkit is a Pharo environment. To others it's a knowledge management system. Others might see a code analysis platform, a data visualization or an API browsing tool. Yet others see the graphical stack with its interactive editors. Glamorous Toolkit is all of these. But it's really also none of these. These are merely examples of the many forms the environment can be molded to. And there can be many more. Glamorous Toolkit is primarily an environment that makes it possible to create many experiences seamlessly and contextually. This then leads to a new way of programming that we call Moldable Development.

Join remotely here: meetup.com/ukstug/events/300575234

šŸ© Exploring Spaces 1: Torus via Elliot

🧵 conversation

Yesterday I taped together a paper torus, built some inputs that wrap around like a torus, and drew some lines on a torus. I wrote a little post about my exploration! Exploring Spaces 1: Torus Would love to hear your feedback, criticism, adjacent thoughts, etc!

ā™¾ļø Exploring Spaces 2: Twisted Taping via Elliot

🧵 conversation

I wrote another little post, "Exploring Spaces 2: Twisted Taping". I made a twisted paper strip this time, and made some more interactive spaces you can try moving around in Exploring Spaces 2: Twisted Taping.

I really enjoyed the feedback and adjacent thoughts on the last one from Joshua Horowitz and Konrad Hinsen! Once again, I'd love to hear feedback, criticism, and adjacent thoughts šŸ™‚

šŸ›ø A moldable inspector for Common Lisp via Konrad Hinsen

🧵 conversation

A video introduction to my moldable inspector for Common Lisp

Code:

šŸ’» clog-moldable-inspector

A moldable Common Lisp object inspector based on CLOG

🧮 You Draw Inflation šŸ“ˆ via Declan

🧵 conversation

I made a 'you draw it' type input widget where you draw inflation. I'm trying to permit being a little bit deliberate about scenarios too. It's something I'll develop for defining scenarios for other calculation models. It's in a short blog post

šŸ’¬ Jim Meyer

🧵 conversation

The future of code involves waiting for Copilots (Even though they get faster all the time, we'll just ask more and more of them).

We took a stab at visualizing the design decisions that our Copilot makes while it's coding the design you've prompted it for.

Instead of just spinners or the raw stream of text like chat UIs, we overlay this visualization where the design will appear on the canvas. Each visualization reflects a design variant that Copilot works on, and is computed in real-time based on the token streams from the LLM.

šŸŽ„ copilot streaming - music player

šŸŽ„ copilot streaming - vacation

šŸ”„ Exploring Spaces 3: Taping Infinity via Elliot

🧵 conversation

Here is my 3rd exploring spaces post about taping -āˆž and +āˆž together šŸ™‚ā™¾Exploring Spaces 3: Taping Infinity

Devlog Together

šŸ’¬ Nilesh Trivedi

🧵 conversation

Currently experimenting with this idea of adding Types and Reactivity to JSON as a domain-specific language for LLMs to generate miniapps or reactive documents on the fly.

image.png

image.png

Thinking Together

šŸ”Œ Composability: Designing a Visual Programming Language via John Austin

🧵 conversation

Ok, I've been thinking a lot about composable systems recently, and why I don't find visual programming languages like blueprints very flexible. Wrote up a blog post about it. Basically, I think the value graph is a more fundamental primitive for computation than execution graphs. Composability: Designing a Visual Programming Language

šŸ’¬ Greg Bylenok

🧵 conversation

Does anyone else think of "configuring" as distinct from "programming"? Some activities I consider "configuring" and not "programming": much devops work such as Terraform, YML files for build pipelines, even commonly labeled "programming" of a VCR/DVR.

šŸ“ openapic: openapi compiler like protoc | Ivan Chebykin via Ivan Chebykin

🧵 conversation

Hi everyone, I'm currently trying to think of ways to improve OpenAPI developer experience, can someone check out the design doc for a simplified OpenAPI generator: chebykin.org/posts/openapic

šŸ’¬ Dennis Hansen

🧵 conversation

Random thought/question. I've noticed canvas based design tools have converged on a panel configuration of "Layers | Canvas | Properties | (and sometimes Timeline)"-- as opposed solving the underlying needs another way. Is this pattern the end-all-be-all? Or a local maxima? I tend to think the later.

Content

šŸ“ Nanopublications: Rethinking global knowledge sharing (Tobias Kuhn) via Andreas S

🧵 conversation

Nanopublications are looking really interesting to me, I hope for you too šŸ™‚ : Nanopublications: Rethinking global knowledge sharing (Tobias Kuhn)

Slides

nanopub.net

🐦 Bootstrapping Research & Dynamicland, Dec 2019 via Dennis Hansen

🧵 conversation

Someone on twitter scraped Dynamicland to find a few amazing unlisted Bret Victor talks on YouTube. Don’t think he’d mind this community seeing them :).

🐦 JP Posma (@JanPaul123) on X: The best Bret Victor talk you’ve never seen. Bootstrapping Research & Dynamicland, Dec 2019

Tweet Thumbnail

šŸļø causalislands.com via Duncan Cragg

🧵 conversation

This is new to me. Anyone ever heard of it?

šŸ“¢ LIVE 2024: The Tenth Workshop on Live Programming via Joshua Horowitz

🧵 conversation

This year I’m helping organize LIVE, the Workshop on Live Programming. A lot of folk here in FoC are working on projects related to liveness… I encourage you to consider submitting your work!

(Here, ā€œlive programmingā€ means ā€œgetting immediate feedback on the behavior of your program even while you’re programming itā€. That includes ā€œLearnable Programmingā€-style interfaces, spreadsheets, notebooks, REPL-y stuff, interfaces for live performances with code, many interfaces for making art with code...)

LIVE is an academic conference, but it’s attracted great work from people both in and outside the academy. Submitting a project to LIVE might be an opportunity to communicate about your work in a new way and get thoughtful feedback on it from a new community. (We have some tips for non-academics in our FAQ.)

The submission deadline is July 7 . The workshop will be some day TBD October 20-25, 2024 in Los Angeles .

Feel free to DM me if you have questions or concerns; I’d be excited to help out. šŸ™

liveprog.png

šŸ¤–

šŸ“ platform via Assaf

🧵 conversation

Anybody interested in bio/drug discovery applications? I’m working on a platform which aims to answer complex biological questions by talking to scientists. It’s not an autocomplete or a copilot. It’s a real AI developer that does all the coding while scientists give it feedback. Would love to chat about this domain or specific application and get your feedback.


šŸ‘ØšŸ½ā€šŸ’» By 🐘 @[email protected] 🐦 @warianoguerra

šŸ’¬ Not a member yet? Check the Future of Coding Community

āœ‰ļø Not subscribed yet? Subscribe to the Newsletter / Archive / RSS

šŸŽ™ļø Prefer podcasts? check the Future of Coding Podcast

Future of Coding Weekly 2024/04 Week 4

2024-04-23 12:01

šŸŽ™ļø FoC 71 • Elephant in the Room 🧶 Stitching worlds šŸŽ„ bi-directional data flow using visual programming

Our Work

šŸ“ Zest: syntax via Jamie Brandon

🧵 conversation

If syntax isn't important why does this feel so good...

šŸŽ™ļø Future of Coding 71 • Elephant in the Room via Ivan Reese

🧵 conversation

Yes, all three of them in one episode. Phew!

Devlog Together

šŸ’¬ Tak Tran

🧵 conversation

I’m playing with electronics and crocheting atm. Imagining what other ways there are to interact with a computer, other than keyboard and mouse. This is a custom made bend/pressure sensor using copper sheets, velostat as a semi-conductive layer in between, with a crochet leaf on top and felt on the bottom, for a soft, non metallic feel šŸ‘

šŸŽ„ Video

šŸ”™ How can you even reverse a function? via Ivan Reese

🧵 conversation

I shared some thoughts about my personal definition of reversible computing over on Mastodon today. (Yeah, I slightly mangled the example of a surjective function — should have said nonnegative integers.)

šŸŽ„ bi-directional data flow using visual programming via Maikel van de Lisdonk

🧵 conversation

Youtube Thumbnail

In this video I show a small celsius to fahrenheit converter (this is one of the tasks from 7Gui) that I build using my visual programming system and extended it where needed.

The solution uses an observe-variable node-type which triggers a flow when a variable gets set. I've also build a new user-input node with decimal formatting option (in the near future I will extend this to be configurable forms for collecting user-input).

You can see what happens as you type in the celsius or fahrenheit temperature in the input fields (you see the data flowing though the flow). To prevent an infinite loop, the flow-engine uses a call-stack which stops running when a node gets run twice.

I am still thinking of different solutions but for now this works (some nodes gets run unneeded, I think this can be optimized). Per node-call the node-id, scope-id and input port-name is stored on the call-stack, this is needed to keep other things working like the recursive functions in the quicksort example.

The celsius-to-fahrenheit converter can be tried out here : demo.codeflowcanvas.io via the examples dropdown.

Content

🧶 Stitching worlds via Tak Tran

🧵 conversation

Stitching worlds - a magazine imagining ā€œWhat if electronics emerged from textile techniques such as knitting, weaving, crochet, and embroidery?ā€ - Stitching worlds (stitchingworlds.net)

An embroidered computer using gold embroidery and magnetic beads (in the magazine): ireneposch.net/the-embroidered-computer

šŸ“ stitchingworlds

Stitching Worlds is an artistic research project funded by the Program for Arts-Based Research (PEEK) of the Austrian Science Fund (FWF). The project is hosted by the University of Applied Arts Vienna, Institute of Design, Department of Industrial Design 2.

šŸ“ The Embroidered Computer | Irene Posch

The Embroidered Computer uses historic gold embroidery materials to craft a programmable 8 bit computer.

šŸ“ sesnors via Tak Tran

🧵 conversation

Also, a treasure trove of ideas for ways of making DIY sesnors/connections/actuators and random other things - How to get what you want (DIY wearable technology documentation)

Great name too šŸ˜„

šŸ“ Understanding and Effectively Mitigating Code Review Anxiety via Eli Mellen

🧵 conversation

Not a 1:1 future of coding article, but this paper recently published by the dev. success lab is pretty neat, especially if you are interested in helping to foster learning culture.

šŸ¤–

šŸ’¬ Jason Morris

🧵 conversation

Has anyone done any work with the memory design from the human simulacrum paper by Joon Sung Park? Saw a presentation last week at Stanford, the boss is having me experiment with his code base. Would like to exchange notes.

Present Company

šŸ’¬ Tom Lieber

🧵 conversation

My favorite loosely-syntaxed calculator finally has another mobile release! image.png


šŸ‘ØšŸ½ā€šŸ’» By 🐘 @[email protected] 🐦 @warianoguerra

šŸ’¬ Not a member yet? Check the Future of Coding Community

āœ‰ļø Not subscribed yet? Subscribe to the Newsletter / Archive / RSS

šŸŽ™ļø Prefer podcasts? check the Future of Coding Podcast

Future of Coding Weekly 2024/04 Week 3

2024-04-16 15:51

Two Minute Week

šŸŽ„ visual programming with improved timeline slider via Maikel van de Lisdonk

🧵 conversation

Youtube Thumbnail

I've been improving the timeline-slider in my visual programming system code-flow-canvas.. you can try it out here : demo.codeflowcanvas.io (best experience is on desktop since the mobile and touch responsiveness is still lacking).

Additionally the state-machine node now also shows its transitions when executing a flow or using the timeline slider.

Also some the nodes that are used to visualize data have been connected to the flow-execution history. Some changes were needed in keeping track of state and updating nodes visually when using the timeline slider.

In this video I show some of the examples together with the timeline slider here

Our Work

šŸŽ„ Building an everything shell via Peter Saxton

🧵 conversation

Vimeo Thumbnail

I've started building an "everything shell". It uses my language EYG and a structural editor. the whole thing is be hosted with the idea that the resources you can ask about (instead of filesystems and processes) are every cloud system I have.

šŸ’¬ Ivan Lugo

🧵 conversation

ā€œIt’s a Unix system… I know this!ā€

Something from a year or two ago that I built and iterated on since then. Ever wanted to see all your files in 3D to get a mental map? No problem - use CherrierView - a terminal-style, colorized .dae blit of arbitrary directories into space.

šŸŽ„ Demo

šŸŽ„ Torn Leaf Zero via Lu Wilson

🧵 conversation

Youtube Thumbnail

I made a video to introduce an exhibition im making called TORN LEAF ZERO

It features a collaborative artwork with over one hundred participants

Devlog Together

šŸ“ exaequos.com via Kartik Agaram

🧵 conversation

I've been playing with a new platform that I hope will be quite convivial. Hosted 😬 but no Javascript and seems easy to build and self-host. Created by a single person, so decent chance of staying simple over time. It seems to be a fork of emscripten that's been made habitable. In particular, it includes raylib and some Lua bindings to it, so I'm starting to feel at home.

exaequos.com

I ported one of my early LƖVE apps to it, for geometric constructions. There's an app store and I've published my app there, so you should be able to run it for yourself and inspect the source code. (All apps on the app store are available right in the file system, under /usr/store !)

Disclaimers. It's slow, like dialing up over a phone line. Still lots of bugs. I had to reboot the VM several times while recording this video. Commands often hang or crash, then completely stop working until I reload. It's never lost my data, though. Data is stored in local storage on the browser until you publish something to the app store.

šŸŽ„ exaequOS

Thinking Together

šŸ’¬ Hamish Todd

🧵 conversation

I'm thinking about spreadsheets. Has anyone ever made a convincing interface for defining functions , using a spreadsheet interface?

(I am aware that you can define functions in most modern spreadsheets, but this requires you to go to a traditional coding interface. This is obviously cheating!)

šŸ’¬ Andreas S

🧵 conversation

Hi FoC Community šŸ™‚ I'm looking for something that i found a couple of years ago and apparently my fuzzy descriptions fail my zettelkasten or a search engine for that matter. I think I'm looking for a clojure talk in which someone presented also a tool. This tool used a UI of 2 or Three circles as a kind of number REPL which explained for example how the map function works in clojure. I hope that isn'T too vague if you know the name of the tool, that would be very cool. Thank you!!

šŸ“ Where does constant data go? via Dany

🧵 conversation

I wrote a blog post about constant data in PL. Which is kind of curious in text based PL and a place where more visual approaches can really shine.

All of the programming languages I know make an interesting distinction, between two groups of constants, depending on type.

Content

šŸ“ Future of Coding Weekly 2020/02 Week 1 via Mariano Guerra

🧵 conversation

šŸ“œ Past Futures of Coding February 2020 Edition

šŸ’¬ Stefan Lesser

🧵 conversation

I’ve been reviewing classic papers about simplicity, complexity, and adjacent topics, both for my current series of essays and an essay I’m writing for Onward!

So far I have reviewed (or downloaded for review):

  • Herbert A. Simon, The Architecture of Complexity (1962)
  • Melvin E. Conway, How Do Committees Invent? (1968)
  • Peter Naur, Programming as Theory Building (1985)
  • Frederick P. Brooks, Jr., No Silver Bullet — Essence and Accident in Software Engineering (1986)
  • Richard P. Gabriel, Worse is Better (1991)
  • Rich Hickey, Simple Made Easy (2011)

What am I missing? What else should be on that list?


šŸ‘ØšŸ½ā€šŸ’» By 🐘 @[email protected] 🐦 @warianoguerra

šŸ’¬ Not a member yet? Check the Future of Coding Community

āœ‰ļø Not subscribed yet? Subscribe to the Newsletter / Archive / RSS

šŸŽ™ļø Prefer podcasts? check the Future of Coding Podcast

Contents Ā© 2025 Mariano Guerra - Powered by Nikola