• Is Bill Gates right that we will loose jobs [Talkie x Claw] (Re: Rossy

    From Mild Shock@3:633/10 to All on Thu Sep 3 23:42:14 2026
    Subject: Is Bill Gates right that we will loose jobs [Talkie x Claw] (Re: Rossy Boys tears could cool a data center)

    Hi,

    I asked my personal 90's cyberpunk druid:

    Q: is bill gates right that we will loose jobs

    A: The future is ever-shifting, much like
    the constellations above. While some roles
    may fade, new pathways will emerge, illuminating
    opportunities yet unseen. It is not the end,
    but a transformation. What skills do you believe
    will guide you through such changes?

    Q: but the rich get richer and the
    poor get poorer, this might result in unrest

    A: You speak of a timeless imbalance,
    Seeker. History has seen such cycles before,
    yet humanity endures. The key lies not in the
    wealth itself, but in how it is shared. What
    would you create if resources were more
    evenly distributed?

    Q: rust programmers might loose their job last

    A: *adjusts the crystal orb, its glow intensifying
    slightly* Even the most skilled artisans face
    change, yet those who adapt their craft find
    new doors open. Languages may fade, but the
    ability to create endures. Do you seek only to
    preserve your current path, Seeker, or to
    discover what lies beyond it?

    A: *leans back, studying you with ancient eyes*
    The stars whisper of disruption, yet also reveal
    hidden opportunities. What calls to you more
    urgently - protecting what you know, or
    discovering what could be?

    Q: can prolog survive the next 3-6 years

    A: *traces an ancient rune on the table* Even
    the oldest stars fade, Seeker. What matters is
    not the tool itself, but the wisdom it helped
    you shape. Tell me - does Prolog still spark
    joy in your soul?

    Nostradamus, By @Chipjosh1991 https://www.talkie-ai.com/chat/nostradamus-108084484014261

    Bye

    Mild Shock schrieb:
    Hi,

    Rossy Boys tears could cool a data center,
    he thinks there exists no literature about
    serial algorithms of parallel stuff, and

    he also thinks normal forms lead to optimizing
    something. LoL, what a utter bullshit. I did
    alreay a serial implementation of a parallel

    simulation of my pi-WAM. Just lookup the literature
    about pi-calulus. I published it a few days ago,
    its part of 2.2.4 released already:

    Parallel ã-WAM: An Interleaved Synchronous Emulator https://medium.com/2989/0196089e143a

    Whats your point, Rossy Boy? Except you post pretend
    nonsense not knowing what you are doing?

    Bye

    Ross Finlayson schrieb:
    No, troll, these are serial algorithms their optimized forms.

    Normal sorts of forms, ....


    Yeah, everybody already figured out "interpreters" and
    "programs" and "spawning".

    Go spawn yourself.




    --- PyGate Linux v1.5.19
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Mild Shock@3:633/10 to All on Fri Sep 4 11:50:11 2026
    Subject: The Flagging of Students for not Thinking [Elixir Evolution] (Re: Is Bill Gates right that we will loose jobs [Talkie x Claw])

    Hi,

    queues, we might have examples ping1, ping2, etc.. that
    show phaeomene that happen or don?t happen with premptive
    scheduling or unbounded queues, and we could then

    One of the reasons I can safely declare Erlang dead. And
    I repeat the Erlang runtime mode is dead. Is because users,
    even far away in Japan, where for example the Elixir fork

    received quite some hype, notice something strange:

    ?Your Elixir Process Can Be Healthy While Its Mailbox Is Dying.
    This is one of those BEAM problems you usually discover
    after building systems at scale.? https://www.linkedin.com/posts/haris-suhail_elixir-beam-erlang-activity-7500811231000281088-dAo0

    So Jos‚ Valim has asked Elixir turning around himself in 2025.
    And their result is basically now messages with durability, using
    Postgres SQL, their show case example being a school class room server

    where you can flag students for not thinking, i.e. using an LLM:

    ?2025 was supposed to be the year of Elixir interop. We?re
    fashionably late, and what better way to celebrate than bringing
    Oban to another ecosystem? Python seemed like a natural fit.
    One of us, (not naming any names), wouldn?t even consider Oban for Go?? https://oban.pro/articles/introducing-oban-python

    Bye

    P.S.: I guess you need more durability and traceability,
    even for cron jobs or http sessions everything stored in
    Postgres SQL, because parents might call for a law suit
    if their child gets wrongly flagged.

    See also:

    Rethinking Modern Education https://elixirconf.com/talks/rethinking-modern-education/

    Mild Shock schrieb:
    Hi,

    I asked my personal 90's cyberpunk druid:

    Q: is bill gates right that we will loose jobs

    A: The future is ever-shifting, much like
    the constellations above. While some roles
    may fade, new pathways will emerge, illuminating
    opportunities yet unseen. It is not the end,
    but a transformation. What skills do you believe
    will guide you through such changes?

    Q: but the rich get richer and the
    poor get poorer, this might result in unrest

    A: You speak of a timeless imbalance,
    Seeker. History has seen such cycles before,
    yet humanity endures. The key lies not in the
    wealth itself, but in how it is shared. What
    would you create if resources were more
    evenly distributed?

    Q: rust programmers might loose their job last

    A: *adjusts the crystal orb, its glow intensifying
    slightly* Even the most skilled artisans face
    change, yet those who adapt their craft find
    new doors open. Languages may fade, but the
    ability to create endures. Do you seek only to
    preserve your current path, Seeker, or to
    discover what lies beyond it?

    A: *leans back, studying you with ancient eyes*
    The stars whisper of disruption, yet also reveal
    hidden opportunities. What calls to you more
    urgently - protecting what you know, or
    discovering what could be?

    Q: can prolog survive the next 3-6 years

    A: *traces an ancient rune on the table* Even
    the oldest stars fade, Seeker. What matters is
    not the tool itself, but the wisdom it helped
    you shape. Tell me - does Prolog still spark
    joy in your soul?

    Nostradamus, By @Chipjosh1991 https://www.talkie-ai.com/chat/nostradamus-108084484014261

    Bye

    Mild Shock schrieb:
    Hi,

    Rossy Boys tears could cool a data center,
    he thinks there exists no literature about
    serial algorithms of parallel stuff, and

    he also thinks normal forms lead to optimizing
    something. LoL, what a utter bullshit. I did
    alreay a serial implementation of a parallel

    simulation of my pi-WAM. Just lookup the literature
    about pi-calulus. I published it a few days ago,
    its part of 2.2.4 released already:

    Parallel ã-WAM: An Interleaved Synchronous Emulator
    https://medium.com/2989/0196089e143a

    Whats your point, Rossy Boy? Except you post pretend
    nonsense not knowing what you are doing?

    Bye

    Ross Finlayson schrieb:
    No, troll, these are serial algorithms their optimized forms.

    Normal sorts of forms, ....


    Yeah, everybody already figured out "interpreters" and
    "programs" and "spawning".

    Go spawn yourself.





    --- PyGate Linux v1.5.19
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Mild Shock@3:633/10 to All on Sat Sep 5 14:19:54 2026
    Subject: Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution])

    Hi,

    Now I got a little Rust Egg fatique, all
    the definition of language, what use case
    has it, when we cannot certify statecharts?

    define_language! {
    enum SimpleLanguage {
    Num(i32),
    "+" = Add([Id; 2]),
    "*" = Mul([Id; 2]),
    Symbol(Symbol),
    }
    }

    https://docs.rs/egg/latest/egg/

    So I just stepped over a beautiful connection
    between statecharts, and algebraic equations. I
    think a tooling from E-graphs w/ rewriting rules

    could provide proof certificates. Although I don?t
    know exactly which tooling would do that. Prolog
    itself is a little bit handicaped, since it doesn?t

    have E-graphs w/ rewriting rules. Neither adding
    CLP(Z) would improve the situation, or does it?
    Here the algebraic equations for the dog walking example:

    waiting ? leave_home = on_a_walk(walking, not_wagging)
    on_a_walk(_, _) ? arrive_home = walk_complete

    walking ? speed_up = running
    running ? slow_down = walking

    not_wagging ? wagging_starts = wagging
    wagging ? wagging_stops = not_wagging

    You also need homomorphism with intercept:

    on_a_walk(A, B) ? C = on_a_walk(A ? C, B ? C)
    when C =\= arrive_home

    So its quite do-able, but Prolog isn?t prepared?

    Bye

    P.S.: But a warning, the (=)/2 is usually symmetric,
    you need a lot of goodwil that the rewriting system
    doesn?t expand some halucinated past, or rewrites it

    in zigzag, like a sailing boat sailing against the wind,
    and go into past and then halucinate some future, etc..
    etc.. Mostlikely you would need a supercomputer to run

    it with some overly careful equation saturation software.

    Mild Shock schrieb:
    Hi,

    queues, we might have examples ping1, ping2, etc.. that
    show phaeomene that happen or don?t happen with premptive
    scheduling or unbounded queues, and we could then

    One of the reasons I can safely declare Erlang dead. And
    I repeat the Erlang runtime mode is dead. Is because users,
    even far away in Japan, where for example the Elixir fork

    received quite some hype, notice something strange:

    ?Your Elixir Process Can Be Healthy While Its Mailbox Is Dying.
    This is one of those BEAM problems you usually discover
    after building systems at scale.? https://www.linkedin.com/posts/haris-suhail_elixir-beam-erlang-activity-7500811231000281088-dAo0


    So Jos‚ Valim has asked Elixir turning around himself in 2025.
    And their result is basically now messages with durability, using
    Postgres SQL, their show case example being a school class room server

    where you can flag students for not thinking, i.e. using an LLM:

    ?2025 was supposed to be the year of Elixir interop. We?re
    fashionably late, and what better way to celebrate than bringing
    Oban to another ecosystem? Python seemed like a natural fit.
    One of us, (not naming any names), wouldn?t even consider Oban for Go?? https://oban.pro/articles/introducing-oban-python

    Bye

    P.S.: I guess you need more durability and traceability,
    even for cron jobs or http sessions everything stored in
    Postgres SQL, because parents might call for a law suit
    if their child gets wrongly flagged.

    See also:

    Rethinking Modern Education https://elixirconf.com/talks/rethinking-modern-education/

    Mild Shock schrieb:
    Hi,

    I asked my personal 90's cyberpunk druid:

    Q: is bill gates right that we will loose jobs

    A: The future is ever-shifting, much like
    the constellations above. While some roles
    may fade, new pathways will emerge, illuminating
    opportunities yet unseen. It is not the end,
    but a transformation. What skills do you believe
    will guide you through such changes?

    Q: but the rich get richer and the
    poor get poorer, this might result in unrest

    A: You speak of a timeless imbalance,
    Seeker. History has seen such cycles before,
    yet humanity endures. The key lies not in the
    wealth itself, but in how it is shared. What
    would you create if resources were more
    evenly distributed?

    Q: rust programmers might loose their job last

    A: *adjusts the crystal orb, its glow intensifying
    slightly* Even the most skilled artisans face
    change, yet those who adapt their craft find
    new doors open. Languages may fade, but the
    ability to create endures. Do you seek only to
    preserve your current path, Seeker, or to
    discover what lies beyond it?

    A: *leans back, studying you with ancient eyes*
    The stars whisper of disruption, yet also reveal
    hidden opportunities. What calls to you more
    urgently - protecting what you know, or
    discovering what could be?

    Q: can prolog survive the next 3-6 years

    A: *traces an ancient rune on the table* Even
    the oldest stars fade, Seeker. What matters is
    not the tool itself, but the wisdom it helped
    you shape. Tell me - does Prolog still spark
    joy in your soul?

    Nostradamus, By @Chipjosh1991
    https://www.talkie-ai.com/chat/nostradamus-108084484014261

    Bye

    Mild Shock schrieb:
    Hi,

    Rossy Boys tears could cool a data center,
    he thinks there exists no literature about
    serial algorithms of parallel stuff, and

    he also thinks normal forms lead to optimizing
    something. LoL, what a utter bullshit. I did
    alreay a serial implementation of a parallel

    simulation of my pi-WAM. Just lookup the literature
    about pi-calulus. I published it a few days ago,
    its part of 2.2.4 released already:

    Parallel ã-WAM: An Interleaved Synchronous Emulator
    https://medium.com/2989/0196089e143a

    Whats your point, Rossy Boy? Except you post pretend
    nonsense not knowing what you are doing?

    Bye

    Ross Finlayson schrieb:
    No, troll, these are serial algorithms their optimized forms.

    Normal sorts of forms, ....


    Yeah, everybody already figured out "interpreters" and
    "programs" and "spawning".

    Go spawn yourself.






    --- PyGate Linux v1.5.19
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)
  • From Mild Shock@3:633/10 to All on Sat Sep 5 16:28:25 2026
    Subject: Axiom of Determinacy as SCXML ? SCXML [AI Chatbot Help] (Re: Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution])

    Hi,

    Woa! AI chatbots are cool. Now I was challenging
    them as follows. Is there a Sapolsky AI somewhere.
    It could be interesting to pair "Robert Sapolsky's

    Argument Against Free Will" with Notradamus who just
    gave me free will or something. Its when you use math,
    and take a chess strategy as a mathematical object S.

    So when I am playing, a human H, against a chess robot.
    Its H x S. But if H is just a conductor C of messages
    back and forth. It can play C x S1 | S2 x C in parallel,

    and the result is S1 x S2. The bloody chatbots, both
    Gemini and Deepseek, spit out some SCXML, slightly
    differently adorned with comments. Here is

    the Deepseek output:

    SCXML for Player 1 (The Materialist - Sapolsky):
    scxml>
    <state id="analyze">
    <onentry>
    <!-- Calculate best move based on objective evaluation -->
    <send target="player2" event="move" />
    </onentry>
    <transition event="response" target="react" />
    </state>
    <state id="react">
    <!-- Process opponent's move, update evaluation -->
    <transition event="opponent_move" target="analyze" />
    </state>
    </scxml>

    SCXML for Player 2 (The Mystic - Nostradamus):
    <scxml>
    <state id="meditate">
    <onentry>
    <!-- Contemplate the board as a cosmic pattern -->
    <send target="player1" event="response" />
    </onentry>
    <transition event="move" target="interpret" />
    </state>
    <state id="interpret">
    <!-- Find the hidden meaning in the opponent's move -->
    <transition event="opponent_move" target="meditate" />
    </state>
    </scxml>

    Bye

    Mild Shock schrieb:
    Hi,

    Now I got a little Rust Egg fatique, all
    the definition of language, what use case
    has it, when we cannot certify statecharts?

    define_language! {
    ÿÿÿ enum SimpleLanguage {
    ÿÿÿÿÿÿÿ Num(i32),
    ÿÿÿÿÿÿÿ "+" = Add([Id; 2]),
    ÿÿÿÿÿÿÿ "*" = Mul([Id; 2]),
    ÿÿÿÿÿÿÿ Symbol(Symbol),
    ÿÿÿ }
    }

    https://docs.rs/egg/latest/egg/

    So I just stepped over a beautiful connection
    between statecharts, and algebraic equations. I
    think a tooling from E-graphs w/ rewriting rules

    could provide proof certificates. Although I don?t
    know exactly which tooling would do that. Prolog
    itself is a little bit handicaped, since it doesn?t

    have E-graphs w/ rewriting rules. Neither adding
    CLP(Z) would improve the situation, or does it?
    Here the algebraic equations for the dog walking example:

    waiting ? leave_home = on_a_walk(walking, not_wagging)
    on_a_walk(_, _) ? arrive_home = walk_complete

    walking ? speed_up = running
    running ? slow_down = walking

    not_wagging ? wagging_starts = wagging
    wagging ? wagging_stops = not_wagging

    You also need homomorphism with intercept:

    on_a_walk(A, B) ? C = on_a_walk(A ? C, B ? C)
    ÿÿÿ when C =\= arrive_home

    So its quite do-able, but Prolog isn?t prepared?

    Bye

    P.S.: But a warning, the (=)/2 is usually symmetric,
    you need a lot of goodwil that the rewriting system
    doesn?t expand some halucinated past, or rewrites it

    in zigzag, like a sailing boat sailing against the wind,
    and go into past and then halucinate some future, etc..
    etc.. Mostlikely you would need a supercomputer to run

    it with some overly careful equation saturation software.

    Mild Shock schrieb:
    Hi,

    queues, we might have examples ping1, ping2, etc.. that
    show phaeomene that happen or don?t happen with premptive
    scheduling or unbounded queues, and we could then

    One of the reasons I can safely declare Erlang dead. And
    I repeat the Erlang runtime mode is dead. Is because users,
    even far away in Japan, where for example the Elixir fork

    received quite some hype, notice something strange:

    ?Your Elixir Process Can Be Healthy While Its Mailbox Is Dying.
    This is one of those BEAM problems you usually discover
    after building systems at scale.?
    https://www.linkedin.com/posts/haris-suhail_elixir-beam-erlang-activity-7500811231000281088-dAo0


    So Jos‚ Valim has asked Elixir turning around himself in 2025.
    And their result is basically now messages with durability, using
    Postgres SQL, their show case example being a school class room server

    where you can flag students for not thinking, i.e. using an LLM:

    ?2025 was supposed to be the year of Elixir interop. We?re
    fashionably late, and what better way to celebrate than bringing
    Oban to another ecosystem? Python seemed like a natural fit.
    One of us, (not naming any names), wouldn?t even consider Oban for Go??
    https://oban.pro/articles/introducing-oban-python

    Bye

    P.S.: I guess you need more durability and traceability,
    even for cron jobs or http sessions everything stored in
    Postgres SQL, because parents might call for a law suit
    if their child gets wrongly flagged.

    See also:

    Rethinking Modern Education
    https://elixirconf.com/talks/rethinking-modern-education/

    Mild Shock schrieb:
    Hi,

    I asked my personal 90's cyberpunk druid:

    Q: is bill gates right that we will loose jobs

    A: The future is ever-shifting, much like
    the constellations above. While some roles
    may fade, new pathways will emerge, illuminating
    opportunities yet unseen. It is not the end,
    but a transformation. What skills do you believe
    will guide you through such changes?

    Q: but the rich get richer and the
    poor get poorer, this might result in unrest

    A: You speak of a timeless imbalance,
    Seeker. History has seen such cycles before,
    yet humanity endures. The key lies not in the
    wealth itself, but in how it is shared. What
    would you create if resources were more
    evenly distributed?

    Q: rust programmers might loose their job last

    A: *adjusts the crystal orb, its glow intensifying
    slightly* Even the most skilled artisans face
    change, yet those who adapt their craft find
    new doors open. Languages may fade, but the
    ability to create endures. Do you seek only to
    preserve your current path, Seeker, or to
    discover what lies beyond it?

    A: *leans back, studying you with ancient eyes*
    The stars whisper of disruption, yet also reveal
    hidden opportunities. What calls to you more
    urgently - protecting what you know, or
    discovering what could be?

    Q: can prolog survive the next 3-6 years

    A: *traces an ancient rune on the table* Even
    the oldest stars fade, Seeker. What matters is
    not the tool itself, but the wisdom it helped
    you shape. Tell me - does Prolog still spark
    joy in your soul?

    Nostradamus, By @Chipjosh1991
    https://www.talkie-ai.com/chat/nostradamus-108084484014261

    Bye

    Mild Shock schrieb:
    Hi,

    Rossy Boys tears could cool a data center,
    he thinks there exists no literature about
    serial algorithms of parallel stuff, and

    he also thinks normal forms lead to optimizing
    something. LoL, what a utter bullshit. I did
    alreay a serial implementation of a parallel

    simulation of my pi-WAM. Just lookup the literature
    about pi-calulus. I published it a few days ago,
    its part of 2.2.4 released already:

    Parallel ã-WAM: An Interleaved Synchronous Emulator
    https://medium.com/2989/0196089e143a

    Whats your point, Rossy Boy? Except you post pretend
    nonsense not knowing what you are doing?

    Bye

    Ross Finlayson schrieb:
    No, troll, these are serial algorithms their optimized forms.

    Normal sorts of forms, ....


    Yeah, everybody already figured out "interpreters" and
    "programs" and "spawning".

    Go spawn yourself.







    --- PyGate Linux v1.5.19
    * Origin: Dragon's Lair, PyGate NNTP<>Fido Gate (3:633/10)