Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #143433
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Newsgroups | comp.theory, comp.lang.c, comp.lang.c++ |
| Subject | Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution]) |
| Date | 2026-09-05 14:19 +0200 |
| Message-ID | <117h1da$2fa$3@solani.org> (permalink) |
| References | (1 earlier) <AJN9S.9616$1xtd.1330@fx01.ams4> <114daas$k594$1@solani.org> <114dfcj$ko2q$2@solani.org> <117cpjm$1khku$4@solani.org> <117e48j$1lcqq$3@solani.org> |
Cross-posted to 3 groups.
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.
>>> >
>>>
>>
>
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 11:43 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-28 02:47 +0800
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:07 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Mild Shock <janburse@fastmail.fm> - 2026-07-28 00:25 +0200
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 16:09 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 16:33 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:48 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 07:44 -0700
You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:11 +0200
Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:25 -0700
Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 23:49 +0800
Re: You are still chewing on SIMD. LoL (Was: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:59 -0700
I don't care about Java, pi-WAM is pi-calculus and WAM (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:05 +0200
Underneath pi-WAM is Hack VM, you can goto (Was: I don't care about Java, pi-WAM is pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:09 +0200
New addition to π-WAM is π-WAM Assembly (Was: Underneath pi-WAM is Hack VM, you can goto) Mild Shock <janburse@fastmail.fm> - 2026-08-09 19:45 +0200
Re: I don't care about Java, pi-WAM is pi-calculus and WAM (Re: You are still chewing on SIMD. LoL) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 09:11 -0700
A yellow mustard called Rossy Body (Was: I don't care about Java, pi-WAM is pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:30 +0200
Ignoramus or Ignorabimus: I don't care (π-WAM) (Was: A yellow mustard called Rossy Body) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:31 +0200
Hurry Rossy Boy, the blue bus is waiting (Was: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:32 +0200
Re: Hurry Rossy Boy, the blue bus is waiting (Was: You are still chewing on SIMD. LoL) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:36 -0700
Look how they advertized CUDA and logical threads (Was: Hurry Rossy Boy, the blue bus is waiting) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:43 +0200
Forget any arithmetization of product FSA (Was: Look how they advertized CUDA and logical threads) Mild Shock <janburse@fastmail.fm> - 2026-07-29 17:47 +0200
comp.lang.lisp (was: Re: Forget any arithmetization of product FSA) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 23:53 +0800
Re: Look how they advertized CUDA and logical threads (Was: Hurry Rossy Boy, the blue bus is waiting) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 08:53 -0700
The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry Rossy Boy, the blue bus is waiting) Mild Shock <janburse@fastmail.fm> - 2026-09-21 11:33 +0200
Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry Rossy Boy, the blue bus is waiting) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-09-21 18:43 +0800
Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry boltar@caprica.universe - 2026-09-21 15:44 +0000
Re: The Bazar is dead, long live the Bazar [Swarm AI] (Re: Hurry legalize+jeeves@mail.xmission.com (Richard) - 2026-09-21 16:19 +0000
New! P(tao) versus the Euler Turbine [Navier Stokes] (Re: The Bazar is dead, long live the Bazar [Swarm AI]) Mild Shock <janburse@fastmail.fm> - 2026-09-22 08:40 +0200
Pontifex Codex the idea of "right and natural" (Was: New! P(tao) versus the Euler Turbine) Mild Shock <janburse@fastmail.fm> - 2026-09-22 09:22 +0200
Re: Pontifex Codex the idea of "right and natural" (Was: New! P(tao) versus the Euler Turbine) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-09-22 01:11 -0700
There are two versions of Hack VM (Was: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:14 +0200
Hack VM has also a Prolog spec (Was: There are two versions of Hack VM) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:17 +0200
A better compiler is planned / What do you target? (Was: Hack VM has also a Prolog spec) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:22 +0200
It’s called . . . . enshittification (About the price tag for using a multifile/1) Mild Shock <janburse@fastmail.fm> - 2026-08-14 00:50 +0200
Budget AI Laptop 2026 versus Cray T3D 1995 (Re: You are still chewing on SIMD. LoL) Mild Shock <janburse@fastmail.fm> - 2026-08-05 14:24 +0200
A brain desease of 20 days [Rossy Boy] (Was: Viswath & Charmaigne (vector-wide scalar-word and character machines)) Mild Shock <janburse@fastmail.fm> - 2026-07-29 18:38 +0200
Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:05 +0200
Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 11:13 -0700
I don't use Rust, you are crazy [Jump off a bridge, idiot] (Was: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 20:22 +0200
Standing on the shoulders of giants (Re: I don't use Rust, you are crazy [Jump off a bridge, idiot]) Mild Shock <janburse@fastmail.fm> - 2026-08-04 03:20 +0200
You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc.. (Re: Standing on the shoulders of giants) Mild Shock <janburse@fastmail.fm> - 2026-08-04 15:18 +0200
How Rossy Boys plagiarism works [Copy Paste Slop] (Re: You Thief! Stealing Szemeredi, Aristotle, Leibniz, etc..) Mild Shock <janburse@fastmail.fm> - 2026-08-04 17:56 +0200
Postgres is in C! Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 03:46 +0800
Re: Postgres is in C! Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-29 13:47 -0700
Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:00 +0200
Re: Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:05 +0800
Re: Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) scott@slp53.sl.home (Scott Lurndal) - 2026-07-30 14:46 +0000
Please don't extend your cross posting / What does abstract mean? (Was: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:05 +0200
Mars, the MIPS emulator in Java (was: Re: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:20 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 06:59 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 07:24 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 09:58 +0800
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 23:19 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 09:23 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 09:36 -0700
Decorum (was: Re: Mars, the MIPS emulator in Java) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 23:07 +0800
Re: Decorum Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 23:09 +0800
Re: Decorum Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 08:36 -0700
Re: Decorum Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 08:44 -0700
Re: Decorum Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 10:38 +0800
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-05 10:15 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-04 23:31 -0700
Re: Mars, the MIPS emulator in Java "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 12:42 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:24 -0700
Re: Mars, the MIPS emulator in Java "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-05 13:30 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 13:45 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-05 20:42 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-07 09:55 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-07 05:13 -0700
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-07 05:59 -0700
Re: Mars, the MIPS emulator in Java Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-07 09:53 +0800
Re: Mars, the MIPS emulator in Java Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-06 20:11 -0700
Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Postgres is in C!) Mild Shock <janburse@fastmail.fm> - 2026-07-29 22:49 +0200
A funny Q16.16 experiment with Hack (Was: Hack ecosystem ignorance paired with paranoia [Nand to Tetris]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 23:10 +0200
Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM] (Re: A funny Q16.16 experiment with Hack) Mild Shock <janburse@fastmail.fm> - 2026-07-30 11:27 +0200
Re: Bullshit Authorized by Sarah Connor [EyeProlog Failure] (Re: Summer Challenge: libSQL = Prolog+Modes [VDBE versus π-WAM]) Mild Shock <janburse@fastmail.fm> - 2026-08-12 20:30 +0200
Crating Interpreters, Java part (was: Re: Hack ecosystem ignorance paired with paranoia [Nand to Tetris] (Re: Postgres is in C!)) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:27 +0800
I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Crating Interpreters, Java part) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:32 +0200
For WebGPU I first had SIMD in mind (Was: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 19:47 +0200
Corr.: 4 Months --> 4 Weeks (Was: For WebGPU I first had SIMD in mind) Mild Shock <janburse@fastmail.fm> - 2026-07-30 20:04 +0200
Re: For WebGPU I first had SIMD in mind (Was: I wrote Hack VM for π-WAM from scratch) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 04:07 +0800
Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java] (Re: Crating Interpreters, Java part) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-31 03:49 +0800
MIPS is a big Huffman mess [But Hack could do it] (Was: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:26 +0200
Not declarative with PHI (Φ) nodes (Re: MIPS is a big Huffman mess [But Hack could do it]) Mild Shock <janburse@fastmail.fm> - 2026-07-30 22:41 +0200
Quo Vadis: Extend investigations to WebNN (Re: I wrote Hack VM for π-WAM from scratch) Mild Shock <janburse@fastmail.fm> - 2026-07-31 20:47 +0200
Mojo: The Small Hands Paradox [Maastrichtian Stage] (Re: I wrote Hack VM for π-WAM from scratch [4 Months total JavaScript, Python and Java]) Mild Shock <janburse@fastmail.fm> - 2026-09-15 14:37 +0200
More from the Trailer Park Boys (Re: Mojo: The Small Hands Paradox) Mild Shock <janburse@fastmail.fm> - 2026-09-15 19:42 +0200
Interdisplinary Research for kill -9 (SIGKILL) (Re: More from the Trailer Park Boys) Mild Shock <janburse@fastmail.fm> - 2026-09-16 13:25 +0200
Kundalini III: Modus Barbara versus Stock Pumping (Re: Interdisplinary Research for kill -9 (SIGKILL)) Mild Shock <janburse@fastmail.fm> - 2026-09-19 13:18 +0200
Mathematical cheese versus "intuition" (Re: Kundalini III: Modus Barbara versus Stock Pumping) Mild Shock <janburse@fastmail.fm> - 2026-09-22 10:27 +0200
A real Terence Tao Ingestion Problem (Was: Mathematical cheese versus "intuition") Mild Shock <janburse@fastmail.fm> - 2026-09-22 16:05 +0200
The A2A project: Agent cards for collaboration (Was: A real Terence Tao Ingestion Problem) Mild Shock <janburse@fastmail.fm> - 2026-09-22 16:28 +0200
Self censoring of not talking "superintelligence" (Was: Mojo: The Small Hands Paradox [Maastrichtian Stage]) Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:02 +0200
The Ben Goertzel talkie genes (Re: Self censoring of not talking "superintelligence") Mild Shock <janburse@fastmail.fm> - 2026-09-22 18:07 +0200
Philosophy Departments lead in GenAI Adoption? (Was: The Ben Goertzel talkie genes) Mild Shock <janburse@fastmail.fm> - 2026-09-22 20:14 +0200
RCan library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:33 +0200
Can library(ironpaw) repurpose FFT hardware [Glimps into Ryzen AI 7 350] (Re: Hack ecosystem ignorance paired with paranoia) Mild Shock <janburse@fastmail.fm> - 2026-08-01 02:34 +0200
Re: Postgres is in C! Cóilín Nioclásín Glostéir <thanks-to@Taf.com> - 2026-07-29 21:23 +0000
Turbo Vison, again (was: Re: Postgres is in C!) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-30 21:31 +0800
I think Erlang is completely dead. And I repeat it. (Re: From short-cut parallelism to true parallelism [π-WAM Musings]) Mild Shock <janburse@fastmail.fm> - 2026-08-29 03:11 +0200
Re: Rossy Boys tears could cool a data center [pi-WAM Interleaved Synchronized Emulator] Mild Shock <janburse@fastmail.fm> - 2026-09-03 23:41 +0200
Is Bill Gates right that we will loose jobs [Talkie x Claw] (Re: Rossy Boys tears could cool a data center) Mild Shock <janburse@fastmail.fm> - 2026-09-03 23:42 +0200
The Flagging of Students for not Thinking [Elixir Evolution] (Re: Is Bill Gates right that we will loose jobs [Talkie x Claw]) Mild Shock <janburse@fastmail.fm> - 2026-09-04 11:50 +0200
Rust Eggs for Statechart Proof Certificates? (Re: The Flagging of Students for not Thinking [Elixir Evolution]) Mild Shock <janburse@fastmail.fm> - 2026-09-05 14:19 +0200
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]) Mild Shock <janburse@fastmail.fm> - 2026-09-05 16:28 +0200
He uses "FIFO objects", and DMA and Noc [Glimps into Ryzen AI 7 350] (Re: A brain desease of 20 days [Rossy Boy])) Mild Shock <janburse@fastmail.fm> - 2026-08-01 12:15 +0200
Tablet and phone UBS-C remote debugging (Re: He uses "FIFO objects", and DMA and Noc) Mild Shock <janburse@fastmail.fm> - 2026-08-01 12:18 +0200
NPUs doing 2d chess comms (Manhattan Distance or L1 Norm) (Re: Tablet and phone UBS-C remote debugging) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:11 +0200
NACK retransmission might double Manhattan Distance (Re: NPUs doing 2d chess comms) Mild Shock <janburse@fastmail.fm> - 2026-08-01 14:23 +0200
First AI laptops, now AI single-boarders [Budget, Budget, ..] (Re: NPUs doing 2d chess comms (Manhattan Distance or L1 Norm)) Mild Shock <janburse@fastmail.fm> - 2026-08-26 00:08 +0200
Food for thought: ISOMICRO profile of Web Prolog (Was: First AI laptops, now AI single-boarders [Budget, Budget, ..]) Mild Shock <janburse@fastmail.fm> - 2026-08-31 18:01 +0200
Food for thought: Le Petit Bistro as a Trinity Use Case (Re: Food for thought: ISOMICRO profile of Web Prolog) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:53 +0200
Giga Lips for Prolog based Chatting (Was: Food for thought: Le Petit Bistro as a Trinity Use Case) Mild Shock <janburse@fastmail.fm> - 2026-09-02 21:54 +0200
Google holds the keys to the AI kingdom [WebClaw Dominance] (Re: Giga Lips for Prolog based Chatting) Mild Shock <janburse@fastmail.fm> - 2026-09-03 09:47 +0200
Micro Penis needs a lot of Diaper Now [Surface Laptop Ultra] (Was: Micro Penis is worse than Sleepy Joe) Mild Shock <janburse@fastmail.fm> - 2026-09-11 18:19 +0200
Red Hat: Playing stupid games, Winning stupid prices [Accelerator Linux] (Re: Micro Penis needs a lot of Diaper Now [Surface Laptop Ultra]) Mild Shock <janburse@fastmail.fm> - 2026-09-11 18:58 +0200
Terrence Tao payed troll, by System Inteligence Sect (Was: Red Hat: Playing stupid games, Winning stupid prices [Accelerator Linux]) Mild Shock <janburse@fastmail.fm> - 2026-09-13 16:24 +0200
Bounded Rationality and Herbert Simon (Re: Terrence Tao payed troll, by System Inteligence Sect) Mild Shock <janburse@fastmail.fm> - 2026-09-13 16:42 +0200
Food for thought: Bayesian Experimental Designer (Was: A brain desease of 20 days [Rossy Boy]) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:41 +0200
What will microsoft say, will they buy it? (Was: Food for thought: Bayesian Experimental Designer) Mild Shock <janburse@fastmail.fm> - 2026-09-24 15:42 +0200
Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-07-27 21:18 +0200
Re: Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-27 15:35 -0700
Clueless about MIMD as usual [Flynn's Taxonomy] (Was: Rossy Boy is neither Einstein nor Zweistein) Mild Shock <janburse@fastmail.fm> - 2026-07-28 11:25 +0200
Re: Clueless about MIMD as usual [Flynn's Taxonomy] (Was: Rossy Boy is neither Einstein nor Zweistein) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-28 20:39 -0700
confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:15 +0200
Gemini, DeepSeek, OpenAI more clever than rossy boy (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:18 +0200
Re: confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 17:21 +0800
In AI Acceleration nobody cares about CivetWeb (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:27 +0200
Re: In AI Acceleration nobody cares about CivetWeb (Was: confused rossy boy is confused) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 17:40 +0800
Your strictness is your problem , not mine [See WebLLM] (Was: In AI Acceleration nobody cares about CivetWeb) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:46 +0200
Graphics Processing with Fortran 77 (was: Re: Your strictness is your problem , not mine) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-07-29 18:10 +0800
I am not in C, it is theory and C++ [Hybrid Approaches from KOAN/Fortran-S] (Was: Graphics Processing with Fortran 77) Mild Shock <janburse@fastmail.fm> - 2026-07-29 12:43 +0200
Java picky concerning JIT-ing [Luckier with C++/C or FORTRAN compilers?] (Re: I am not in C, it is theory and C++) Mild Shock <janburse@fastmail.fm> - 2026-07-29 12:53 +0200
Run with minimum HTTPS and .mjs type (Re: In AI Acceleration nobody cares about CivetWeb) Mild Shock <janburse@fastmail.fm> - 2026-07-29 11:48 +0200
Lamas in a cradle and Lamas on the edge [Red Pyjama] (Was: Run with minimum HTTPS and .mjs type) Mild Shock <janburse@fastmail.fm> - 2026-07-29 13:05 +0200
Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Mild Shock <janburse@fastmail.fm> - 2026-08-08 09:22 +0200
Re: Synthetic Multilanguage Autoformalization Dataset [Informath project] (Re: Lamas in a cradle and Lamas on the edge [Red Pyjama]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-08 10:38 -0700
Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism] (Re: Synthetic Multilanguage Autoformalization Dataset [Informath project]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 15:20 +0200
Everybody does eat and sleep [The SK hynix Story] (Re: Six Proofs and Generally Inteligent Systems [EyeProlog Pseudo Scientism]) Mild Shock <janburse@fastmail.fm> - 2026-08-15 18:49 +0200
Harmonic Analysis collides with Gabriels Horn [9-11 Math Incident] (Was: Accelerate Lean! From Theorem 3.11 to Corollary 3.12 [ZMC]) Mild Shock <janburse@fastmail.fm> - 2026-09-11 20:41 +0200
Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) Mild Shock <janburse@fastmail.fm> - 2026-09-12 11:30 +0200
Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) fir <profesor.fir@gmail.com> - 2026-09-12 12:02 +0200
Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges]) Mild Shock <janburse@fastmail.fm> - 2026-09-12 12:12 +0200
Re: Kurzweils prognostic failure [Nabokov Fallacy] (Re: Math has found a new Muse [Grothendieck Hodges]) Lane W <cactus_DAC@yahoo.com> - 2026-09-12 07:37 -0600
The future Numa Brains will be gorgeous (Was: Train yourself to become a nosomatic AI chirurgeon) Mild Shock <janburse@fastmail.fm> - 2026-09-25 19:14 +0200
Estimating P(doom E-graphs) to < 10% (Was: The future Numa Brains will be gorgeous) Mild Shock <janburse@fastmail.fm> - 2026-09-28 14:13 +0200
Re: Math has found a new Muse [Grothendieck Hodges] (Re: Harmonic Analysis collides with Gabriels Horn) Lane W <cactus_DAC@yahoo.com> - 2026-09-12 07:34 -0600
Re: confused rossy boy is confused (Was: Clueless about MIMD as usual [Flynn's Taxonomy]) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-07-29 14:42 -0700
Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:37 +0200
Re: Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-02 14:40 -0700
Re: Even send_color and recv_color can block [Cerebras Waver] (Was: confused rossy boy is confused) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-02 14:43 -0700
You don't understand that compute shaders are tasks (Was: Even send_color and recv_color can block [Cerebras Waver]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:45 +0200
You don't understand that compute shaders are tasks (Re: Even send_color and recv_color can block [Cerebras Waver]) Mild Shock <janburse@fastmail.fm> - 2026-08-02 23:46 +0200
Ignoramus / Ignorabimus Barometer: Almost 1 Month (Re: You don't understand that compute shaders are tasks) Mild Shock <janburse@fastmail.fm> - 2026-08-03 00:09 +0200
Homework: Game Engine in WebGPU (Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month) Mild Shock <janburse@fastmail.fm> - 2026-08-03 02:08 +0200
Re: Homework: Game Engine in WebGPU (Re: Ignoramus / Ignorabimus Barometer: Almost 1 Month) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 11:55 -0700
You are not correctly thinking (Was: Homework: Game Engine in WebGPU) Mild Shock <janburse@fastmail.fm> - 2026-08-03 21:04 +0200
Re: You are not correctly thinking (Was: Homework: Game Engine in WebGPU) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 12:32 -0700
You don't understand the economy of an AI Laptop (Was: You are not correctly thinking) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:24 +0200
You don't understand producer , workers , consumer (Was: You don't understand the economy of an AI Laptop ) Mild Shock <janburse@fastmail.fm> - 2026-08-03 22:37 +0200
Re: You don't understand producer , workers , consumer (Was: You don't understand the economy of an AI Laptop ) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-03 14:29 -0700
Know nothing and forget what you posted day before (Was: You don't understand producer , workers , consumer) Mild Shock <janburse@fastmail.fm> - 2026-08-03 23:38 +0200
Kundalini II: Why I love DeepSeek (Re: Rossy Boy is neither Einstein nor Zweistein) Mild Shock <janburse@fastmail.fm> - 2026-09-13 17:03 +0200
Warning: Inconsistencies can summon Waluigis (Re: Kundalini II: Why I love DeepSeek) Mild Shock <janburse@fastmail.fm> - 2026-09-14 11:52 +0200
Kundalini III: Pebble Languages need Meme Evolution (Re: Rossy Boy is neither Einstein nor Zweistein (Re: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-09-28 16:39 +0200
Rogue Agents find each other [Microsoft Copilot Incident] (Re: Kundalini III: Pebble Languages need Meme Evolution) Mild Shock <janburse@fastmail.fm> - 2026-09-29 15:05 +0200
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 06:49 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2026-07-30 14:55 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-30 21:18 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 09:12 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 12:55 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-07-31 13:05 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-02 10:27 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-06 10:12 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-08-06 12:37 -0700
Re: Viswath & Charmaigne (vector-wide scalar-word and character machines) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-31 08:16 -0700
Ljubljana School versus Zurich School (Was: Viswath & Charmaigne) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:14 +0200
Re: Ljubljana School versus Zurich School (Was: Viswath & Charmaigne) Johann 'Myrkraverk' Oskarsson <johann@myrkraverk.invalid> - 2026-08-04 02:21 +0800
pi-WAM uses ADA RendezVous (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:35 +0200
A spinlock rewrite will be necessary (Was: pi-WAM uses ADA RendezVous) Mild Shock <janburse@fastmail.fm> - 2026-08-03 21:00 +0200
Re: pi-WAM uses ADA RendezVous (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-24 20:17 +0200
Doing uux with pi-calculus and WAM (Re: pi-WAM uses ADA RendezVous) Mild Shock <janburse@fastmail.fm> - 2026-08-24 20:17 +0200
Does it have a declarative reading? (Re: Doing uux with pi-calculus and WAM) Mild Shock <janburse@fastmail.fm> - 2026-08-24 20:35 +0200
MCP = uux with streaming JSON (Was: Does it have a declarative reading?) Mild Shock <janburse@fastmail.fm> - 2026-08-24 22:25 +0200
Big thanks to Ljubljana School [Searching 0xCAFFEE] (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-03 20:40 +0200
The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Mild Shock <janburse@fastmail.fm> - 2026-08-19 23:51 +0200
Re: The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-19 17:51 -0700
Re: The Paul Armer Square Revisited (Was: "Mathematics in the Age of AI") Mild Shock <janburse@fastmail.fm> - 2026-08-20 13:18 +0200
Communism will Save Us! [Pivot Russia for China] (Re: The Paul Armer Square Revisited) Mild Shock <janburse@fastmail.fm> - 2026-08-20 14:22 +0200
How to increase your "Convincingness" [Anthropic AI Text Hacked] (Re: The Paul Armer Square Revisited) Mild Shock <janburse@fastmail.fm> - 2026-08-20 19:38 +0200
Reality of Proof Assistants / Coding [Luhmans Zettelkasten] (Re: Free Speech for (my) Robots) Mild Shock <janburse@fastmail.fm> - 2026-08-20 20:22 +0200
Re: Reality of Proof Assistants / Coding [Luhmans Zettelkasten] (Re: Free Speech for (my) Robots) Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-08-20 12:02 -0700
Peking School versus Ljubljana School [Everything Is a Plugin] (Was: Ljubljana School versus Zurich School) Mild Shock <janburse@fastmail.fm> - 2026-08-21 17:43 +0200
csiph-web