From Newsgroup: sci.physics


Hi,

While some logicians seem to go backwards,
bascially want GPUs eliminated from laptops,
and then kill any windows manager, just use EXWM:

From XFCE to EXWM
Emacs is a text editor that, through EXWM (Emacs X
Window Manager), can also be your window manager: https://www.vidal-rosset.net/2026-07-12-from-xfce-to-exwm-living-in-emacs-desktop-on-mx-linux.html

Mostlikely we might soon see the backward
sequel to E-graphs called EMACS-graphs. But
here is my proposal, why not go the other way?

- -C-E-graphs: Basically parallel E-graphs
- Pegg: An alternative egg library, using -C-WAM

Ok, this will not come so fast. Currently
my -C-WAM is still very integerish. Not
sure how to do anything E-graph yet.

Bye

P.S: There is already an attempt based on
Scala 3.4.1, some experiments done on
Intel Core i7-12700K using 8 threads.

But why use a very old CPU from Q4'21,
when you can use an AI Laptop from 2026
with 512 GPU streaming processors?

Parallel and Customizable Equality Saturation https://dl.acm.org/doi/pdf/10.1145/3771775.3786266

Mild Shock schrieb:

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

ZMCN+eZEN 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 -C-WAM (currently integerish stuff)
- -C-WAM uses no atomics, only comms
- -C-WAM uses warp, 30-40% more speed
- -C-WAM runs on GPU and CPU
- -C-WAM runs from within JavaScript, Python and Java

Feels like reinventing FGCS concurrent
logic programming.

LoL

Bye

--- Synchronet 3.22a-Linux NewsLink 1.2