Hi,
Why is nobody mentioning Agda here. It has
beautiful dependent types, and tactics are
just programs. Poor Henk Barendregt, not
everybody likes dependent types it seems:
Are we stuck with Lean?
https://mathoverflow.net/q/513742/
Does Depependent types require proof objects,
which waste large amounts of memory. Well,
if you are not good in erasing them.
But is there a Red Pyjama for Proof Assistants,
the baby cradle where LLMs can learn proof
assistant lingua and strategies. It seems
yes, synthetic data corpuses to the rescue:
We address this gap by introducing SMAD
(Synthetic Multilanguage Autoformalization
Dataset), a 400K 4-to-3 parallel corpus
covering four formal languages (Dedukti,
Agda, Coq, Lean) and three natural languages (
English, French, Swedish), generated via
the Informath project.
https://github.com/GrammaticalFramework/informath
But the corpus could be an accident, maybe rather
a toy from the https://www.grammaticalframework.org/
folks, will this have an impact?
Bye
Mild Shock schrieb:
Hi,
Why does this Lama have a red pyjama.
Oh, its a baby Lama. Its still in the cradle
and needs some training:
RedPajama-Data-v2
https://github.com/togethercomputer/RedPajama-Data
But then Andrej Karpathy recently showed
GPT-2 training on rented GPUs for less
than 100 USD in less then 2 hours.
So where do these grown up Lamas go.
Well Georgi Gerganov prefered C++/C
when he shouted Llama Llama Red Pyjama.
But you also find WebLLM, wrapping the
underlying C++/C GPU interface via the
W3C standard WebGPU / WGSL, with JavaScript:
In-Browser LLM Inference Engine
https://webllm.mlc.ai/
My experience with WebLLM 6 months
ago on an iPad Pro 2024, still a little early
stage performance and robustness.
But hey hardware of AI mobile iGPUs is
still evolving, and AI laptop, AI smartphones
and AI tablets, will soon feature Chinese
hardware such some new Kirin AI in 2027.
Bye
Mild Shock schrieb:
Hi,
Maybe there is a Rossy Boy flux generator
web server with infinity and continuity
HTTPS and .mjs type, aka SIMT halucination.
To run the GPU example that is written in HTML,
JavaScript and WebGPU / WGSL, the minium is
possibly a HTTPS server that can deliver the
right mime type for the .mjs extension. Its
then only a bundle of static pages that does
the demonstration. What worked on my side
is the IntelliJ browse button, which then uses
a small local server on its own, sandboxed to
serving some project files.
But this is only how to launch the test pages.
The Rossy Boy SIMT halucination, could also work, who knows?
Bye
Mild Shock schrieb:
Hi,
Nobody cares about CivetWeb a C++/C library,
the rossy boy moron refuses to understand this
simple GPU test, that shows some AI Acceleration:
11.4 Giga Lips with a Budget Laptop
https://github.com/Jean-Luc-Picard-2021/gigabudget
Bye
Johann 'Myrkraverk' Oskarsson schrieb:
On 29/07/2026 5:15 PM, Mild Shock wrote:
Hi,
Confused rossy boy is confused. We are
not building a stupid web server, where
a listener thread spawns service threads,
and to avoid malloc and free, reuses
a pool, or some shitty fork join framework.
The producer and consumer example I posted
elsewhere archived a dataflow without
malloc and free of threads. You are miles
away from what we are doing here.
Why not? Isn't this comp.lang.c? And isn't that exactly how
CivetWeb works internally? Have you never built your own web
sever in C? Not even with CivetWeb? It's really easy! You
only need to implement a callback or two.
Hi,
Years ago Sam Altman said to have no idea how
to generate revenue, but when the generally
intelligent system is in place, he might ask it.
Some schools approach the ?generality? from
a totally wrong perspective. Take the EyeProlog
Pseudo Scientism here:
The Art of EyeProlog https://eyereasoner.github.io/eyeprolog/the-art-of-eyeprolog
It is the same nonsense like constraint propagation,
the idea here is to evolve better software, that it
has as a main component refinement:
Start -> Algo1 -> Algo2 -> Algo3 -> Algo4 ...
But EyeProlog itself is an example of not using
this refinement. Like dropping the classical
WAM architecture, and back to YieldProlog somehow.
What if the world ticks like this
when it come to generality:
/-> Algo1
/--> Algo2
Start ---> Algo3
\--> Algo4
\-> ...
Innovation requires to start from scratch.
I think this little booklet, recommended by
Ernst Specker, Proofs from THE BOOK is a
book of mathematical proofs by Martin Aigner
and Gnter M. Ziegler, first published in 1998.
Just wants to teach us about this bifurcation:
Chapter 1: Six proofs of the infinity of
the primes, including Euclid's and Furstenberg's. https://en.wikipedia.org/wiki/Proofs_from_THE_BOOK
Yeah, lets aim for surprises by
generative AI, not refinement.
Bye
See also:
Sam Altman on his Business Model
https://www.youtube.com/shorts/pLnyjxgFxew
Mild Shock schrieb:
Hi,
Why is nobody mentioning Agda here. It has
beautiful dependent types, and tactics are
just programs. Poor Henk Barendregt, not
everybody likes dependent types it seems:
Are we stuck with Lean?
https://mathoverflow.net/q/513742/
Does Depependent types require proof objects,
which waste large amounts of memory. Well,
if you are not good in erasing them.
But is there a Red Pyjama for Proof Assistants,
the baby cradle where LLMs can learn proof
assistant lingua and strategies. It seems
yes, synthetic data corpuses to the rescue:
We address this gap by introducing SMAD
(Synthetic Multilanguage Autoformalization
Dataset), a 400K 4-to-3 parallel corpus
covering four formal languages (Dedukti,
Agda, Coq, Lean) and three natural languages (
English, French, Swedish), generated via
the Informath project.
https://github.com/GrammaticalFramework/informath
But the corpus could be an accident, maybe rather
a toy from the https://www.grammaticalframework.org/
folks, will this have an impact?
Bye
Mild Shock schrieb:
Hi,
Why does this Lama have a red pyjama.
Oh, its a baby Lama. Its still in the cradle
and needs some training:
RedPajama-Data-v2
https://github.com/togethercomputer/RedPajama-Data
But then Andrej Karpathy recently showed
GPT-2 training on rented GPUs for less
than 100 USD in less then 2 hours.
So where do these grown up Lamas go.
Well Georgi Gerganov prefered C++/C
when he shouted Llama Llama Red Pyjama.
But you also find WebLLM, wrapping the
underlying C++/C GPU interface via the
W3C standard WebGPU / WGSL, with JavaScript:
In-Browser LLM Inference Engine
https://webllm.mlc.ai/
My experience with WebLLM 6 months
ago on an iPad Pro 2024, still a little early
stage performance and robustness.
But hey hardware of AI mobile iGPUs is
still evolving, and AI laptop, AI smartphones
and AI tablets, will soon feature Chinese
hardware such some new Kirin AI in 2027.
Bye
Mild Shock schrieb:
Hi,
Maybe there is a Rossy Boy flux generator
web server with infinity and continuity
HTTPS and .mjs type, aka SIMT halucination.
To run the GPU example that is written in HTML,
JavaScript and WebGPU / WGSL, the minium is
possibly a HTTPS server that can deliver the
right mime type for the .mjs extension. Its
then only a bundle of static pages that does
the demonstration. What worked on my side
is the IntelliJ browse button, which then uses
a small local server on its own, sandboxed to
serving some project files.
But this is only how to launch the test pages.
The Rossy Boy SIMT halucination, could also work, who knows?
Bye
Mild Shock schrieb:
Hi,
Nobody cares about CivetWeb a C++/C library,
the rossy boy moron refuses to understand this
simple GPU test, that shows some AI Acceleration:
11.4 Giga Lips with a Budget Laptop
https://github.com/Jean-Luc-Picard-2021/gigabudget
Bye
Johann 'Myrkraverk' Oskarsson schrieb:
On 29/07/2026 5:15 PM, Mild Shock wrote:
Hi,
Confused rossy boy is confused. We are
not building a stupid web server, where
a listener thread spawns service threads,
and to avoid malloc and free, reuses
a pool, or some shitty fork join framework.
The producer and consumer example I posted
elsewhere archived a dataflow without
malloc and free of threads. You are miles
away from what we are doing here.
Why not? Isn't this comp.lang.c? And isn't that exactly how
CivetWeb works internally? Have you never built your own web
sever in C? Not even with CivetWeb? It's really easy! You
only need to implement a callback or two.
In "Mathematics in the Age OF AI" (2026-08-17) macht Terence
Tao sich auf zirka 11 Seiten Gedanke darber, in welcher Form
KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und
wie diese in das mathematische Wissen integriert werden sollten.
Hi,
I even don't remember exactly why I landed
in comp.theory. A yes, because Rossy Boy,
was hooked on SIMD and didn't understand Hack.
But the Hack work, rather belongs to my
Alma Mater Zurich and my personal heros, Gutnecht
and Wirth, who wrote a one pass Modula
compiler during some christmas holidays,
back then when I was student. Not sure
whether the Ljubljana School can do that,
when I read this here:
Finite Algebraic Effects as dicts and such https://www.philipzucker.com/bdd_term_alg_effects/
I only find gibberish like:
- ?Data? is somehow less mysterious to me
than ?computation?. [..] I don?t even
know what ?computation? really is
- In temporal logic, there is a logic CTL
which talks about computation trees.
- Algerbaic (LoL) effects is almost a complete
hackery abuse of the notion of arity
and that?s neat.
- Then there are 10^10 etc vectors which
show up if you discretize 3d/4d space. [..]
or reinforcement learning.
- Etc..
WTF is this guy smoking? I mean he even
doesn't uses math notation, only posts
Python code fragments go go,
possibly a Python brain damage.
But still less sever than Rossy Boys.
Bye
Ross Finlayson schrieb:
Hello, here I'll post some design notes and a panel discussion with some
chat-bots about making some sense of the "vector-wide scalar word"
and "character machines", on commodity hardware about ubiquitous
operations.
It's considered at least tangentially relevant to comp.lang.c and
comp.lang.c++ because for example text is ubiquitous and the targets
would be low-level, while the higher-level languages would have a
same sort of patternry, and for example that libc and cstdlib are
standard, and as with regards to POSIX and Unicode and so on.
Please feel free to excuse or ignore, or comment as freely.
Thanks for reading.
Hi,
How it started:
Speed
^
| * Machine
| (1963)
|
|
| * Man
+--------------------->
Sophistication
How its going?
Speed
^
| * Machine * Machine
| (1963) (2026)
|
|
| * Man
+--------------------->
Sophistication
Bye
ATTITUDES TOWARD INTELLIGENT MACHINES
Paul Armer
RAND Corporation
in
BIONICS SYMPOSIUM 1960
LIVING PROTOTYPES - THE KEY TO NEW TECHNOLOGY https://books.google.ch/books?id=1ZMeAAAAMAAJ&pg=PA13
Stefan Ram schrieb:
In "Mathematics in the Age OF AI" (2026-08-17) macht Terence
Tao sich auf zirka 11 Seiten Gedanke darber, in welcher Form
KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und
wie diese in das mathematische Wissen integriert werden sollten.
Mild Shock schrieb:
Hi,
I even don't remember exactly why I landed
in comp.theory. A yes, because Rossy Boy,
was hooked on SIMD and didn't understand Hack.
But the Hack work, rather belongs to my
Alma Mater Zurich and my personal heros, Gutnecht
and Wirth, who wrote a one pass Modula
compiler during some christmas holidays,
back then when I was student. Not sure
whether the Ljubljana School can do that,
when I read this here:
Finite Algebraic Effects as dicts and such
https://www.philipzucker.com/bdd_term_alg_effects/
I only find gibberish like:
- ?Data? is somehow less mysterious to me
than ?computation?. [..] I don?t even
know what ?computation? really is
- In temporal logic, there is a logic CTL
which talks about computation trees.
- Algerbaic (LoL) effects is almost a complete
hackery abuse of the notion of arity
and that?s neat.
- Then there are 10^10 etc vectors which
show up if you discretize 3d/4d space. [..]
or reinforcement learning.
- Etc..
WTF is this guy smoking? I mean he even
doesn't uses math notation, only posts
Python code fragments go go,
possibly a Python brain damage.
But still less sever than Rossy Boys.
Bye
Ross Finlayson schrieb:
Hello, here I'll post some design notes and a panel discussion with some >>> chat-bots about making some sense of the "vector-wide scalar word"
and "character machines", on commodity hardware about ubiquitous
operations.
It's considered at least tangentially relevant to comp.lang.c and
comp.lang.c++ because for example text is ubiquitous and the targets
would be low-level, while the higher-level languages would have a
same sort of patternry, and for example that libc and cstdlib are
standard, and as with regards to POSIX and Unicode and so on.
Please feel free to excuse or ignore, or comment as freely.
Thanks for reading.
Es ist schlimm, das man in der modernen Zeit
trotz KI immer noch von dem spricht, was die
Welt anscheinend antreibt: GELD.
Wer Geld hat, hat Macht, kann Wissen einkaufen -
was ist mit den Rest ? Die kleinen haben kein Geld,
Amerika ist pleite und Deutschland hat nun wieder
eine neue Steuer - Kinderfonds, 10 Euro monatlich,
bis 18, angelegt fr den Staat Deutschland.
Hi,
How it started:
Speed
^
| * Machine
| (1963)
|
|
| * Man
+--------------------->
Sophistication
How its going?
Speed
^
| * Machine * Machine
| (1963) (2026)
|
|
| * Man
+--------------------->
Sophistication
Bye
ATTITUDES TOWARD INTELLIGENT MACHINES
Paul Armer
RAND Corporation
in
BIONICS SYMPOSIUM 1960
LIVING PROTOTYPES - THE KEY TO NEW TECHNOLOGY https://books.google.ch/books?id=1ZMeAAAAMAAJ&pg=PA13
Stefan Ram schrieb:
In "Mathematics in the Age OF AI" (2026-08-17) macht Terence
Tao sich auf zirka 11 Seiten Gedanke darber, in welcher Form
KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und
wie diese in das mathematische Wissen integriert werden sollten.
Mild Shock schrieb:
Hi,
I even don't remember exactly why I landed
in comp.theory. A yes, because Rossy Boy,
was hooked on SIMD and didn't understand Hack.
But the Hack work, rather belongs to my
Alma Mater Zurich and my personal heros, Gutnecht
and Wirth, who wrote a one pass Modula
compiler during some christmas holidays,
back then when I was student. Not sure
whether the Ljubljana School can do that,
when I read this here:
Finite Algebraic Effects as dicts and such
https://www.philipzucker.com/bdd_term_alg_effects/
I only find gibberish like:
- ?Data? is somehow less mysterious to me
than ?computation?. [..] I don?t even
know what ?computation? really is
- In temporal logic, there is a logic CTL
which talks about computation trees.
- Algerbaic (LoL) effects is almost a complete
hackery abuse of the notion of arity
and that?s neat.
- Then there are 10^10 etc vectors which
show up if you discretize 3d/4d space. [..]
or reinforcement learning.
- Etc..
WTF is this guy smoking? I mean he even
doesn't uses math notation, only posts
Python code fragments go go,
possibly a Python brain damage.
But still less sever than Rossy Boys.
Bye
Ross Finlayson schrieb:
Hello, here I'll post some design notes and a panel discussion with some >>> chat-bots about making some sense of the "vector-wide scalar word"
and "character machines", on commodity hardware about ubiquitous
operations.
It's considered at least tangentially relevant to comp.lang.c and
comp.lang.c++ because for example text is ubiquitous and the targets
would be low-level, while the higher-level languages would have a
same sort of patternry, and for example that libc and cstdlib are
standard, and as with regards to POSIX and Unicode and so on.
Please feel free to excuse or ignore, or comment as freely.
Thanks for reading.
Somewhat related to AI watermarking is this recent article in the news.
*What does it mean to put a watermark on AI text?* <https://edition.cnn.com/2026/08/20/us/word-of-the-week-ai-watermark-cec>
Which references:
*How Claude's text watermark works*
<https://www.anthropic.com/news/claude-text-watermark>
*How AI text watermarking works*
<https://declaude.org/watermarking/>
Where apparently there is an EU law which requires watermarking...
There's also this referenced, but it's behind a paywall.
*Technology that can detect text written by AI with 99.9% certainty*
Hi,
The Armer paper gets geopolitical in the end
chapters. But today you could pivot russia for
china, and you would get a nice piece of work.
But who is the Chinese Lenin, that allows
even rocks and stones to participate in
the class struggle?
"Finally, it is particularly necessary to
emphasize the importance of the work of Lenin
who in elaborating on the ideas of Marx and
Engels, developed a materialistic theory of
consciousness as a reflection of activity.
Attention should also be given to the Lenistic
statement of the fact that non-living matter
may also possess this property of reflection."
- Paul Armer, Page 22
Bye
Jens Kallup schrieb:
Es ist schlimm, das man in der modernen Zeit
trotz KI immer noch von dem spricht, was die
Welt anscheinend antreibt: GELD.
Wer Geld hat, hat Macht, kann Wissen einkaufen -
was ist mit den Rest ? Die kleinen haben kein Geld,
Amerika ist pleite und Deutschland hat nun wieder
eine neue Steuer - Kinderfonds, 10 Euro monatlich,
bis 18, angelegt fr den Staat Deutschland.
Mild Shock schrieb:
Hi,
How it started:
Speed
^
| * Machine
| (1963)
|
|
| * Man
+--------------------->
Sophistication
How its going?
Speed
^
| * Machine * Machine
| (1963) (2026)
|
|
| * Man
+--------------------->
Sophistication
Bye
ATTITUDES TOWARD INTELLIGENT MACHINES
Paul Armer
RAND Corporation
in
BIONICS SYMPOSIUM 1960
LIVING PROTOTYPES - THE KEY TO NEW TECHNOLOGY
https://books.google.ch/books?id=1ZMeAAAAMAAJ&pg=PA13
Stefan Ram schrieb:
In "Mathematics in the Age OF AI" (2026-08-17) macht Terence
Tao sich auf zirka 11 Seiten Gedanke darber, in welcher Form
KI-Systeme von ihnen gefundene Erkenntnisse bereitstellen und
wie diese in das mathematische Wissen integriert werden sollten.
Mild Shock schrieb:
Hi,
I even don't remember exactly why I landed
in comp.theory. A yes, because Rossy Boy,
was hooked on SIMD and didn't understand Hack.
But the Hack work, rather belongs to my
Alma Mater Zurich and my personal heros, Gutnecht
and Wirth, who wrote a one pass Modula
compiler during some christmas holidays,
back then when I was student. Not sure
whether the Ljubljana School can do that,
when I read this here:
Finite Algebraic Effects as dicts and such
https://www.philipzucker.com/bdd_term_alg_effects/
I only find gibberish like:
- ?Data? is somehow less mysterious to me
than ?computation?. [..] I don?t even
know what ?computation? really is
- In temporal logic, there is a logic CTL
which talks about computation trees.
- Algerbaic (LoL) effects is almost a complete
hackery abuse of the notion of arity
and that?s neat.
- Then there are 10^10 etc vectors which
show up if you discretize 3d/4d space. [..]
or reinforcement learning.
- Etc..
WTF is this guy smoking? I mean he even
doesn't uses math notation, only posts
Python code fragments go go,
possibly a Python brain damage.
But still less sever than Rossy Boys.
Bye
Ross Finlayson schrieb:
Hello, here I'll post some design notes and a panel discussion with
some
chat-bots about making some sense of the "vector-wide scalar word"
and "character machines", on commodity hardware about ubiquitous
operations.
It's considered at least tangentially relevant to comp.lang.c and
comp.lang.c++ because for example text is ubiquitous and the targets
would be low-level, while the higher-level languages would have a
same sort of patternry, and for example that libc and cstdlib are
standard, and as with regards to POSIX and Unicode and so on.
Please feel free to excuse or ignore, or comment as freely.
Thanks for reading.
Hi,
I even don't remember exactly why I landed
in comp.theory. A yes, because Rossy Boy,
was hooked on SIMD and didn't understand Hack.
But the Hack work, rather belongs to my
Alma Mater Zurich and my personal heros, Gutnecht
and Wirth, who wrote a one pass Modula
compiler during some christmas holidays,
back then when I was student. Not sure
whether the Ljubljana School can do that,
when I read this here:
Finite Algebraic Effects as dicts and such https://www.philipzucker.com/bdd_term_alg_effects/
I only find gibberish like:
- ?Data? is somehow less mysterious to me
than ?computation?. [..] I don?t even
know what ?computation? really is
- In temporal logic, there is a logic CTL
which talks about computation trees.
- Algerbaic (LoL) effects is almost a complete
hackery abuse of the notion of arity
and that?s neat.
- Then there are 10^10 etc vectors which
show up if you discretize 3d/4d space. [..]
or reinforcement learning.
- Etc..
WTF is this guy smoking? I mean he even
doesn't uses math notation, only posts
Python code fragments go go,
possibly a Python brain damage.
But still less sever than Rossy Boys.
Bye
Ross Finlayson schrieb:
Hello, here I'll post some design notes and a panel discussion with some
chat-bots about making some sense of the "vector-wide scalar word"
and "character machines", on commodity hardware about ubiquitous
operations.
It's considered at least tangentially relevant to comp.lang.c and
comp.lang.c++ because for example text is ubiquitous and the targets
would be low-level, while the higher-level languages would have a
same sort of patternry, and for example that libc and cstdlib are
standard, and as with regards to POSIX and Unicode and so on.
Please feel free to excuse or ignore, or comment as freely.
Thanks for reading.
Hi,
I found that this here:
public final static class RendezVous {
private final Semaphore head = new Semaphore(0);
private final Semaphore tail = new Semaphore(1);
private Object data;
public void put(Object data) throws InterruptedException {
tail.acquire();
this.data = data;
head.release();
}
public Object take() throws InterruptedException {
Object res;
head.acquire();
res = data;
tail.release();
return res;
}
}
Is almost as fast as ArrayBlockingQueue(4),
in a producer worker consumer scenario.
So I considering using the above for the
pi-WAM channels. It would be also closer
to pi-calculus by Robin Milner.
Bye
Johann 'Myrkraverk' Oskarsson schrieb:
On 04/08/2026 2:14 AM, Mild Shock wrote:
Hi,
I even don't remember exactly why I landed
in comp.theory. A yes, because Rossy Boy,
was hooked on SIMD and didn't understand Hack.
But the Hack work, rather belongs to my
Alma Mater Zurich and my personal heros, Gutnecht
and Wirth, who wrote a one pass Modula
That's interesting. Have you read /Software Engineering
with Modula-2 and Ada/ (1984) by Richard Wiener and Richard
Sincovec? I have it on my shelf, and haven't gotten to read
it yet.
compiler during some christmas holidays,
back then when I was student. Not sure
whether the Ljubljana School can do that,
when I read this here:
Finite Algebraic Effects as dicts and such
https://www.philipzucker.com/bdd_term_alg_effects/
I only find gibberish like:
- ?Data? is somehow less mysterious to me
than ?computation?. [..] I don?t even
know what ?computation? really is
Computation is at the core just a calculation. Humans
used to do this, and there's a good documentary about it
titled /Hidden Figures/. I assume everyone here has seen
it.
- In temporal logic, there is a logic CTL
which talks about computation trees.
- Algerbaic (LoL) effects is almost a complete
hackery abuse of the notion of arity
and that?s neat.
Are you using /algebraic effects/ when playing League
of Legends? I tried it once, but discovered it's a
gameplay that doesn't appeal to me. I didn't think to
use /algebraic effects/ in it.
- Then there are 10^10 etc vectors which
show up if you discretize 3d/4d space. [..]
or reinforcement learning.
I don't know why you have that many vectors visiting,
but please treat them with hospitality according to
Zeus' laws.
- Etc..
WTF is this guy smoking? I mean he even
doesn't uses math notation, only posts
Python code fragments go go,
possibly a Python brain damage.
Or he just works in the ministry of silly walks?
Enjoy!
Hi,
I found that this here:
public final static class RendezVous {
private final Semaphore head = new Semaphore(0);
private final Semaphore tail = new Semaphore(1);
private Object data;
public void put(Object data) throws InterruptedException {
tail.acquire();
this.data = data;
head.release();
}
public Object take() throws InterruptedException {
Object res;
head.acquire();
res = data;
tail.release();
return res;
}
}
Is almost as fast as ArrayBlockingQueue(4),
in a producer worker consumer scenario.
So I considering using the above for the
pi-WAM channels. It would be also closer
to pi-calculus by Robin Milner.
Bye
Johann 'Myrkraverk' Oskarsson schrieb:
On 04/08/2026 2:14 AM, Mild Shock wrote:
Hi,
I even don't remember exactly why I landed
in comp.theory. A yes, because Rossy Boy,
was hooked on SIMD and didn't understand Hack.
But the Hack work, rather belongs to my
Alma Mater Zurich and my personal heros, Gutnecht
and Wirth, who wrote a one pass Modula
That's interesting. Have you read /Software Engineering
with Modula-2 and Ada/ (1984) by Richard Wiener and Richard
Sincovec? I have it on my shelf, and haven't gotten to read
it yet.
compiler during some christmas holidays,
back then when I was student. Not sure
whether the Ljubljana School can do that,
when I read this here:
Finite Algebraic Effects as dicts and such
https://www.philipzucker.com/bdd_term_alg_effects/
I only find gibberish like:
- ?Data? is somehow less mysterious to me
than ?computation?. [..] I don?t even
know what ?computation? really is
Computation is at the core just a calculation. Humans
used to do this, and there's a good documentary about it
titled /Hidden Figures/. I assume everyone here has seen
it.
- In temporal logic, there is a logic CTL
which talks about computation trees.
- Algerbaic (LoL) effects is almost a complete
hackery abuse of the notion of arity
and that?s neat.
Are you using /algebraic effects/ when playing League
of Legends? I tried it once, but discovered it's a
gameplay that doesn't appeal to me. I didn't think to
use /algebraic effects/ in it.
- Then there are 10^10 etc vectors which
show up if you discretize 3d/4d space. [..]
or reinforcement learning.
I don't know why you have that many vectors visiting,
but please treat them with hospitality according to
Zeus' laws.
- Etc..
WTF is this guy smoking? I mean he even
doesn't uses math notation, only posts
Python code fragments go go,
possibly a Python brain damage.
Or he just works in the ministry of silly walks?
Enjoy!
Hi,
I find an early precendent of a command
in a unix system, which has an interesting
flavor, that goes beyond Web Prolog Trinity
RPC nonsense. Take this command:
uux merlin!wc < venus!/paper/*.tex > mars!/stats/*.txt https://www.ibm.com/docs/en/aix/7.1.0?topic=u-uux-command
So basically wc, i.e. word count is executed
on merlin, takes data from venus and moves it
to marks. We can do the same with pi-WAM,
currently experimenting with a non-blocking
execute/1 built-in, spawn/2:
?- chan(In), chan(Out),
spawn((recv(3,[Z]), wc(Z,T), send(4,[T])), [comm([In,Out])]),
venus(X),
send(In,[X]), repeat, recv(Out,[Y]),
mars(Y).
But maybe introducing in/1 and out/1 options
to spawn/2, would be more easier to write,
now I have split spawn/2 into prepare/3 and run/1.
?- prepare(wc(X,Y)), [in(X), out(Y)], P),
venus(X),
run(P),
mars(Y).
But the point is to do prepare/3 only once,
and do mars and venus later. It also reflects
the ordering on a uux command:
1 2 3
uux merlin!wc < venus!/paper/*.tex > mars!/stats/*.txt
But we wouldn't do it alone for this cosmetic.
The idea is that the spawned process is using
its channels, to do more than only one job.
Bye
Mild Shock schrieb:
Hi,
I found that this here:
public final static class RendezVous {
private final Semaphore head = new Semaphore(0);
private final Semaphore tail = new Semaphore(1);
private Object data;
public void put(Object data) throws InterruptedException {
tail.acquire();
this.data = data;
head.release();
}
public Object take() throws InterruptedException {
Object res;
head.acquire();
res = data;
tail.release();
return res;
}
}
Is almost as fast as ArrayBlockingQueue(4),
in a producer worker consumer scenario.
So I considering using the above for the
pi-WAM channels. It would be also closer
to pi-calculus by Robin Milner.
Bye
Johann 'Myrkraverk' Oskarsson schrieb:
On 04/08/2026 2:14 AM, Mild Shock wrote:
Hi,
I even don't remember exactly why I landed
in comp.theory. A yes, because Rossy Boy,
was hooked on SIMD and didn't understand Hack.
But the Hack work, rather belongs to my
Alma Mater Zurich and my personal heros, Gutnecht
and Wirth, who wrote a one pass Modula
That's interesting. Have you read /Software Engineering
with Modula-2 and Ada/ (1984) by Richard Wiener and Richard
Sincovec? I have it on my shelf, and haven't gotten to read
it yet.
compiler during some christmas holidays,
back then when I was student. Not sure
whether the Ljubljana School can do that,
when I read this here:
Finite Algebraic Effects as dicts and such
https://www.philipzucker.com/bdd_term_alg_effects/
I only find gibberish like:
- ?Data? is somehow less mysterious to me
than ?computation?. [..] I don?t even
know what ?computation? really is
Computation is at the core just a calculation. Humans
used to do this, and there's a good documentary about it
titled /Hidden Figures/. I assume everyone here has seen
it.
- In temporal logic, there is a logic CTL
which talks about computation trees.
- Algerbaic (LoL) effects is almost a complete
hackery abuse of the notion of arity
and that?s neat.
Are you using /algebraic effects/ when playing League
of Legends? I tried it once, but discovered it's a
gameplay that doesn't appeal to me. I didn't think to
use /algebraic effects/ in it.
- Then there are 10^10 etc vectors which
show up if you discretize 3d/4d space. [..]
or reinforcement learning.
I don't know why you have that many vectors visiting,
but please treat them with hospitality according to
Zeus' laws.
- Etc..
WTF is this guy smoking? I mean he even
doesn't uses math notation, only posts
Python code fragments go go,
possibly a Python brain damage.
Or he just works in the ministry of silly walks?
Enjoy!
**Newline-delimited JSON**{"some":"thing\n"}?
Hi,
Sorry I forget to specify the site for wc.
Lets just write it as follows, the site
somehow encoded in a the predicate name,
and forget about a lot of (!)/2 details:
?- prepare(merlin(X,Y)), [in(X), out(Y)], P),
venus(X),
run(P),
mars(Y).
Does it have a declarative reading? Besides
the benefit of shipping merlin/1 only once?
Of course we can interpret it as follows:
?- venus(X),
merlin(X,Y),
mars(Y).
This would be much more also in the spirit of a
Jens Ottens theorem provers, that ultimately end
in connection proof problems, when they have
decended down. Maybe the Trinity system can
somehow avoid the multiple shipping of the merlin
payload through caching. But the problem is it
will see merlin(foo, Y), merlin(bar, Y),
merlin(baz, Y). So it doesn't know what was
the input. It cannot create a single logical
thread on the executing site.
Bye
Mild Shock schrieb:
Hi,
I find an early precendent of a command
in a unix system, which has an interesting
flavor, that goes beyond Web Prolog Trinity
RPC nonsense. Take this command:
uux merlin!wc < venus!/paper/*.tex > mars!/stats/*.txt
https://www.ibm.com/docs/en/aix/7.1.0?topic=u-uux-command
So basically wc, i.e. word count is executed
on merlin, takes data from venus and moves it
to marks. We can do the same with pi-WAM,
currently experimenting with a non-blocking
execute/1 built-in, spawn/2:
?- chan(In), chan(Out),
spawn((recv(3,[Z]), wc(Z,T), send(4,[T])), [comm([In,Out])]),
venus(X),
send(In,[X]), repeat, recv(Out,[Y]),
mars(Y).
But maybe introducing in/1 and out/1 options
to spawn/2, would be more easier to write,
now I have split spawn/2 into prepare/3 and run/1.
?- prepare(wc(X,Y)), [in(X), out(Y)], P),
venus(X),
run(P),
mars(Y).
But the point is to do prepare/3 only once,
and do mars and venus later. It also reflects
the ordering on a uux command:
1 2 3
uux merlin!wc < venus!/paper/*.tex > mars!/stats/*.txt
But we wouldn't do it alone for this cosmetic.
The idea is that the spawned process is using
its channels, to do more than only one job.
Bye
500 CHF. So we went already form AI Laptop
Hi,
Looking at the floor plan of a NPU:
Getting peak TOPS on a Ryzen AI 7 350 NPU https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/
It seems to me comms between tiles takes
at least Manhattan Distance or L1 Norm time,
if there is no comms congestion
But how does a packet travel? This way:
+----E
|
|
S
Or this way, from start S to end E:
+-E
+
+
S
And what does the chip do if there is
traffic congestion? Some papers are
here, possibly an old problem giving
that processor "cubes" are nothing new.
But a "cube" would be 3D and not 2D.
This paper is old from 2007 or so:
Routing Algorithms for 2D NoC Architectures http://cva.stanford.edu/classes/ee382c/research/2DRouting.pdf
Bye
Mild Shock schrieb:
Hi,
Tablets and phone are more annoying to
use with WebGPU. The usual browsers don't
have a Chrome DevTools panel integrated,
so that one could do JavaScript Debugging
directly on the device. Instead one has to
use a desktop machine, and connect the
device via UBS-C , and start a Chrome
Browser there . And then start a Chrome
DevTools panel alone, that is pair with
the device, via UBS-C cable. So this way
I already see where it crashes on the
tablets and phone:
await output.mapAsync(GPUMapMode.READ)
Unhandled Promise Rejection: OperationError
The above is the error that one can re-produce
already here with this test:
11.4 Giga Lips with a Budget Laptop
https://github.com/Jean-Luc-Picard-2021/gigabudget
Not sure what exactly happens. Maybe
a form of timeout or device lost, that the
primitive HTML / JavaScript doesn't handle
gracefully yet. Maybe redimensioning the
test, so that it consumes less time would
help. Who knows? Will see. For production
use of a GPU integration I have to anyway
provide work slicing it seems.
Bye
Mild Shock schrieb:
Hi,
He uses FIFO, and DMA and Noc:
Getting peak TOPS on a Ryzen AI 7 350 NPU
https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/
But lets say whether its FIFO or FILO
isn't so important his used cases are,
what is now found in my library(furryhaze)
for GPU, namely the very basic:
/**
* test_gpu_comp_start(W, K): internal only
* The predicate succeeds. As a side effect it
* starts the -WAM W with K warps.
*/
function test_gpu_comp_start(args)
/**
* test_gpu_comp_join(W, P): internal only
* The predicate succeeds in P with a new promise
* that waits for the -WAM W to finish.
*/
function test_gpu_comp_join(args)
A GPU interface, via the command processor
for example of WebGPU, does the above
synchronization for you.
In the NPU example he does everything
low level, with Python IRON an stuff:
"Since the main way to achieve synchronization
within the IRON framework is by doing data
movement with object FIFOs, I?m sending a
dummy uint32 value as some sort of
synchronization token.
Waiting for all the kernels to finish is
trickier. The object FIFOs support a join
pattern in which an object FIFO consumes an
object from each of multiple object FIFOs,
concatenates these objects and produces the
concatenated object as a result.
Etc.."
Getting peak TOPS on a Ryzen AI 7 350 NPU
https://destevez.net/2026/05/getting-peak-tops-on-a-ryzen-ai-7-350-npu/
So Daniel Estvez Scientific & Technical
Amateur Radio, gives a nice glimpse into an
NPU, I have not yet publicitly released
my library(furryhaze), since its still in
testing. Maybe take another week or so,
still I have ironed out all corners,
for example the new gpu_comp_start and
gpu_comp_join works fine on may desktop
AI laptops, but I have still a bug on
my iPad AI tablet, on the Redmi AI phone,
also chokes on a test case.
Bye
Mild Shock schrieb:
Hi,
This was archived on Jul 9, 2026:
11.4 Giga Lips with a Budget Laptop
https://github.com/Jean-Luc-Picard-2021/gigabudget
Still, Jul 29, Rossy Boy halucinates accusations:
Ross Finlayson schrieb:
.. bla bla goto bla bla ..
Stupid gangster: teamsters are a union.
In the trades, not the steals, ....
Woa! Thats now 20 days of brain desease,
and not understanding the meaning and implications.
Even not understand pi-WAM has Hack VM backend.
But its all opensource. Bravo Rossy Boy, you are
champion in brainlessness and lazyness of
a idiot usenet troll.
Bye
Johann 'Myrkraverk' Oskarsson schrieb:
On 28/07/2026 2:43 AM, Ross Finlayson wrote:
Hello, here I'll post some design notes and a panel discussion
with some
chat-bots about making some sense of the "vector-wide scalar word" >>>>>> and "character machines", on commodity hardware about ubiquitous
operations.
It's considered at least tangentially relevant to comp.lang.c and
comp.lang.c++ because for example text is ubiquitous and the targets >>>>>> would be low-level, while the higher-level languages would have a
same sort of patternry, and for example that libc and cstdlib are
standard, and as with regards to POSIX and Unicode and so on.
Please feel free to excuse or ignore, or comment as freely.
Thanks for reading.
Are you generating all of your code via LLMs? Rest assured,
the LLM generated code will have subtle and sometimes not so subtle
bugs.
Happy bughunting!
Hi,
Ok, that was quick. While my AI Laptops were
around > 1000 CHF. The Mac Neo was around
500 CHF. So we went already form AI Laptop
to AI Notebook in a few months. Now Aduino
is playing pionier, having a CPU with a NPU
on board, some Qualcomm thingy.
New Arduino Ventuno Q: Better than Raspberry Pi? https://www.youtube.com/watch?v=qQS_xWsU00I
The specs:
Octa-core ARM Cortex CPU
Adreno GPU and Hexagon AI processor (up to 40 TOPS)
16GB LPDDR5 RAM and 64GB eMMC storage
M.2 slot for NVMe SSD expansion
The cost is around 300 CHF.
Bye
Hi,
I miss an ISOMICRO profile of Web Prolog, a profile
that can run on small embedded devices, and only
single threaded. Like Python can do for example.
I deleted my previous post, since it drifted into
high performance computing. It was a reaction of
mine, to these results and how they were viewed.
Web Prolog result:
100,000 4.749 s
I get this here:
/* 100'000 iterations */
?- between(1,3,_), time(ping_pong), fail; true.
% Zeit 97.020 ms, Benutzer 2 %, Lips 735 k
% Zeit 95.040 ms, Benutzer 1 %, Lips 1057 k
% Zeit 98.740 ms, Benutzer 1 %, Lips 974 k
true.
But the results have a few drawbacks. They use a highly
specialized -WAM Prolog subset and a highly specialized
Hack VM backend. Also the ping pong code was optimized.
So I guess this high performance view is too specifiec
for the actor model. So to get a more general comparison,
I tried something else. I used a Python implemented Prolog
and a Python asyncio.Future implemented one element
channels, the later equals SWI-Prolog queues with max_size=1.
Finally I used the classical ping pong. Now with PyPy as the Python
runtime the results are, 6x times faster than the shared database
on a SWI-Prolog server provided by Torbjrn Lager. Difficult
to judge maybe my machine is just 6x times faster? One could
install PyPy, download Dogelog Player and run it on the server:
?- between(1,3,_), time(ping_pong(100000)), fail; true.
% Time 812.000 ms, User 54 %, Lips 5977 k
% Time 703.000 ms, User 53 %, Lips 6915 k
% Time 766.000 ms, User 64 %, Lips 5339 k
true.
But this makes me ask, where would one see using for
example SWI-Prolog Engines for the actor model, so that it
becomes competitive to asyncio.Future? Any idea how to do it?
I guess asyncio.Future only uses a micro queue or something.
This would give the ISOMICRO profile of Web Prolog, a profile
that can run on small embedded devices single threaded.
The opposite of high preformance computing (HPC).
Bye
See also:
https://trinity.elfenbenstornet.se/
P.S.: Here the source code, first what was used for validation:
classic ping pong with channels and with logging
And the validation output:
log of running N=3
And what was used for benchmarking:
classic ping pong with channels and without logging
Mild Shock schrieb:
Hi,
Ok, that was quick. While my AI Laptops were
around > 1000 CHF. The Mac Neo was around
500 CHF. So we went already form AI Laptop
to AI Notebook in a few months. Now Aduino
is playing pionier, having a CPU with a NPU
on board, some Qualcomm thingy.
New Arduino Ventuno Q: Better than Raspberry Pi?
https://www.youtube.com/watch?v=qQS_xWsU00I
The specs:
Octa-core ARM Cortex CPU
Adreno GPU and Hexagon AI processor (up to 40 TOPS)
16GB LPDDR5 RAM and 64GB eMMC storage
M.2 slot for NVMe SSD expansion
The cost is around 300 CHF.
Bye
Hi,
I really wonder what use cases Web Prolog trinity would
have. Would Web Prolog trinity reach in its scope into
the domain of AI chat bots inside a web page? Ok, google
has hijacked the term ?declarative?, when an AI chatbot
assistant helps fill out a HTML form. And it uses the term
?imperative? when the AI chatbot calls JavaScript routines.
Could be related to the ACTOR model who knows. Although
the hijacking is not optimal, I like the thinking in levels, that are
related to states, just like Torbjrn Lager exercises in his 400
pages, although google does maybe a bender, when it calls
a form submit, and hence a HTTP POST, declarative.
Bye
See also:
WebMCP
https://developer.chrome.com/docs/ai/webmcp
Here the newly arrived browser integration:
Le Petit Bistro https://googlechromelabs.github.io/webmcp-tools/demos/french-bistro
image
Mild Shock schrieb:
Hi,
I miss an ISOMICRO profile of Web Prolog, a profile
that can run on small embedded devices, and only
single threaded. Like Python can do for example.
I deleted my previous post, since it drifted into
high performance computing. It was a reaction of
mine, to these results and how they were viewed.
Web Prolog result:
100,000 4.749 s
I get this here:
/* 100'000 iterations */
?- between(1,3,_), time(ping_pong), fail; true.
% Zeit 97.020 ms, Benutzer 2 %, Lips 735 k
% Zeit 95.040 ms, Benutzer 1 %, Lips 1057 k
% Zeit 98.740 ms, Benutzer 1 %, Lips 974 k
true.
But the results have a few drawbacks. They use a highly
specialized -WAM Prolog subset and a highly specialized
Hack VM backend. Also the ping pong code was optimized.
So I guess this high performance view is too specifiec
for the actor model. So to get a more general comparison,
I tried something else. I used a Python implemented Prolog
and a Python asyncio.Future implemented one element
channels, the later equals SWI-Prolog queues with max_size=1.
Finally I used the classical ping pong. Now with PyPy as the Python
runtime the results are, 6x times faster than the shared database
on a SWI-Prolog server provided by Torbjrn Lager. Difficult
to judge maybe my machine is just 6x times faster? One could
install PyPy, download Dogelog Player and run it on the server:
?- between(1,3,_), time(ping_pong(100000)), fail; true.
% Time 812.000 ms, User 54 %, Lips 5977 k
% Time 703.000 ms, User 53 %, Lips 6915 k
% Time 766.000 ms, User 64 %, Lips 5339 k
true.
But this makes me ask, where would one see using for
example SWI-Prolog Engines for the actor model, so that it
becomes competitive to asyncio.Future? Any idea how to do it?
I guess asyncio.Future only uses a micro queue or something.
This would give the ISOMICRO profile of Web Prolog, a profile
that can run on small embedded devices single threaded.
The opposite of high preformance computing (HPC).
Bye
See also:
https://trinity.elfenbenstornet.se/
P.S.: Here the source code, first what was used for validation:
classic ping pong with channels and with logging
And the validation output:
log of running N=3
And what was used for benchmarking:
classic ping pong with channels and without logging
Mild Shock schrieb:
Hi,
Ok, that was quick. While my AI Laptops were
around > 1000 CHF. The Mac Neo was around
500 CHF. So we went already form AI Laptop
to AI Notebook in a few months. Now Aduino
is playing pionier, having a CPU with a NPU
on board, some Qualcomm thingy.
New Arduino Ventuno Q: Better than Raspberry Pi?
https://www.youtube.com/watch?v=qQS_xWsU00I
The specs:
Octa-core ARM Cortex CPU
Adreno GPU and Hexagon AI processor (up to 40 TOPS)
16GB LPDDR5 RAM and 64GB eMMC storage
M.2 slot for NVMe SSD expansion
The cost is around 300 CHF.
Bye
Hi,
What if a Prolog system can draw enough processing power,
by tapping into the GPU of budget laptop that shows the
web page? And run locally in a ServiceWorker. The WebMCP
use case Le Petit Bistro is already such that it also has a
ServiceWorker for the Gemini stub. But the envisioned variant of a
ISOMICRO model would neither need a Gemini API token,
nor would it need WebSockets or HTTP for communication. It
would all be WebMCP inside the conglomerate of website and
workers. The small language model is loaded into the ServiceWorker
and run on the GPU. Here my contribution to this idea:
11.4 Giga Lips with a Budget Laptop https://github.com/Jean-Luc-Picard-2021/gigabudget
Work in progress cannot demonstrate a Prolog assistant yet.
Bye
Mild Shock schrieb:
Hi,
I really wonder what use cases Web Prolog trinity would
have. Would Web Prolog trinity reach in its scope into
the domain of AI chat bots inside a web page? Ok, google
has hijacked the term ?declarative?, when an AI chatbot
assistant helps fill out a HTML form. And it uses the term
?imperative? when the AI chatbot calls JavaScript routines.
Could be related to the ACTOR model who knows. Although
the hijacking is not optimal, I like the thinking in levels, that are
related to states, just like Torbjrn Lager exercises in his 400
pages, although google does maybe a bender, when it calls
a form submit, and hence a HTTP POST, declarative.
Bye
See also:
WebMCP
https://developer.chrome.com/docs/ai/webmcp
Here the newly arrived browser integration:
Le Petit Bistro
https://googlechromelabs.github.io/webmcp-tools/demos/french-bistro
image
Mild Shock schrieb:
Hi,
I miss an ISOMICRO profile of Web Prolog, a profile
that can run on small embedded devices, and only
single threaded. Like Python can do for example.
I deleted my previous post, since it drifted into
high performance computing. It was a reaction of
mine, to these results and how they were viewed.
Web Prolog result:
100,000 4.749 s
I get this here:
/* 100'000 iterations */
?- between(1,3,_), time(ping_pong), fail; true.
% Zeit 97.020 ms, Benutzer 2 %, Lips 735 k
% Zeit 95.040 ms, Benutzer 1 %, Lips 1057 k
% Zeit 98.740 ms, Benutzer 1 %, Lips 974 k
true.
But the results have a few drawbacks. They use a highly
specialized -WAM Prolog subset and a highly specialized
Hack VM backend. Also the ping pong code was optimized.
So I guess this high performance view is too specifiec
for the actor model. So to get a more general comparison,
I tried something else. I used a Python implemented Prolog
and a Python asyncio.Future implemented one element
channels, the later equals SWI-Prolog queues with max_size=1.
Finally I used the classical ping pong. Now with PyPy as the Python
runtime the results are, 6x times faster than the shared database
on a SWI-Prolog server provided by Torbjrn Lager. Difficult
to judge maybe my machine is just 6x times faster? One could
install PyPy, download Dogelog Player and run it on the server:
?- between(1,3,_), time(ping_pong(100000)), fail; true.
% Time 812.000 ms, User 54 %, Lips 5977 k
% Time 703.000 ms, User 53 %, Lips 6915 k
% Time 766.000 ms, User 64 %, Lips 5339 k
true.
But this makes me ask, where would one see using for
example SWI-Prolog Engines for the actor model, so that it
becomes competitive to asyncio.Future? Any idea how to do it?
I guess asyncio.Future only uses a micro queue or something.
This would give the ISOMICRO profile of Web Prolog, a profile
that can run on small embedded devices single threaded.
The opposite of high preformance computing (HPC).
Bye
See also:
https://trinity.elfenbenstornet.se/
P.S.: Here the source code, first what was used for validation:
classic ping pong with channels and with logging
And the validation output:
log of running N=3
And what was used for benchmarking:
classic ping pong with channels and without logging
Mild Shock schrieb:
Hi,
Ok, that was quick. While my AI Laptops were
around > 1000 CHF. The Mac Neo was around
500 CHF. So we went already form AI Laptop
to AI Notebook in a few months. Now Aduino
is playing pionier, having a CPU with a NPU
on board, some Qualcomm thingy.
New Arduino Ventuno Q: Better than Raspberry Pi?
https://www.youtube.com/watch?v=qQS_xWsU00I
The specs:
Octa-core ARM Cortex CPU
Adreno GPU and Hexagon AI processor (up to 40 TOPS)
16GB LPDDR5 RAM and 64GB eMMC storage
M.2 slot for NVMe SSD expansion
The cost is around 300 CHF.
Bye
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.
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.
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
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.
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.
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.
Hi,
Micro Penis is worse than Sleepy Joe. He
probably only believes the existence of a
hammer, when you hit him on the head with
a hammer. Currently Micro Penis is sitting
there and shitting his pants it seems.
Bye
stop polluting this group with nonsense,
you stupid unemployed former it-supporter.
I shit in your shaders. You were talking
about AI. Those ryzen AI laptops are for fools.
Mild Shock schrieb:
Hi,
It seems micro penis has a real existential
crisis right now. An alice in wonderland moment,
falling down a rabit whole. Well no wonder
micro penis lives under a rock and has never
heard of the small model revolution that goes
hand in hand with the AI laptop revolution.
Here is a test, running deepseek locally on
a budget laptop (via LM Studio, oMLX, etc..):
qwen3.5-9b-deepseek-v4-flash
Q: Well there is a formidable horse race going on.
Given the danger that I compare apples with oranges.
It is still interesting too see how the Al laptop
landscape is forming.
Thought for 1 minutes 20 seconds
A: You hit on a really crucial point in the Al economy:
the tension between cloud consumption and edge ownership.
When you compare a $0.50 per 1k-token API call with a
$2,000 laptop that runs Qwen3.5 locally for free
(electricity aside), it's not strictly apples-to-oranges
because one is a service and the other is an asset. But
the implications for how we use Al are massive.
Bye
Mild Shock schrieb:
Hi,
It seems micro penis struggles with mobile
grade GPU concept. Whats the difference
between a mobile grade GPU and non-mobile grade
GPU? You know the **M** in **Readeon 860M**
means Mobile! Here is a comparison:
**Mobile GPU:**
Energy Consuption: Low
Device Memory: AUP (accelerator unit processor,
shares memory with CPU, no VRAM)
Cooling System: Fewer or no fans
**Non-Mobile GPU:**
Energy Consuption: High
Device Memory: DUP (discret unit processor,
has its own VRAM)
Cooling System: A lot of fans or other cooling
Bye
BTW: Here are some results for:
11.4 Giga Lips with a Budget Laptop
https://github.com/Jean-Luc-Picard-2021/gigabudget
On a smartphone, namely Redmi Note 14 Pro+:
1 Shader
1983 ms
4096 Shaders
16253 ms
The phone uses a Snapdragon 7s Gen 3
Mild Shock schrieb:
Hi,
Micro Penis the putin payed troll, is now
on the payment list of overpriced NVIDIA as
well. He cannot get over the concept of a
Shoe String Budget:
"According to Darren Aronofsky?s debut
1998 film Pi, ?everything around us can
be represented and understood through numbers?,
from the stock market to the ?wax and wane
of caribou populations?. But, ironically,
the film?s own numerical facts feel particularly
inexplicable. It was made on a budget of just
$60,000, which is less a shoestring and more
just the aglet at the end of a frayed lace.
To put that in to perspective, 1999?s The
Matrix ? similarly based around the dystopian
danger of AI ? may have been slightly slicker
and sexier, but also was made for $60m, a
thousand times more buck for a thousand
times less bang. Plus, it means that its
profit margin was huge. As Variety?s headline
following its release put it, ??=$1,000,000!?
https://www.vice.com/en/article/pi-soundtrack-20-years-aronofsky-aphex-twin-autechre/
04 Bucephalus Bouncing Ball
https://www.youtube.com/watch?v=Ez6xDGTFswQ
Bye
Loman Barabashev schrieb:
I have a micro penis and my brain explodes
Hi,
Remember Micro Penis, the putin payed troll, with
fluctuating *.ru Email adresses. He never grasped
the concept of unified memory and iGPU. Poor boy.
I might need a lot of Diaper Now. Shitting his
pants nonstop. There is a nice annoucement by
Microsoft, cooperating with NVIDIA:
"unified memory" pool shared between 20 ARM CPU
cores and a Blackwell GPU boasting 6,144 CUDA
cores without melting a portable chassis, they
use wide-bus, ultra-low-latency LPDDR5X channels
mapped straight into a coherent memory space."
Introducing Surface Laptop Ultra
https://www.youtube.com/watch?v=s1Oj792qc80
I guess I have found my next tester for pi-WAM.
So far I didn't acquire yet a AI laptop with a
NVIDIA GPU and renting a NVIDIA GPU has also
stalled. But I doubt the above thingy will be
on a shoestring price budget. Could be something
above, but Autumn 2026 is nearing quickly.
Have Fun everybody!
Bye
P.S.: Some reports say CUDA doesn't run well. But
who needs CUDA if you have Vulkan? I also suspect
they product my only come out 2027 or 2028,
who knows? Maybe Microsoft has new a fewer, it
already dropped the Copilot+ brand, too confusing,
and its all "Ultra" now.
Mild Shock schrieb:
Hi,
Micro Penis is worse than Sleepy Joe. He
probably only believes the existence of a
hammer, when you hit him on the head with
a hammer. Currently Micro Penis is sitting
there and shitting his pants it seems.
Bye
> stop polluting this group with nonsense,
> you stupid unemployed former it-supporter.
> I shit in your shaders. You were talking
> about AI. Those ryzen AI laptops are for fools.
Mild Shock schrieb:
Hi,
It seems micro penis has a real existential
crisis right now. An alice in wonderland moment,
falling down a rabit whole. Well no wonder
micro penis lives under a rock and has never
heard of the small model revolution that goes
hand in hand with the AI laptop revolution.
Here is a test, running deepseek locally on
a budget laptop (via LM Studio, oMLX, etc..):
qwen3.5-9b-deepseek-v4-flash
Q: Well there is a formidable horse race going on.
Given the danger that I compare apples with oranges.
It is still interesting too see how the Al laptop
landscape is forming.
Thought for 1 minutes 20 seconds
A: You hit on a really crucial point in the Al economy:
the tension between cloud consumption and edge ownership.
When you compare a $0.50 per 1k-token API call with a
$2,000 laptop that runs Qwen3.5 locally for free
(electricity aside), it's not strictly apples-to-oranges
because one is a service and the other is an asset. But
the implications for how we use Al are massive.
Bye
Mild Shock schrieb:
Hi,
It seems micro penis struggles with mobile
grade GPU concept. Whats the difference
between a mobile grade GPU and non-mobile grade
GPU? You know the **M** in **Readeon 860M**
means Mobile! Here is a comparison:
**Mobile GPU:**
Energy Consuption: Low
Device Memory: AUP (accelerator unit processor,
shares memory with CPU, no VRAM)
Cooling System: Fewer or no fans
**Non-Mobile GPU:**
Energy Consuption: High
Device Memory: DUP (discret unit processor,
has its own VRAM)
Cooling System: A lot of fans or other cooling
Bye
BTW: Here are some results for:
11.4 Giga Lips with a Budget Laptop
https://github.com/Jean-Luc-Picard-2021/gigabudget
On a smartphone, namely Redmi Note 14 Pro+:
1 Shader
1983 ms
4096 Shaders
16253 ms
The phone uses a Snapdragon 7s Gen 3
Mild Shock schrieb:
Hi,
Micro Penis the putin payed troll, is now
on the payment list of overpriced NVIDIA as
well. He cannot get over the concept of a
Shoe String Budget:
"According to Darren Aronofsky?s debut
1998 film Pi, ?everything around us can
be represented and understood through numbers?,
from the stock market to the ?wax and wane
of caribou populations?. But, ironically,
the film?s own numerical facts feel particularly
inexplicable. It was made on a budget of just
$60,000, which is less a shoestring and more
just the aglet at the end of a frayed lace.
To put that in to perspective, 1999?s The
Matrix ? similarly based around the dystopian
danger of AI ? may have been slightly slicker
and sexier, but also was made for $60m, a
thousand times more buck for a thousand
times less bang. Plus, it means that its
profit margin was huge. As Variety?s headline
following its release put it, ??=$1,000,000!?
https://www.vice.com/en/article/pi-soundtrack-20-years-aronofsky-aphex-twin-autechre/
04 Bucephalus Bouncing Ball
https://www.youtube.com/watch?v=Ez6xDGTFswQ
Bye
Loman Barabashev schrieb:
> I have a micro penis and my brain explodes
Hi,
Accelerate Lean! And get from Theorem 3.11
to Corollary 3.12 done.
PROJECT LANA INTERIM REPORT ON IUT THEORY
ZEN Mathematics Center - 2026/07/17
https://zen.ac.jp/en/zmc
ZMC?ZEN Mathematics Center) is an international
research institute established with the aim
of promoting and developing modern mathematics
with a focus on arithmetic geometry and the
formalization of modern mathematics using
computer languages
LoL
Bye
Mild Shock schrieb:
Hi,
Maybe I should write a blog post, titled
Introduction to AI Accelerator Prolog:
- specialized jobs -WAM (currently integerish stuff)
- -WAM uses no atomics, only comms
- -WAM uses warp, 30-40% more speed
- -WAM runs on GPU and CPU
- -WAM runs from within JavaScript, Python and Java
Feels like reinventing FGCS concurrent
logic programming.
LoL
Bye
Mild Shock schrieb:
Hi,
So the idea is to cover backtracking without
stack and choice points, only with registers.
So at the compute goto will use an instruction
that stores the PC target into a register,
a new instruction for Hack:
REG = PC + REL
And then the jump will be, again a new
instruction for Hack:
PC = REG
If we squeeze the lemon and compile as much
with that, we will only find that it breaks for
calling recursive predicates that can use
arbitary registers and choice points. But we
could maybe add stack and choice point as an
after match, instead of the classical WAM design
that starts with stack and choice points!
Bye
Mild Shock schrieb:
Hi,
pi-WAM is a nice challenge, since its aim is to go
even blow the instruction set of SWI-Prolog,
while only using a Hack variant as instruction
stream. But what is Hack? Well Hack seems to be
the missing legacy of Niclaus Wirths PL0. The
Hack (machine .asm) and Jack (highlevel compiler
generating .vm which can be converted to .asm)
combo makes even the famous Crafting Interpreters
/Lox by Bob Nystrom redundant:
Nand to Tetris courses are taught at 400+
universities, high schools, and bootcamps. The
students who take them range from high
schoolers to Ph.D. students to
https://www.nand2tetris.org/
But digging deaper in Hack, it has no functions
pointers so objects don't use virtual tables.
But what will pi-WAM need and that is not yet
in Hack? Given that my pi-WAM doesn't want a stack
nor a choice point lists? Currently there is the
idea to add a computed goto and that it can
cover a more lightweight C_OR as known from
SWI-Prolog, that would have the C_OR branches
maybe restricted to have no outside
clause calls? Lets see. Not yet sure.
Bye
Hi,
Disclaimer: I don't know what I am talking
about. But I like the vibe behind connecting
topics. So here we go:
How it started:
Gabriels Horn
Gabriel's horn, also called Torricelli's trumpet,
is the surface of revolution of the function y=1/x
about the x-axis for x>=1. It has infinite
surface area but finite volume. https://mathworld.wolfram.com/GabrielsHorn.html
How its going:
FINITE TIME BLOWUP FOR NAVIER?STOKES
or every positive viscosity, we construct a solution
of the three-dimensional incompressible Navier?Stokes
equations that starts from rest and develops unbounded
velocity in finite time while maintaining uniformly
bounded kinetic energy
Hava Fun everbody!
Bye
Hi,
Ever noticed that remaining unsolved conjectures,
are difficult to decipher:
https://en.wikipedia.org/wiki/Hodge_conjecture
Although Grothendiek claimes it is part of
his yoga on motivic rationality.
The dilemma is Humans cannot do math anymore
on that level. And AI math on the level tends
to be not understandable by humans anymore. So
its as if math has found a new muse.
The new Muse is AI. I think proving math conjectures
is the more low hanging fruit than colonizing
Mars. But the result of this endeavours is a
shocked public, now in total freeze.
Bye
Mild Shock schrieb:
Hi,
Disclaimer: I don't know what I am talking
about. But I like the vibe behind connecting
topics. So here we go:
How it started:
Gabriels Horn
Gabriel's horn, also called Torricelli's trumpet,
is the surface of revolution of the function y=1/x
about the x-axis for x>=1. It has infinite
surface area but finite volume. https://mathworld.wolfram.com/GabrielsHorn.html
How its going:
FINITE TIME BLOWUP FOR NAVIER?STOKES
or every positive viscosity, we construct a solution
of the three-dimensional incompressible Navier?Stokes
equations that starts from rest and develops unbounded
velocity in finite time while maintaining uniformly
bounded kinetic energy
https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf
are you alive or only youre spam bot here?Hava Fun everbody!
Bye
Hi,
Ever noticed that remaining unsolved conjectures,
are difficult to decipher:
https://en.wikipedia.org/wiki/Hodge_conjecture
Although Grothendiek claimes it is part of
his yoga on motivic rationality.
The dilemma is Humans cannot do math anymore
on that level. And AI math on the level tends
to be not understandable by humans anymore. So
its as if math has found a new muse.
The new Muse is AI. I think proving math conjectures
is the more low hanging fruit than colonizing
Mars. But the result of this endeavours is a
shocked public, now in total freeze.
Bye
Mild Shock schrieb:
Hi,
Disclaimer: I don't know what I am talking
about. But I like the vibe behind connecting
topics. So here we go:
How it started:
Gabriels Horn
Gabriel's horn, also called Torricelli's trumpet,
is the surface of revolution of the function y=1/x
about the x-axis for x>=1. It has infinite
surface area but finite volume. https://mathworld.wolfram.com/GabrielsHorn.html
How its going:
FINITE TIME BLOWUP FOR NAVIER?STOKES
or every positive viscosity, we construct a solution
of the three-dimensional incompressible Navier?Stokes
equations that starts from rest and develops unbounded
velocity in finite time while maintaining uniformly
bounded kinetic energy
https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf
Hava Fun everbody!
Bye
The new Muse is AI. I think proving math conjectures
is the more low hanging fruit than colonizing
Mars. But the result of this endeavours is a
shocked public, now in total freeze.
Hi,
I guess Kurzweils transhumanism is also not
on the list of the low hanging fruits of AI.
Moreover this turns out to be a fallacy:
Hi,
When looking at CERN the term Accelerator Linux
has a totally different meaning, since they also accelerate
a lot of stuff in their Particle Physics experiments:
"Red Hat Enterprise Linux (RHEL 9 and RHEL 10) raised
its minimum CPU architecture requirements (requiring
x86-64-v2 and v3 instruction sets). If CERN had stayed on
the Red Hat / IBM ecosystem, they would
have been forced to decommission and replace those 2,200
functional industrial machines. Redesigning and replacing that
embedded hardware was estimated to cost around
CHF 5.4 million (over $6 million USD)." https://www.phoronix.com/news/CERN-Goes-Debian-Leaving-RHEL
Ubuntu doesn't seem to have this dilemma, you can
easily Accelerate your Linux, by opting in to use vector
and/or matrix operations, and not only scalars:
"Opt-in "amd64v3" Performance: Starting with Ubuntu
25.10 and extending into Ubuntu 26.10, Canonical introduced
optimized package archives targeting x86-64-v3." https://rueegger.me/ubuntu-2604-x86-64-v3-aktivieren/
Actually v3 is still a little weak. v4 has AVX-512 heavy
lifting, and many AI laptops have even more, like
general matrix multiplications (GEMM) units.
Bye
Disclaimer: CERN has clarified that their focus with the
migration is on their industrial accelerator-control computers
while data centers and experimental computing remain
on RHEL/AlmaLinux. LoL
Mild Shock schrieb:
Hi,
Remember Micro Penis, the putin payed troll, with
fluctuating *.ru Email adresses. He never grasped
the concept of unified memory and iGPU. Poor boy.
I might need a lot of Diaper Now. Shitting his
pants nonstop. There is a nice annoucement by
Microsoft, cooperating with NVIDIA:
"unified memory" pool shared between 20 ARM CPU
cores and a Blackwell GPU boasting 6,144 CUDA
cores without melting a portable chassis, they
use wide-bus, ultra-low-latency LPDDR5X channels
mapped straight into a coherent memory space."
Introducing Surface Laptop Ultra
https://www.youtube.com/watch?v=s1Oj792qc80
I guess I have found my next tester for pi-WAM.
So far I didn't acquire yet a AI laptop with a
NVIDIA GPU and renting a NVIDIA GPU has also
stalled. But I doubt the above thingy will be
on a shoestring price budget. Could be something
above, but Autumn 2026 is nearing quickly.
Have Fun everybody!
Bye
P.S.: Some reports say CUDA doesn't run well. But
who needs CUDA if you have Vulkan? I also suspect
they product my only come out 2027 or 2028,
who knows? Maybe Microsoft has new a fewer, it
already dropped the Copilot+ brand, too confusing,
and its all "Ultra" now.
Mild Shock schrieb:
Hi,https://www.vice.com/en/article/pi-soundtrack-20-years-aronofsky-aphex-twin-autechre/
Micro Penis is worse than Sleepy Joe. He
probably only believes the existence of a
hammer, when you hit him on the head with
a hammer. Currently Micro Penis is sitting
there and shitting his pants it seems.
Bye
> stop polluting this group with nonsense,
> you stupid unemployed former it-supporter.
> I shit in your shaders. You were talking
> about AI. Those ryzen AI laptops are for fools.
Mild Shock schrieb:
Hi,
It seems micro penis has a real existential
crisis right now. An alice in wonderland moment,
falling down a rabit whole. Well no wonder
micro penis lives under a rock and has never
heard of the small model revolution that goes
hand in hand with the AI laptop revolution.
Here is a test, running deepseek locally on
a budget laptop (via LM Studio, oMLX, etc..):
qwen3.5-9b-deepseek-v4-flash
Q: Well there is a formidable horse race going on.
Given the danger that I compare apples with oranges.
It is still interesting too see how the Al laptop
landscape is forming.
Thought for 1 minutes 20 seconds
A: You hit on a really crucial point in the Al economy:
the tension between cloud consumption and edge ownership.
When you compare a $0.50 per 1k-token API call with a
$2,000 laptop that runs Qwen3.5 locally for free
(electricity aside), it's not strictly apples-to-oranges
because one is a service and the other is an asset. But
the implications for how we use Al are massive.
Bye
Mild Shock schrieb:
Hi,
It seems micro penis struggles with mobile
grade GPU concept. Whats the difference
between a mobile grade GPU and non-mobile grade
GPU? You know the **M** in **Readeon 860M**
means Mobile! Here is a comparison:
**Mobile GPU:**
Energy Consuption: Low
Device Memory: AUP (accelerator unit processor,
shares memory with CPU, no VRAM)
Cooling System: Fewer or no fans
**Non-Mobile GPU:**
Energy Consuption: High
Device Memory: DUP (discret unit processor,
has its own VRAM)
Cooling System: A lot of fans or other cooling
Bye
BTW: Here are some results for:
11.4 Giga Lips with a Budget Laptop
https://github.com/Jean-Luc-Picard-2021/gigabudget
On a smartphone, namely Redmi Note 14 Pro+:
1 Shader
1983 ms
4096 Shaders
16253 ms
The phone uses a Snapdragon 7s Gen 3
Mild Shock schrieb:
Hi,
Micro Penis the putin payed troll, is now
on the payment list of overpriced NVIDIA as
well. He cannot get over the concept of a
Shoe String Budget:
"According to Darren Aronofsky?s debut
1998 film Pi, ?everything around us can
be represented and understood through numbers?,
from the stock market to the ?wax and wane
of caribou populations?. But, ironically,
the film?s own numerical facts feel particularly
inexplicable. It was made on a budget of just
$60,000, which is less a shoestring and more
just the aglet at the end of a frayed lace.
To put that in to perspective, 1999?s The
Matrix ? similarly based around the dystopian
danger of AI ? may have been slightly slicker
and sexier, but also was made for $60m, a
thousand times more buck for a thousand
times less bang. Plus, it means that its
profit margin was huge. As Variety?s headline
following its release put it, ??=$1,000,000!?
04 Bucephalus Bouncing Ball
https://www.youtube.com/watch?v=Ez6xDGTFswQ
Bye
Loman Barabashev schrieb:
> I have a micro penis and my brain explodes
Hi,
Terrence Tao is a payed troll, by the System
Inteligence Sect Movement. Right? Now I read:
Slow Software: The Case for High-latency Systems Development https://www.sigops.org/2026/slow-software-the-case-for-high-latency-systems-development/
Terrence Tao has a YT video about slow is better
than fast. Here he claims there is litterally a
paradox of efficiency:
Terrence Tao: The paradox of efficiency https://www.youtube.com/watch?v=svl_1upFpQo
He litterally paints a romantic picture of a
manchete excursion into an eldorado, while beaten
by a helicopter. LoL
I think its unhealthy to confuse efficient/ineffeicient and
slow/fast with exact/inexact and careful/careless etc..
These people are just morons.
Bye
Mild Shock schrieb:
Hi,
When looking at CERN the term Accelerator Linux
has a totally different meaning, since they also accelerate
a lot of stuff in their Particle Physics experiments:
"Red Hat Enterprise Linux (RHEL 9 and RHEL 10) raised
its minimum CPU architecture requirements (requiring
x86-64-v2 and v3 instruction sets). If CERN had stayed on
the Red Hat / IBM ecosystem, they would
have been forced to decommission and replace those 2,200
functional industrial machines. Redesigning and replacing that
embedded hardware was estimated to cost around
CHF 5.4 million (over $6 million USD)."
https://www.phoronix.com/news/CERN-Goes-Debian-Leaving-RHEL
Ubuntu doesn't seem to have this dilemma, you can
easily Accelerate your Linux, by opting in to use vector
and/or matrix operations, and not only scalars:
"Opt-in "amd64v3" Performance: Starting with Ubuntu
25.10 and extending into Ubuntu 26.10, Canonical introduced
optimized package archives targeting x86-64-v3."
https://rueegger.me/ubuntu-2604-x86-64-v3-aktivieren/
Actually v3 is still a little weak. v4 has AVX-512 heavy
lifting, and many AI laptops have even more, like
general matrix multiplications (GEMM) units.
Bye
Disclaimer: CERN has clarified that their focus with the
migration is on their industrial accelerator-control computers
while data centers and experimental computing remain
on RHEL/AlmaLinux. LoL
Mild Shock schrieb:
Hi,
Remember Micro Penis, the putin payed troll, with
fluctuating *.ru Email adresses. He never grasped
the concept of unified memory and iGPU. Poor boy.
I might need a lot of Diaper Now. Shitting his
pants nonstop. There is a nice annoucement by
Microsoft, cooperating with NVIDIA:
"unified memory" pool shared between 20 ARM CPU
cores and a Blackwell GPU boasting 6,144 CUDA
cores without melting a portable chassis, they
use wide-bus, ultra-low-latency LPDDR5X channels
mapped straight into a coherent memory space."
Introducing Surface Laptop Ultra
https://www.youtube.com/watch?v=s1Oj792qc80
I guess I have found my next tester for pi-WAM.
So far I didn't acquire yet a AI laptop with a
NVIDIA GPU and renting a NVIDIA GPU has also
stalled. But I doubt the above thingy will be
on a shoestring price budget. Could be something
above, but Autumn 2026 is nearing quickly.
Have Fun everybody!
Bye
P.S.: Some reports say CUDA doesn't run well. But
who needs CUDA if you have Vulkan? I also suspect
they product my only come out 2027 or 2028,
who knows? Maybe Microsoft has new a fewer, it
already dropped the Copilot+ brand, too confusing,
and its all "Ultra" now.
Mild Shock schrieb:
Hi,https://www.vice.com/en/article/pi-soundtrack-20-years-aronofsky-aphex-twin-autechre/
Micro Penis is worse than Sleepy Joe. He
probably only believes the existence of a
hammer, when you hit him on the head with
a hammer. Currently Micro Penis is sitting
there and shitting his pants it seems.
Bye
> stop polluting this group with nonsense,
> you stupid unemployed former it-supporter.
> I shit in your shaders. You were talking
> about AI. Those ryzen AI laptops are for fools.
Mild Shock schrieb:
Hi,
It seems micro penis has a real existential
crisis right now. An alice in wonderland moment,
falling down a rabit whole. Well no wonder
micro penis lives under a rock and has never
heard of the small model revolution that goes
hand in hand with the AI laptop revolution.
Here is a test, running deepseek locally on
a budget laptop (via LM Studio, oMLX, etc..):
qwen3.5-9b-deepseek-v4-flash
Q: Well there is a formidable horse race going on.
Given the danger that I compare apples with oranges.
It is still interesting too see how the Al laptop
landscape is forming.
Thought for 1 minutes 20 seconds
A: You hit on a really crucial point in the Al economy:
the tension between cloud consumption and edge ownership.
When you compare a $0.50 per 1k-token API call with a
$2,000 laptop that runs Qwen3.5 locally for free
(electricity aside), it's not strictly apples-to-oranges
because one is a service and the other is an asset. But
the implications for how we use Al are massive.
Bye
Mild Shock schrieb:
Hi,
It seems micro penis struggles with mobile
grade GPU concept. Whats the difference
between a mobile grade GPU and non-mobile grade
GPU? You know the **M** in **Readeon 860M**
means Mobile! Here is a comparison:
**Mobile GPU:**
Energy Consuption: Low
Device Memory: AUP (accelerator unit processor,
shares memory with CPU, no VRAM)
Cooling System: Fewer or no fans
**Non-Mobile GPU:**
Energy Consuption: High
Device Memory: DUP (discret unit processor,
has its own VRAM)
Cooling System: A lot of fans or other cooling
Bye
BTW: Here are some results for:
11.4 Giga Lips with a Budget Laptop
https://github.com/Jean-Luc-Picard-2021/gigabudget
On a smartphone, namely Redmi Note 14 Pro+:
1 Shader
1983 ms
4096 Shaders
16253 ms
The phone uses a Snapdragon 7s Gen 3
Mild Shock schrieb:
Hi,
Micro Penis the putin payed troll, is now
on the payment list of overpriced NVIDIA as
well. He cannot get over the concept of a
Shoe String Budget:
"According to Darren Aronofsky?s debut
1998 film Pi, ?everything around us can
be represented and understood through numbers?,
from the stock market to the ?wax and wane
of caribou populations?. But, ironically,
the film?s own numerical facts feel particularly
inexplicable. It was made on a budget of just
$60,000, which is less a shoestring and more
just the aglet at the end of a frayed lace.
To put that in to perspective, 1999?s The
Matrix ? similarly based around the dystopian
danger of AI ? may have been slightly slicker
and sexier, but also was made for $60m, a
thousand times more buck for a thousand
times less bang. Plus, it means that its
profit margin was huge. As Variety?s headline
following its release put it, ??=$1,000,000!?
04 Bucephalus Bouncing Ball
https://www.youtube.com/watch?v=Ez6xDGTFswQ
Bye
Loman Barabashev schrieb:
> I have a micro penis and my brain explodes
Hi,
Rossy Boy is neither Einstein nor Zweistein.
He is not Einstein since Einstein is already dead:
Albert Einstein (1879 - 1955)
https://de.wikipedia.org/wiki/Albert_Einstein
He is also not Zweistein, since he doesn't
understand concepts such as:
- NVIDIA Volta ff. architecture
Also his hands are small, and his breath stinks,
and he lives in the basement of his mother.
Bye
Ross Finlayson schrieb:
Good-day and good-bye.Thanks for reading.
| Sysop: | Tetrazocine |
|---|---|
| Location: | Melbourne, VIC, Australia |
| Users: | 4 |
| Nodes: | 8 (0 / 8) |
| Uptime: | 76:31:41 |
| Calls: | 221 |
| Files: | 21,513 |
| Messages: | 83,324 |