freenode/lisp - IRC Chatlog
Search
21:27:35
pfdietz
I've called Z3 from sbcl, but it would be nice to have a solver with more accessible innards.
21:44:59
makomo
aindilis: antoszka: i read (actually, am still reading) LoL before AMOP (haven't yet begun reading)
21:45:42
pfdietz
Applying machine learning to theorem proving is a hot topic now. https://www.floc2018.org/summit-on-machine-learning/
22:21:15
p_l
pfdietz: the summary from that link sounds more like applying formal methods to machine learning
23:48:54
White_Flame
if linux, then SBCL is great. It runs on Windows, and while it's been a bit immature there, I think it's solid at this point
23:50:02
White_Flame
there's also ECL which can interoperate in a C environment, CLASP for C++, ABCL for Java
23:58:30
edgar-rft
CLISP is newbie-friendly but somewhat semi-maintained at the moment, most people here are SBCL users
23:58:42
White_Flame
install SBCL and emacs. Then install https://www.quicklisp.org/beta/ and quicklisp-slime-helper
23:59:33
White_Flame
from there, you should be able to run M-x slime (alt-x slime on most keyboards/setups)
0:00:12
White_Flame
also, there's #clnoobs which is probably the better place for learning language stuff
0:01:46
edgar-rft
granttrec1, remove the trailing angled bracket in the headline of your browser and it probably works
0:03:17
edgar-rft
White_Flame, why not? angled brackeds are commonly used to separate links from surrounding text
0:03:50
White_Flame
irc clients have different assumptions as to what the boundaries of pasted links are
0:04:14
White_Flame
I tend to put white space around them just in case. (e.g. "Go to http://my.thing.com/foo.link .")
0:06:38
edgar-rft
that forces me to type blanks after every link, what is idiotic. I'm not responsible to fiy bugs in broken IRC clients
0:30:03
on_ion
ive been adding spaces after complete URLs for decades. web browsers like to reload from cache if next_url == current_url by string compare so it became habit to get a nice full reload.
0:35:53
edgar-rft
That's not the point. A comma *can* be part of a valid URL, an angled bracket *never* can be part of an URL. An IRC client that recognizes angled brackets as part of an URL is undoubtfully broken. Don't use shitty software.
0:55:41
edgar-rft
Bike: <https://irclog.whitequark.org/lisp,http://ccl.clozure.com/irc-logs/lisp/> is invalid URL syntax
0:56:08
edgar-rft
<https://irclog.whitequark.org/lisp>,<http://ccl.clozure.com/irc-logs/lisp/> would be correct
0:59:06
on_ion
or why leave room for something out of date, listing the versions of implementations ? i would myself have more lisp in it like the #1=() part.
5:55:34
phoe
emaczen: https://github.com/sbcl/sbcl/blob/338faa43a1fa7931ac61adf24ac31793888287ef/src/runtime/immobile-space.c#L267
5:56:48
clintm
I've been looking around for options other than using a database (again) for a project, and I'm curious if any of you have suggestions. I've been reading through cl-prevalence and it seems like one reasonable alternative.
5:59:38
phoe
clintm: what do you want to store in your database? you could try a Lisp object store. beach has a very simple and customizable https://github.com/robert-strandh/Clobber while I used BKNR.DATASTORE in the past
6:06:09
clintm
At first glance, it looks like manardb is linux only? At least that's the impression that I get from the project page, and trying to load it in sbcl seems to confirm that.
6:08:34
beach
Ober: In what way manardb and leveldb nice? It is an honest question. I don't know them.
6:28:14
beach
Ober: In other words, what is it about those two alternatives that made you recommend them to clintm?
7:17:53
Ober
beach: manardb is pure cl and it's fast as hell. full clos layer on it. leveldb is just a hotness in k/v stores. and the binding in cl is pretty good
8:35:55
dim
hi! I think I will need to upload files to Amazon S3 in a streaming fashion (keeping only a chunk of the file content in memory at a time), and I wonder if cl-s3 or sz3 know how to do that... docs aren't that clear... anyone done that before?