Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > sci.physics.relativity > #671477

ANN: Library Pegg, for π-E-graphs [Not EXWM]

Cross-posted to 2 groups.

Show all headers | View raw

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?

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

Ok, this will not come so fast. Currently
my π-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
 >
 > 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

Back to sci.physics.relativity | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

ANN: Library Pegg, for π-E-graphs [Not EXWM] Mild Shock <janburse@fastmail.fm> - 2026-07-19 16:25 +0200
  Re: ANN: Library Pegg, for π-E-graphs [Not EXWM] Rodger Bilalov <errv@bvb.ru> - 2026-07-19 19:47 +0000

csiph-web