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

Duncan Cragg 2024-02-12 22:32:58

🐦 Duncan Cragg (@Duncan__Cragg) on X: @jonathoda I'm a "crazy, misfit, rebel, trouble-making" person, who "sees things differently"

I don't just "provide entertainment for jaded developers" in my blog; I want to "add to human knowledge"


I see folk stifled by conformist academia

What did I miss?

Tweet Thumbnail

Duncan Cragg 2024-02-12 22:34:34

Jonathan Edwards πŸ€— sorry mate, I've had a glass of wine and became un-inhibited in my public communications style Lu Wilson

Jonathan Edwards 2024-02-12 23:23:41

No worries mate. I linked to the 2020 program instead, which was better. You should write a paper.

πŸ“ SPLASH 2020 - Onward! Papers - SPLASH 2020

Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, applications and education. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. The Character of Onward! Onward! is looking for grand visions and new paradigms that could make a big difference in how we will one day build so ...

Duncan Cragg 2024-02-12 23:34:18

Thank you for all 3 of those statements. πŸ™ πŸ€—

Kartik Agaram 2024-02-13 17:44:21

Coroutines as a foundation for state machines, effect types and resumable exceptions.

πŸ“ Maybe Everything Is a Coroutine - Adam Nelson

I was inspired, after reading the excellent blog post Let Futures Be Futures, by the author's thought experiment of a language in which all functions are coroutines and this is used to express asynchr…

Ivan Reese 2024-02-15 00:08:44

Reposting a classic in case any of the new folks here haven't seen it.

Paul Tarvydas 2024-02-15 17:59:57

I would enjoy learning more details about why and how this works under the hood. Details / links / discussion.

Ivan Reese 2024-02-15 20:23:44

I would also enjoy this. I haven't seen any other related publications about this project.

Paul Tarvydas 2024-02-16 03:48:50

I suggest that we discuss and try to reverse-engineer.

Allow me to begin with an opening salvo. Comments & push-back expected.

If I think only of an MVI (Minimum Viable Implementation - ignore all concerns for "efficiency"), I see something fairly simple:

Basically, the REPL (the slider) clears the IDE state, peels one frame-state out of the frame-state array (database, whatever) and loads that state into the IDE, re-rendering the game window and the editor window. Re-loading the source code can use git-like technology. Re-loading the display list and the debugger state means pasting binary data. If you convert the binary data to text, you can use git here, too.

If you own the code for the debugger, the game display engine and the editor engine, then it shouldn't be a problem to ensure that they all use data that is wholly contained in some convenient state location(s) that can be serialized and deserialized to a database. Modern dev machines are fast and memory-endowed, so there is no reason to optimize this stuff until proven guilty.


Andreas S. 2024-02-16 09:26:08

Stumbled upon this interesting perspective on Commons:

πŸ“ Capital and enclosure in software commons: Linux & Ethereum

Entities which extract profits from software commons like Linux and Ethereum have the greatest incentive and capacity to co-opt them.

Mariano Guerra 2024-02-18 11:36:32

Creating and Deploying Slackbots with Unison Cloud

This video guides you through creating a Slackbot in Unison and deploying it to Unison Cloud, starting with a simple example and finishing with a ChatGPT bot.