freenode/#lisp - IRC Chatlog

1:10:28 Lord_of_Life_ ** NICK Lord_of_Life

1:40:08 uplime ** NICK ^

1:43:37 LdBeth not very interesting since they don’t use CLIM as html engine

2:02:55 White_Flame LdBeth: it does use CLIM, but not in the way you want?

2:04:37 White_Flame oh, or do you mean next-browser? yeah, that's a lisp wrapper around a browser engine

2:05:21 White_Flame which I personally don't mind. HTML/CSS/JS is a massive undertaking with lots of legacy garbage to support, font rendering with all the features is not trivial, etc

2:05:56 bexx imagine a browser without js

2:05:58 bexx only lisp

2:06:02 bexx wonderful

2:06:11 White_Flame things that could have been

2:06:46 White_Flame of course, see how far you can get with parenscript, or build something on webasm

2:07:06 bexx you can use a lips to webasm?

2:07:12 bexx *lisp

2:07:39 White_Flame I presume something like clisp would be buildable on webasm. I haven't used ECL enough to know if it would be possible

2:08:16 White_Flame (which would include runtime C generation -> webasm compilation)

2:08:30 bexx that seems funny

2:08:38 equwal ACTION help

3:09:57 LdBeth Good morning

3:26:06 beach Good morning everyone!

4:12:36 akoana good morning beach!

4:13:09 akoana good morning LdBeth!

8:34:22 LdBeth So E. W. Dijkstra rejected LISP 1.5 because it’s not a complete specification

8:42:02 ck_ yeah, here's EWD1284: https://web.archive.org/web/20100412112217/http://userweb.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1284.html

8:42:16 ck_ ''so poorly written that I could not take the authors seriously''

9:00:59 ck_ Oh well, Dijkstra was a hardliner... he probably would fit in here extremely well, enjoying many disputes on the finer points of whatever topic came up.

9:04:54 shrdlu68 Speak of the Dijkstra, I happen to be reading one of his EWDs.

9:05:31 shrdlu68 ck_: Why do you call him a hardliner?

9:09:59 ck_ shrdlu68: maybe not the best choice of words, but what I mean is the harshness I perceive in some of his statements. "/abolish/ the go to statement from all 'higher level' languages", for example

9:10:15 ck_ an absence of compromise. I hope you get my meaning.

9:10:42 shrdlu68 I do.

9:11:09 LdBeth Humm

10:17:23 lukego So who's using ql2nix? I'm looking for a nice way to automate the (re)generation of the package list.

10:22:40 xristos lukego: you're back to doing CL ? :]

10:32:19 hhdave_ ** NICK hhdave

11:29:32 luis http://clhs.lisp.se/Body/m_case_.htm says that CASE's clauses are "selected by matching the test-key on the basis of its identity". And the Glossary suggests that two objects are _identical_ when they're "the same under EQ". However, I see that CASE in fact expands to EQL. What's that about?

11:29:36 lukego xristos: I'm on holiday and have a hankering to hack some lisp. not sure if it will stick yet :-)

11:30:14 xristos \o/

11:32:48 lukego I'm feeling a strange urge to do some "programs that write programs" kind of meta-programming. feels like some of the code I've been writing lately in e.g. C is morally more like object code than source code and maybe I should be generating more of it. probably a bad idea but that's what brings me back to "the best way to misuse a computer" :-)

11:36:15 xristos fun! i want to use the (not exposed) SBCL assembler to generate Forth VMs

11:36:37 xristos and i also want to do the same with dynasm

11:36:44 xristos and compare the two approaches

11:36:58 lukego Related to generating VMs, I was wondering if there would be a sexp notation for LLVM IR and pretty-printer, but the nearest that I found was one for C++ (cl-cpp-generator)

11:40:54 xristos i was under the impression LLVM IR (bitcode?) changes frequently

11:41:04 xristos and i've avoided it

11:42:43 lieven luis: it says later that the test-key has to be the *same* as the key and the glossary for same (part 2) tells you it uses eql

11:44:37 luis lieven: OK, thanks!