Cool. Bit far from Vienna though. Maybe I'll manage some time.
05.03.2026 07:54
👍 1
🔁 0
💬 0
📌 0
Cool. Bit far from Vienna though. Maybe I'll manage some time.
There so many videos on functional programming on this channel that I eventually wanna watch. Putting it here as a note to self partly.
youtube.com/@acmsigplan
Finally got around watching it in full. New threads ability of @unison-lang.org
youtu.be/xU_MRNNo4kg?...
Fun with the ball but I think the hand-shaking one was a better balance between sillyfun & practical.
And I also mean: Avoiding the less effort option that nowadays more people take. I.e. building upon one of the few in the end ephemeral (big tech) platforms that do that en💩ification and eventual sunsetting for you.
With "becoming possible"
I mean there'll be no need to:
Make one huge life decision investment (perhaps even start a company) to put it together maintain it and then eventually be forced to fund it by growing ad integration that in the end only en💩ifies it to oblivion.
I.e. no more growing cost with growing user base as everyone brings more than sufficient amount of their own resources.
Maybe an infinitely scalable P2P pong (as MVP for whatever other old arcade game classic or also serious work tool) is now becoming finally possible with this. I.e. …
This could seriously squash a big part of the cause of the "if you don't pay you are the product" false dilemma.
Pretty 😎 SDF based engine:
Here's a fitting mnemonic acronym for claims regarding AI that are not backed by anything of substance.
And that dangerously divert attention from actually pressing issues.
youtu.be/4lKyNdZz3Vw?...
Context?
Hank Green Video: "Wikipedia and the Destruction of Trust"
youtu.be/9zi0ogvPfCA?...
That one just dropped 38 min ago.
"Stand: 14.10.2025 18:11 Uhr"
That's about the only article that pops up with a quick websearch. Images reference say Deutsche Bahn and Tf KD. Didn't help me finding more info. AI found nothing either. Not saying not real, saying IDK. I lack sufficient consillience here. And 😱ed everyone is taking it at face value.
AI edited image, looks real but is not.
This was the second of two image that nanobanana spat out. First try one shot. Zero cherry picking.
🤨🤨🤨 want it with a cow?
bsky.app/profile/mech...
AI edited image (nanobanana). Looks real but is not.
Source? Anyone can make that image with things like nanobanana these days. Here with under a minute of effort I asked "change the chickens to a cow" and it spit back this waay to realistic fake:
I had only barely skimmed over the intro. Analogy may not go beyond cell based async parallel evaluated purely functional live coding.
Will read in more detail one I find some more time.
Coming to mind:
Where would one put algepraic effects in the
Currry Howard Lambeck correspondence/isomorphism?
It might not be possible.
Ok, not that this mapping is easy for monads and applicative beyond simple stuff like monoids. Darn. Deep rabbithole.
Maybe algebraic effects could be a viable alternative to monads & applicatives in your case. Maybe these would be easier to implement in your setting?
(+) They removes the often arbitrary lifting hierarchy.
(-) They feel less discovered and more invented though.
Not so sure on these points yet.
As for monads for better understanding their structural essence (not their varied use cases) what helped me the most was sketching them out as annotated lambda diagrams.
apm.bplaced.net/w/index.php?...
Maybe this could help in implementing them in other settings such as yours @joshuahhh.com too?
Stumbled over the topic of reactive programming glitches twice just recently. One case in Jonathan Edwards
@jonathoda.bsky.social
retrospective on his closed subtext project.
www.subtext-lang.org/retrospectiv...
(now fresh start with fresh title baseline)
www.subtext-lang.org/baseline.html
…
As soon as it comes to usage of monads or applicatives for effectful computations. Reactive programming glitches become of concern.
en.wikipedia.org/wiki/Reactiv...
=> Only execute preassembeld imperative seqience once rective system fully settled down on new changes?
…
Since NbE supposedly makes things more explicit & tracked.
www.pls-lab.org/en/Normaliza...
en.wikipedia.org/wiki/Normali...
Though in my particular model I'd only map lists like e.g. [(a,b,…)] to spreadsheets. "Cell" is more about distibuted parallel cellular automata like evaluation.
Also …
If anyting only loosely related: I was recently thinking about live coding using a DAG of slightly generalized lambda expessions (which could be seen as cells for one kind of code projection). I have a strong hunch that the NbE (Normalization by Evaluation) approach could help a lot with evaluation…
