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

Christopher Galtenberg 2021-03-16 17:32:50

hyperscript has been a fun early project to watch https://hyperscript.org

Essentially trying to replace javascript with a variant of hypertalk

Docs: https://hyperscript.org/docs/

Follow via @htmx_org https://twitter.com/htmx_org/status/1371786116064440322

Andrew F 2021-03-16 19:07:56

Ugh, it looks so cool (and htmx too), but I have a visceral negative reaction to any programming language that tries to look like English sentences. How irrational am I to think that will necessarily lead to doom somehow? Is there perhaps a systematic way to make sure it parses predictably while still having the writability benefits of resembling natural language? Is that even a problem in practice?

Christopher Galtenberg 2021-03-16 19:29:23

In practice people learn languages symbolically regardless, whether the syntax is "field of button" or "button.field" โ€“ 

When I was 12, knowing hypertalk's "send message 'abc' to card 'foo'" and then encountering C's foo->abc() , it clicked immediately and my reaction was "cool!" โ€“ so for me at least it worked

Parsing is the hyperscript programmer's problem, keeping a sane grammar โ€“ and others can probably hack around that grammar for a less talky syntax in the future

Andrew F 2021-03-16 22:34:08

Parsing is everyone's problem. The user needs a fairly accurate mental model of how the parser works to be able to read or write their code. They have to parse it mentally to read it, and code is read more often than it's written.

Christopher Galtenberg 2021-03-17 11:36:22

๐Ÿฆ htmx.org: @ricardoanderegg @DenizAksimsek @benpate5280 The syntax is an acquired taste for sure but itโ€™s orthodox HyperTalk

And pretty funny ๐Ÿ˜†

bmitc 2021-03-16 22:01:26

I found this interesting dissertation by Calum Grant today entitled Software Visualization in Prolog.

https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-511.pdf

Jean-Louis Villecroze 2021-03-17 15:15:59

This looks interesting indeed. I have been thinking a bit about how visual logic programming would feel like, so this may align well

J. Ryan Stinnett 2021-03-18 01:10:25

Thanks for sharing, it's quite an interesting approach! ๐Ÿ˜„ It appears the author Calum Grant (https://www.linkedin.com/in/calum-grant-51ab979/) most recently worked on the Semmle program analysis toolchain, which was acquired by GitHub.

Chris Knott 2021-03-17 10:36:40

British users might be interested that Dominic Cummings' ARPA idea seems to be moving forward - https://publications.parliament.uk/pa/bills/cbill/58-01/0264/200264.pdf - ARIA (Advanced Research and Invention Agency). Cummings has blogged before about Bret Victor's work and visited Dynamicland.

Putting aside DC's politics and personality, it is good to see high risk, long term research being taken seriously by central government, and also that this is not tied to the military.

Article about the project here - https://theconversation.com/arpa-what-is-it-and-why-does-dominic-cummings-want-one-in-the-uk-130975

Miles Sabin 2021-03-17 11:11:05

Section 5 "National security directions" seems like an extremely good reason for staying well clear.

Cole Lawrence 2021-03-17 12:21:15

Could you say more words about this?

Chris Knott 2021-03-17 12:48:51

Some people's politics prevents any kind of public sector work, maybe Miles is referring to that. In general I think people should resist immediate armchair cynicism.

Miles Sabin 2021-03-17 12:54:16

You said "this is not tied to the military" and yet section 5 fairly clearly states that "national security" imperatives can direct the activity of the agency. @Cole Lawrence click through on the pdf link for the text.

Miles Sabin 2021-03-17 12:56:16

My politics very definitely don't preclude public sector work. However, they make me choosy about what public sector initiatives I would want to be involved in. "National security" is certainly broader than "military", but it includes it and a lot of other (from my PoV) objectionable things besides.

Ivan Reese 2021-03-17 16:22:12

