@mechadense.bsky.social
That one just dropped 38 min ago.
"Stand: 14.10.2025 18:11 Uhr"
"Stand: 14.10.2025 18:11 Uhr"
October 14, 2025 at 4:48 PM
That one just dropped 38 min ago.
"Stand: 14.10.2025 18:11 Uhr"
"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.
October 14, 2025 at 12:03 PM
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.
This was the second of two image that nanobanana spat out. First try one shot. Zero cherry picking.
October 14, 2025 at 11:38 AM
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...
bsky.app/profile/mech...
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:
October 14, 2025 at 11:35 AM
🤨🤨🤨 want it with a cow?
bsky.app/profile/mech...
bsky.app/profile/mech...
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:
October 14, 2025 at 11:34 AM
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.
Will read in more detail one I find some more time.
October 6, 2025 at 11:47 AM
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.
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.
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.
October 6, 2025 at 11:11 AM
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.
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.
(+) They removes the often arbitrary lifting hierarchy.
(-) They feel less discovered and more invented though.
Not so sure on these points yet.
October 6, 2025 at 9:30 AM
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.
(+) 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?
apm.bplaced.net/w/index.php?...
Maybe this could help in implementing them in other settings such as yours @joshuahhh.com too?
File:MonadsInAnnotatedLambdaDiagrams.jpeg - apm
apm.bplaced.net
October 6, 2025 at 9:25 AM
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?
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
…
@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
…
Subtext Retrospective
www.subtext-lang.org
October 6, 2025 at 9:21 AM
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
…
@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?
…
en.wikipedia.org/wiki/Reactiv...
=> Only execute preassembeld imperative seqience once rective system fully settled down on new changes?
…
Reactive programming - Wikipedia
en.wikipedia.org
October 6, 2025 at 9:17 AM
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?
…
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 …
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 …
Normalization by Evaluation (NbE)
www.pls-lab.org
October 6, 2025 at 9:11 AM
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 …
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…
October 6, 2025 at 9:01 AM
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…
@jonathoda.bsky.social — I've also seen you use "Version Control for Structural Editing" and I think that "… for Projectional Editing" would fit here too and be/feel more general. Particularly I am thinking about advertising applicability to (semi)visual code projections too.
September 30, 2025 at 2:05 PM
@jonathoda.bsky.social — I've also seen you use "Version Control for Structural Editing" and I think that "… for Projectional Editing" would fit here too and be/feel more general. Particularly I am thinking about advertising applicability to (semi)visual code projections too.
… I take "operational" here does not refer to the language actally version managed but the edit calculus atop only.
September 30, 2025 at 1:59 PM
… I take "operational" here does not refer to the language actally version managed but the edit calculus atop only.
Regarding the name: I guess it is
★ "differencing" as it operates on an explicit edit calculus that sort of represents the first derivative of the cosebase structure.
★ "operational" as it is operating imperatively on it (disregaring eventual dumb undo list details ~ crude second derivative)
…
★ "differencing" as it operates on an explicit edit calculus that sort of represents the first derivative of the cosebase structure.
★ "operational" as it is operating imperatively on it (disregaring eventual dumb undo list details ~ crude second derivative)
…
September 30, 2025 at 1:57 PM
Regarding the name: I guess it is
★ "differencing" as it operates on an explicit edit calculus that sort of represents the first derivative of the cosebase structure.
★ "operational" as it is operating imperatively on it (disregaring eventual dumb undo list details ~ crude second derivative)
…
★ "differencing" as it operates on an explicit edit calculus that sort of represents the first derivative of the cosebase structure.
★ "operational" as it is operating imperatively on it (disregaring eventual dumb undo list details ~ crude second derivative)
…
New project name "Baseline"
building on top of the new theory for finegrained semantic version management you came up with "Operational Differencing"
www.subtext-lang.org/baseline.html
building on top of the new theory for finegrained semantic version management you came up with "Operational Differencing"
www.subtext-lang.org/baseline.html
Baseline
www.subtext-lang.org
September 30, 2025 at 1:50 PM
New project name "Baseline"
building on top of the new theory for finegrained semantic version management you came up with "Operational Differencing"
www.subtext-lang.org/baseline.html
building on top of the new theory for finegrained semantic version management you came up with "Operational Differencing"
www.subtext-lang.org/baseline.html
The async eval glitch thing for spreadsheet like live coding is interesting. I think this applies to pure code too. But there in the end it converges back to correctness when all async evaluation threads finish. I guess the glitch issues were mostly from imperative parts as you stated effect systems
problem.as
September 30, 2025 at 1:44 PM
The async eval glitch thing for spreadsheet like live coding is interesting. I think this applies to pure code too. But there in the end it converges back to correctness when all async evaluation threads finish. I guess the glitch issues were mostly from imperative parts as you stated effect systems
… Recursive deconstruction with case_of_ pattern-matching on sum types seems dual to corecurive construction with sum type type constructors. Feels right to put that symmetry in a language.
September 30, 2025 at 1:26 PM
… Recursive deconstruction with case_of_ pattern-matching on sum types seems dual to corecurive construction with sum type type constructors. Feels right to put that symmetry in a language.
"… conditionals were represented in the materialized execution as sum types, which is pleasing because they are two different ways of representing choices, in code and data." Quite a long while ago I relaized something probably related …
September 30, 2025 at 1:26 PM
"… conditionals were represented in the materialized execution as sum types, which is pleasing because they are two different ways of representing choices, in code and data." Quite a long while ago I relaized something probably related …
I really like your "schematic tables" work. Particularly as it seems to be a pretty good match to my idea of annotated lambda diagrams (based on John Tromps unannotated lambda diagrams) as a novel code projection. Eventually will want to try that somewhen.
vimeo.com/140738254
vimeo.com/140738254
No ifs, ands, or buts
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making…
vimeo.com
September 30, 2025 at 1:08 PM
I really like your "schematic tables" work. Particularly as it seems to be a pretty good match to my idea of annotated lambda diagrams (based on John Tromps unannotated lambda diagrams) as a novel code projection. Eventually will want to try that somewhen.
vimeo.com/140738254
vimeo.com/140738254
Thanks for the link.
September 29, 2025 at 1:22 PM
Thanks for the link.
The double *ing is IMO not ideal either. "Feel of Computing" would be better.
September 29, 2025 at 7:27 AM
The double *ing is IMO not ideal either. "Feel of Computing" would be better.
My first gut association from the new name I got is like: This sounds like a group focussing on the ethical concerns around datacenter operations.
September 29, 2025 at 7:19 AM
My first gut association from the new name I got is like: This sounds like a group focussing on the ethical concerns around datacenter operations.