freenode/#lisp - IRC Chatlog
Search
20:16:51
edgar-rft
gauss: PAIP has some extensively explained examples: <http://www.norvig.com/paip.html>
20:17:51
skeuomorf
edgar-rft: I *knew* about PAIP but was sorta hoping for something more focused and concise, alas, if my search fails, guess that's wher I am going
20:20:18
aeth
gauss: CAS fit into two categories, symbolic and numeric. Symbolic was traditionally the domain of Lisp, and there's even one called Maxima that's still around today (but probably mostly out of date compared to some commercial or modern project)
20:21:19
edgar-rft
gauss, skeuomorf: the Axiom book has also lots of details, PDF free available under "Documentation" here: <http://www.axiom-developer.org/axiom-website/books.html>
20:22:19
skeuomorf
gauss: I have to clarify, I was wondering if someone was working on a modern CAS in lisp
20:22:26
aeth
You would probably need a team of about 10 people with mixed comp sci, mathematics academic backgrounds.
20:23:19
gauss
skeuomorf: Oh, I am just trying to get started learning the basics, that "handbook" looks very interesting, thanks
20:23:45
aeth
If you're doing it in pure Lisp, you'd probably need an SBCL developer on board, too, because there's almost certainly some things that need to be done at the compiler level to make CL more CAS-friendly.
20:24:02
skeuomorf
gauss: Since this is a lisp channel, you should also look at "The reasoned schemer" and "the little prover"
20:25:02
aeth
edgar-rft: I'm guessing modern would be something that used the last 27 years of research that has happened since the 80s ended.
20:27:36
skeuomorf
edgar-rft: I was speaking very broadly, I am not up to date on the advances that happened in numerical computing or automated theorem proving, but I am pretty sure there are significant advances
20:29:55
aeth
It doesn't help that this is at the intersection of computer science and mathematics. Plenty of mathematicians can't program and plenty of people with comp sci degrees don't do anything approaching advanced mathematics.
20:30:32
skeuomorf
if somebody is doing CS academically, they're probably doing advanced mathematics
20:32:15
aeth
Well, if you're doing numerical things, you're working at one of the intersections of math and comp sci (one of the other notable ones being logic)
20:33:51
skeuomorf
You could be doing a bunch of things e.g. (Foundations of Mathematics, Combinatorics, Numerical Optimization, Inference, ...etc)
20:34:40
Bike
you'd read like... whatever people are doing now... homotoype type theory? maybe that's out of fashion since i heard of it
20:35:37
skeuomorf
Bike: PAIP has symbolic math and logic programming (which touches on theorem proving a bit) iirc
20:36:33
skeuomorf
Bike: Hot topics regarding types nowadays are linear types, liquid types, dependent types
20:37:04
aeth
The 1980s and 1990s were all about OOP. The 2010s are all about types. I wonder what the new thing will be.
20:38:54
skeuomorf
Bike: Well, it discussed unification which you'll probably utilize in a proof assistant
20:41:52
skeuomorf
Re: Robust Software, I like this "rant" from one of the wizards https://groups.csail.mit.edu/mac/users/gjs/6.945/readings/robust-systems.pdf
2:49:21
phf
does anybody have slime/swank backport to emacs 21, or have last favorite version that works with it?
5:37:21
anticrisis
is there a handy function that lets you assign your own nickname to a package you import or use?
5:45:13
pillton
SBCL and ECL support package-local nicknames though. http://www.sbcl.org/manual/#Package_002dLocal-Nicknames
5:48:02
anticrisis
do other implementations ignore defpackage clauses they don't recognize or do you have to put a #+(or sbcl...) thing in front?
5:57:33
anticrisis
Interesting, "Logging in has been restricted to pre-existing users to prevent abuse."
6:38:10
drmeister
Are there any good libraries for doing substitutions in strings? Say (string-replace "{foo} something {bar}" '(("{foo}" . "replace-foo") ("{bar}" . "replace-bar")))
6:49:59
drmeister
I recall there was something in cl21 that did that - but people didn't like it as a general way of working with formatted output.
7:04:56
jackdaniel
drmeister: for a slighlty different approach for formattted output, you may read http://www.cs.yale.edu/homes/dvm/format-stinks.html which has simple `out' macro defined