unicas
Re:Pure Programming Language
on Wednesday February 28, 2024 @05:46PM (#39544471)
Pure employs the textual order which is often considered more intuitive and is also used in mainstream functional languages such as ML and Haskell. (The specificity order also has its advantages, however, and has actually been used with great success in languages such as Aardappel and Hope.)
On the surface, Pure looks similar to modern-style functional languages of the Miranda, ML and Haskell variety, but under the hood it is a much more dynamic language, with macros and reflective capabilities more akin to Lisp. Pure’s algebraic programming style probably appeals most to mathematically inclined programmers, but its interactive programming environment and easy extensibility also make it usable as a (compiled) scripting language for various application areas, such as graphics, multimedia, scientific, system and web programming.
cited <-: https://agraef.github.io/pure-lang/quickref/pure-quickref.pd...
Re:SymPy: Symbolic Mathematics in Python
on Wednesday February 28, 2024 @03:28PM (#39543068)
There's a lot of them. In principle every CAS that has a TeXmacs interface can do it (FriCAS, Maxima, Reduce ... oo). E.g. https://news.ycombinator.com/item?id=19465270.
Re:A 9-line summary of textbook physics
on Saturday March 19, 2022 @11:11AM (#30734383)
There are plenty of so called "derivations of Maxwell equations", however, I would not claim that they were based on U(1) necessarily. IMO ME are just the integrability conditions for any conserved quantity (continuity equation): take a generic three-form in R^4, then dJ=0 => J=dF. F has six components corresponding to two vectofields in R^3 which depend on the fourth coordinate and satisfy the div and curl relations as in ME ;)
Re:Zim – A Desktop Wiki
on Wednesday January 26, 2022 @06:27PM (#30093647)
Don't forget Wikidpad -- https://github.com/WikidPad/WikidPad
Hard to beat!
Re:JEdit – Programmer's Text Editor
on Saturday November 20, 2021 @05:43PM (#29292487)
I use it for ages (besides emacs). Properly configured it can stick with emacs at ease. The console plugin, however, might benefit from a brush up, e.g. FX, so it could display MathJax/KaTeX or PNG ...
Re:A calculator for the Terminal that renders beautiful math
on Sunday January 12, 2020 @09:57AM (#22026523)
A cheer for sixel ;)
https://saitoha.github.io/libsixel/
https://github.com/nilqed/latex2sixel
Re:CLIPS: A Tool for Building Expert Systems
on Tuesday May 07, 2019 @09:17AM (#19849037)
An emscripten version (runs in browser, just one file ;)
Re:CLIPS: A Tool for Building Expert Systems
on Tuesday May 07, 2019 @09:16AM (#19849031)
An emscripten version (runs in browser, just one file):
https://github.com/nilqed/jsXSI