Search results for #CommonLisp
Having trouble reading UTF-8 from a gzip file in Common Lisp? Check out this insightful exploration by Peter. Join the discussion on gzip-stream and UTF-8 encoding! #CommonLisp #UTF8 #Gzip #Programming ift.tt/xWzN0yH
I had some fun: went through chapter 2 (Syntax) of the #CommonLisp standard and bootstrapped a reader. I learned a few things: - Pure C99 is (still) easy to read and to write. - The standard is *very* well written: just do what is described and it works. - If you did not read…
This creature is called the #LISP Alien, the mascot of LISP community. It changes its appearance based on which particular dialect of LISP it is meant to represent: e.g two eyes for #Scheme instead of +four eyes #CommonLISP variant. More information here: lisperati.com/logo.html
This creature is called the #LISP Alien, the mascot of LISP community. It changes its appearance based on which particular dialect of LISP it is meant to represent: e.g two eyes for #Scheme instead of +four eyes #CommonLISP variant. More information here: lisperati.com/logo.html https://t.co/RneznhFU38
I was playing again with my #CommonLisp HTTP implementation and I've made my peace with its blocking nature. It is irrelevant with a buffering reverse proxy (HAProxy or NGINX), performances are excellent and the code of the server stays simple. Here, 210k+ req/s on 64 connection…
checking for patterns #commonlisp #lisp #programming
SabbatiCL: Taking time off to learn a real programming language #lisp #commonlisp
Mi amorcito está muy prolífico escribiendo artículos sobre #programación en #commonlisp. Vengo a difundir su trabajo porque lo amo mucho and he's amazing. #developer #lispworks #experimental #programming blog.dziban.net
#HuntKaufmannEtAl-1 [#AppliedMathematics #CommonLisp #StrotherMoorePureLispProver] Philosophical Transactions of the Royal Society A 375: 20150399 (2017) Industrial hardware and software verification with #ACL2 Warren A. Hunt Jr Matt Kaufmann J Strother Moore Anna Slobodova
ISBN 3540230173; p. 99: "The logic of ACL2 is based on [a] subset of #CommonLisp. ..ACL2 arose out of a desire to enhance the Boyer-Moore prover to make it more suitable for industrial use, and in that respect it has succeeded marvelously. For example, it has been used to >
ISBN 3540230173; p. 99: "The logic of ACL2 is based on [a] subset of #CommonLisp. ..ACL2 arose out of a desire to enhance the Boyer-Moore prover to make it more suitable for industrial use, and in that respect it has succeeded marvelously. For example, it has been used to >
@deepfates You have been permanently banned from #commonlisp
Still reading the article, whenever baby goes back to sleep. I hardly slept last night. I also messed around a little with #CommonLisp a bit earlier, specifically the function I discovered yesterday. Read a bit about #Erlang and reversing lists.
#willwritesandcodes #100DaysofCode #Day246 Read ~10pg on #LISP; watched a video on a #CommonLisp #sbcl function which actually I think will be pretty handy! (also, the sb stands for Steel Bank, which is cool) Listened to the Peter L. Deutsch #CodersAtWork interview.
Linked list parts in SCBL don't completely scatter. I saw 2 chunks, i.e. contents and pointers, which should not be too many for Zen 3, 8-way caches to handle. Of course, there are probably cases where this statement is not true. Still, I cannot find one yet. #commonlisp
An essay I wrote yesterday at the pachyderm site is now available as a named essay, Should Fix Climate, on my blog. netsettlement.blogspot.com/2024/03/should… #CommonLisp #Lisp #ErrorHandling #programming #philosophy #society #politics #climate #terminology #collapse #extinction