got one #modelm from eBay and the the seller claims full keys are working but I when tested it acted funny and figured there was beverage leaked into the membrane long ago, so I have to go for take apart and bolt modding to replace it, after some efforts the keyboards is working fine again, and I realized for an actual PS/2 keyboard I can press any key on it to power on my PC
Some of the #ML1 macros I made so I can save some keystrokes when write report from HTML and CSS publisher.
The ML/1 is very similar to TeX and almost as powerful as TeX in my opinion. One drawback is it cannot include files so I have to add m4 on top of it.
Why not use #TeX this case? building tables is more tricky in TeX using halign primitive than HTML table markup, besides for a few programming languages niche I can use the emacs htmlize.el to have better highlighting than pygmentize
even #intel_optane SSD 905P cannot save #emacs load time on #windows11 (with native comp enabled)
#sliderule #challenge Estimate the number of binary digits of 100! (factorial 100) using a Log Log slide rule. You may use the online virtual Deci-Lon if you don't own one https://www.sliderulemuseum.com/VirtualSR2/react/k_e_decilon.html
It has been a while since I last time touched #nuprl but the way I think number theory proof is still affected by type theory
