#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:

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

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

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…
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
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,…
お仕事への復帰作業の一環として $ cd /usr/local/src/sbcl $ git pull $ sh make.sh --fancy をしている 一回目は--fancyオプションを付け忘れたぐらいにリハビリが必要 orz #CommonLisp #SBCL
New #commonlisp library: codeberg.org/fosskers/nonem… Github Mirror: github.com/fosskers/cl-no…
#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)
#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)
Typed Lisp, a primer. ~ Musa Al-hassy (2019). alhassy.com/TypedLisp.html #CommonLisp #Haskell
"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
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 секунд? С тестами, документ...
#AndresLambanRubio-1 [Formalization ProofAssistants] #StrotherMoorePureLispProver] 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Proceedings pp. 1–12 (2007) Executing in #CommonLisp, Proving in #ACL2 by Mirian Andrés Laureano Lambán Julio Rubio
![LGcommaI's tweet image. #AndresLambanRubio-1
[Formalization
ProofAssistants]
#StrotherMoorePureLispProver]
14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Proceedings pp. 1–12 (2007)
Executing in #CommonLisp, Proving in #ACL2
by
Mirian Andrés
Laureano Lambán
Julio Rubio](https://pbs.twimg.com/media/GiqazUbXkAALrHh.png)
anyone wondering You can write #smartcontracts in #commonlisp in both @chia_project and @IdenaNetwork..

Common Lispの型宣言 #CommonLisp - Qiita qiita.com/takoeight0821/…
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
#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)
anyone can create their own #macros of #commonlisp completely unique to their own lexicon.. #pluralism #programming #Commonwealth

I finally feel like i'm penetrating javascript a little bit. After 30 years. Via Parenscript. #commonlisp
more librecell number theory and models of computation lispcraft #lisp #commonlisp #math #maths #mathematics #seqfans #oeis #librecell


Web Embeddable Common Lisp is a project that brings Common Lisp and the Web Browser environments together #lisp #commonlisp #functionalprogramming
A Common Lisp community is building on Discord: discord.gg/eNvmFrSCNb #CommonLisp #Lisp #Discord #Community #DeadSwitchSignal

Common Lisp is not just a language. It's a ritual. A framework. A tool that's known by a minority - a cipher for the Ghosts. deadswitch404.github.io/2025/08/learn-… #CommonLisp #Lisp #Programming #DeadSwitchGhostWare
github.com/jdf-id-au/coco… Should have started thirty years earlier #commonlisp
Ghost Ops use the language of ghosts. Common Lisp for starters. #CommonLisp #Lisp #DeadSwitch tomsitcafe.com/2025/07/14/the…
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.

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.

#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.

incredibly in-depth resources for #commonlisp hackers from casual to causal common-lisp.net/documentation

Something went wrong.
Something went wrong.
United States Trends
- 1. Prince Andrew 26.7K posts
- 2. No Kings 271K posts
- 3. Duke of York 12.9K posts
- 4. zendaya 9,303 posts
- 5. Zelensky 69.5K posts
- 6. #DoritosF1 N/A
- 7. trisha paytas 3,971 posts
- 8. #FursuitFriday 16.9K posts
- 9. Andrea Bocelli 17.7K posts
- 10. Apple TV 7,132 posts
- 11. Arc Raiders 7,009 posts
- 12. #SELFIESFOROLIVIA N/A
- 13. #CashAppFriday N/A
- 14. Strasbourg 22.3K posts
- 15. Karoline Leavitt 50.8K posts
- 16. Trevon Diggs 1,513 posts
- 17. F-bomb 2,134 posts
- 18. TPOT 20 SPOILERS 10.3K posts
- 19. My President 52.5K posts
- 20. #ThePerfectNeighbor N/A