#commonlisp 검색 결과
In #CommonLisp, you can define methods on generics from other packages, including the standard CL package. E.g. you can change the way hash tables are printed by redefining PRINT-OBJECT for the CL:HASH-TABLE class:

TIL: IDA ICE (Indoor Climate and Energy) simulation software is programmed in Common Lisp #Lisp #CommonLisp #simulation 🧐🤔

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…

#CommonLisp has WITH-INPUT-FROM-STRING but no equivalent for binary data ("octet vectors"). I'm used to consume binary data by passing around a vector with start and end positions, but sometimes streams are more confortable. So I added input octet streams to Tungsten and the…

"How many of you understand the source code of your #commonlisp runtime?" reddit.com/r/Common_Lisp/… This question has bothered me as well


I love writing in this style of lisp, and 99-lisp-problems is the perfect set of problems to enjoy it with ic.unicamp.br/~meidanis/cour… #CommonLisp First try, believe it or not, which kinda defeats the purpose of all the interactivity

efficient #commonlisp tuple store based on modernized and decrufted OKBC tries. i call these “ferns” because that’s just what they look like to me. This is an interesting data structure and generally outperforms hash tables. new update soon
お仕事への復帰作業の一環として $ cd /usr/local/src/sbcl $ git pull $ sh make.sh --fancy をしている 一回目は--fancyオプションを付け忘れたぐらいにリハビリが必要 orz #CommonLisp #SBCL
Spend 20 minutes loading dozens of gigabytes of data into video memory, then crash because a variable does not exist and the interpreter cannot verify something that simple when generating bytecode. 20min lost. Please, tell me again how Python is a good language. #CommonLisp may…
There's something infuriating about discovering that #Go, a language released in 2012, supposed to be all about getting shit done, does not have a function to compute the intersection of two arrays or remove duplicates in one. In the mean time, #CommonLisp, finalized 30 years go,…
New #commonlisp library: codeberg.org/fosskers/nonem… Github Mirror: github.com/fosskers/cl-no…
Typed Lisp, a primer. ~ Musa Al-hassy (2019). alhassy.com/TypedLisp.html #CommonLisp #Haskell
#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
![LGcommaI's tweet image. #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](https://pbs.twimg.com/media/G2R38kNX0AA7Smc.jpg)
Made a new #commonlisp #video about making a library or a web-application from a template. Video show how to reuse code between templates using Mystic project generator. YouTube: youtube.com/watch?v=lwcmOZ…
youtube.com
YouTube
Как сделать Common Lisp библиотеку за 5 секунд? С тестами, документ...
"I would not have thought of Common Lisp being more expressive for bit manipulation than C, though in hindsight perhaps I should have. Common Lisp is a huge language, and a lot of thought went into it." johndcook.com/blog/2023/01/2… #CommonLisp
#HuntKaufmannEtAl-1 [#AppliedMath #CommonLISP #IntegratedCircuits #StrotherMoorePureLispProver] Philosophical Transactions of the Royal Society A 375 (2017) Industrial hardware and software verification with ACL2 Warren A. Hunt Matt Kaufmann J Strother Moore Anna Slobodova
![LGcommaI's tweet image. #HuntKaufmannEtAl-1
[#AppliedMath
#CommonLISP
#IntegratedCircuits
#StrotherMoorePureLispProver]
Philosophical Transactions of the Royal Society A 375 (2017)
Industrial hardware and software verification with ACL2
Warren A. Hunt
Matt Kaufmann
J Strother Moore
Anna Slobodova](https://pbs.twimg.com/media/GAOolrNWkAAt2xJ.jpg)
Readings shared October 7, 2025. jaalonso.github.io/vestigium/post… #AI_coding #Advent_of_Code #CommonLisp #FunctionalProgramming #Gemini #Haskell #ITP #IsabelleHOL #LLM #Math
Using an LLM on the Advent of Code. ~ Joe Marshall. funcall.blogspot.com/2025/09/using-… #Advent_of_Code #AI_coding #CommonLisp #Gemini #LLMs
My copy of OnLisp by Paul Graham just arrived in a mail, You can get yours for only $15 on LuluXPress (they also had 10% off for first print but forget about this when I was preparing pdf for the cover) lurklurk.org/onlisp/onlisp.… #lisp #commonlisp

Good progress on my #CommonLisp #PostgreSQL client. It may not look like much, but it comes with SCRAM-SHA-256 authentication (thanks to OpenSSL for the primitives). Next step is support for extended queries with type mapping for value parsing.

Just realized I needed JSON pointers (RFC 6901) for OpenAPI. So today I wrote a minimal #CommonLisp implementation. Having a REPL to write this kind of feature interactively is incredibly comfortable.

#commonlisp’s condition system is such an interesting design. In case of an error, the control is transferred to higher layers on the call stack. These can then choose a context-specific solution, and let the lower layer resume. No stack unwinding.

Code is giving an error as "variable in not a number". What is wrong here? stackoverflow.com/questions/7187… #commonlisp #lisp

Alternating upcase/downcase for a string in Common Lisp stackoverflow.com/questions/6803… #commonlisp

Something went wrong.
Something went wrong.
United States Trends
- 1. #BornOfStarlightHeeseung 36.2K posts
- 2. Happy Birthday Charlie 79K posts
- 3. #csm217 N/A
- 4. #tuesdayvibe 4,610 posts
- 5. Alex Jones 17.9K posts
- 6. Sandy Hook 4,845 posts
- 7. Pentagon 82.2K posts
- 8. Good Tuesday 37.5K posts
- 9. #NationalDessertDay N/A
- 10. #PortfolioDay 4,690 posts
- 11. Shilo 3,020 posts
- 12. Monad 209K posts
- 13. Dissidia 8,094 posts
- 14. Masuda 1,944 posts
- 15. Victory Tuesday 1,325 posts
- 16. Larry Fink 6,944 posts
- 17. Martin Sheen 7,349 posts
- 18. Time Magazine 22.5K posts
- 19. Happy Heavenly 11.6K posts
- 20. Janet Mills 2,422 posts