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

Ivan Reese 2024-07-29 03:42:55

Via Jack Rusher on Mastodon…

Calculating Empires: A Genealogy of Technology and Power since 1500

It's an enormous map of illustrations of various advancements toward, within, and around computers. Note that it's wildly horizontal. I tried exploring it a bit on my phone but found that unsatisfying. I recommend using the largest monitor you've got.

Ivan Reese 2024-07-29 03:45:56

Yeah, it covers quite a bit of ground around computers, dipping into colonialism and military history, etc. But that's (A) besides the point and (B) not at all besides the point, come on!

Jasmine Otto 2024-07-30 23:57:03

love to see PL on the interfaces - infrastructure border. that sounds about right. tbh I have a harder time with this one than the 'resource flows comprising the cloud' map, also from Crawford's group. the diffuse way that ideas stripped out of their scenes flow into each other is disorientating.

anatomyof.ai

Arvind Thyagarajan 2024-07-31 03:35:04

this is amazing -- it had me at talking drum

John Christensen 2024-07-31 18:17:46

Wow! I want to see this filling an entire wall like in an art exhibit.

Jason Morris 2024-07-31 14:53:39

Just saw Hillel Wayne link to Quint on LinkedIn, and I finally want to try writing TLA+ as a result... quint-lang.org/docs/lang

Guyren Howe 2024-08-01 03:09:48

Since this was linked to from here, I assume this is likely to be something I’m interested in.

But after a few minutes poking around the documentation, I did not find anything about what this is, what problems it solves, what it does differently, or really much of anything like that.

I made a bug report about the documentation, but if you know the creator, you might mention this.

Jason Morris 2024-08-01 05:45:06

It's a syntax built on top of TLA+, which is a version of TLA (Temporal Logic of Actions), which is a logic-based language for encoding software designs and using logic solving to determine if they satisfy design specifications.

Jason Morris 2024-08-01 05:46:24

Formal methods stuff.

Guyren Howe 2024-08-01 14:34:18

Can one ~also~ use it for regular programming?

Jason Morris 2024-08-01 16:49:06

Not general purpose, no. E.g. there is no way to find a substring in a string.

Mariano Guerra 2024-08-02 09:29:42

Midinous - Non-linear MIDI Sequencer

midinous.com

🎥 Midinous - Non-linear MIDI Sequencer - Official Trailer

Midinous - Non-linear MIDI Sequencer - Official Trailer

Andreas S. 2024-08-03 10:13:25

Hello 👋 Future of coding,

I hope you are doing well :)

So I found one of those interesting HN posts:

news.ycombinator.com/item?id=41131181

I hadn’t heard of 100 rabbits before :

100r.co/site/about_us.html

The comments in the HN are also very interesting. For me they feel very ~much~ related to the future of coding.

Like this one:

news.ycombinator.com/item?id=41136056

In this respect, their page for hacking baguettes by sun&sea is my personal favourite

100r.co/site/solar_cooking_experiment.html

100Rabbits is like the coming true of Grothendieck's 1972 permatech lecture given at CERN*

github.com/Lapin0t/grothendieck-cern

"I think that agriculture, stockbreeding, decentralized energy production, medicine of a certain kind, very different from the medicine that prevails today, will come to the fore. It's impossible to say which part purely creative joy will play in these new developments. My hope is, it will be a creative development in which there will be no essential difference between conceptual activities and manual physical activities. When people become masters of their own needs to the point where an appreciable part of their creativity remains free---and this will take a time we can't predict, it may be a generation, it may be ten, no one knows---at that point, anyone, not just a certain scientific elite, will be able to devote a significant part of their time to purely creative, purely speculative, purely playful research"

Jack Rusher 2024-08-03 11:53:19

Many of us know and admire their work. Also, @Devine Lu Linvega posts here from time to time.

Ivan Reese 2024-08-03 14:38:00

Well, they would, if not for it being... Slack

Ivan Reese 2024-08-03 14:39:36

I also interviewed Devine for the podcast. Part 1 / Part 2.

Arvind Thyagarajan 2024-08-04 16:55:41

apropos of verbalising favourite problem statements, I found a wonderful one in this slimy interview

How can we align our interests with what living organisms and systems naturally do? How can we yoke ourselves to what they’re doing so that our relationship is no longer exploitative, but rather one where we’re putting existing capabilities to productive ends?