(For future reference, this thread is a reply to this https://futureofcoding.slack.com/archives/C5U3SEW6A/p1615977400006700 about Dominic Cummings' ARIA idea. And since Cummings is a figure the discussion of whom has previously been rather rocky, I'd like to remind everyone of the https://futureofcoding.org/member-handbook and the https://github.com/futureofcoding/code-of-conduct. Cheers! I'm here if you need me.)

Kartik Agaram 2021-03-17 19:51:31

Robust ballistic computation by tropical soldier crabs: http://wpmedia.wolfram.com/uploads/sites/13/2018/02/20-2-2.pdf

Ivan Reese 2021-03-17 19:56:59

First it was electricity and sand. Then it was aqueducts and waterwheels (or maybe this came first). Now it's crabs and "intimidation plates".

Soon, it'll be departed spirits and warding sigils, or quantum foam and pencil shavings.

Computation is eating all worlds. It must be stopped.

Ivan Reese 2021-03-17 20:53:29

^ Dibs on using that as my https://xkcd.com/936/-style password.

Mariano Guerra 2021-03-18 12:33:42
Garth Goldwater 2021-03-18 14:34:56

wow. thought this looked interesting but didnโ€™t expect it to be as great as it was! should be required watching for language designers imo

William Taysom 2021-03-19 06:01:12

The philosophy here is considerably deeper than the example, which I think can be summed up with people expect something like breadth-first search in Prolog-like languages. (I've seen it time and again.)

But adapting to how people expect a language to work? That's the ticket!

Konrad Hinsen 2021-03-19 08:52:09

A very good talk indeed. Makes me wonder to what degree language user expectations depend on their prior experience, not just in computing. Also how the way their expectations evolve depends on their prior experience.

Prathyush 2021-03-19 10:25:38

Thanks for sharing this talk. That Venn diagramming coadaption idea was super nice!

Denny Vrandeฤiฤ‡ 2021-03-19 17:44:29

I worked with Yedalog inside Google! Small world ๐Ÿ˜„

Srini Kadamati 2021-03-18 21:58:45

One of the coolest projects Iโ€™ve stumbled into this month: https://github.com/Overv/outrun#outrun Such a poetic idea!

Is your โ€˜localhostโ€™ being slow? Screw it, offload to some other beefy server to do heavy lifting and send you back the results. Love how its integrated at cli + filesystem level. Obviously some serious limitations to it, but its a nice personal computing / homebrew approach ๐Ÿบ

Also makes cloud computing..more true to the name?

๐Ÿ”— Overv/outrun

Mariano Guerra 2021-03-19 10:21:35

The future of coding is Turing Complete Times New Roman:

It's a video game in a font! A font as in "Time New Roman". The entire game is enclosed in fontemon.otf, no javascript, no html, all font.

https://www.coderelay.io/fontemon.html

Ivan Reese 2021-03-19 15:00:50

The "https://en.wikipedia.org/wiki/MissingNo." secret is one hell of a deep cut. ๐Ÿ’ฏ

For anyone who didn't find it, here's my game state:

tttttttijlkjdsflkjsdlkjdfslkjdsflkjflkjflkjflkjflkjflkjflkjflkjflkjflkjflkjflkjflkjflkjflkjflkjflkjflkkfkfkfkfkfkfkfkfkfkfkfkfkfkfkfkfkfkfkfkfkfkfkkkkkkkkkkkkkkkkkkkkkkkkkkkgggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggffffffffffffffffffffffffffffffffffjfjfjfjfjfjfjfjfdd

Just paste that in to the lower text box and resume typing.

Scott Anderson 2021-03-21 07:17:25

This was great. Also super relevant to FOC for two reasons. The technical write up is great https://github.com/mmulet/code-relay/blob/main/markdown/HowIDidIt.md and it also shows how a non-turing complete DSL can be used in creative ways to make relatively complex applications

Scott Anderson 2021-03-21 07:18:07

Like... They basically turned a font layout engine into a choice based fiction engine

nicolas decoster 2021-03-21 10:25:59

Really cool hack! And the "How I did it" post is very interesting. I really love how people hack programming languages to create stuff in unexpected ways. Thanks for sharing that Mariano!

2021-03-21 11:22:33
Jean-Louis Villecroze 2021-03-22 02:47:52

This is spam that need to get removed ๐Ÿ˜ž //cc Ivan Reese