#commonlisp resultados da pesquisa
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 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 🧐🤔

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


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…
お仕事への復帰作業の一環として $ cd /usr/local/src/sbcl $ git pull $ sh make.sh --fancy をしている 一回目は--fancyオプションを付け忘れたぐらいにリハビリが必要 orz #CommonLisp #SBCL
#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)
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,…
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
New #commonlisp library: codeberg.org/fosskers/nonem… Github Mirror: github.com/fosskers/cl-no…
github.com
GitHub - fosskers/cl-nonempty: Non-empty collections for Common Lisp.
Non-empty collections for Common Lisp. Contribute to fosskers/cl-nonempty development by creating an account on GitHub.
Using an LLM on the Advent of Code. ~ Joe Marshall. funcall.blogspot.com/2025/09/using-… #Advent_of_Code #AI_coding #CommonLisp #Gemini #LLMs
#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)
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
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
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
github.com
GitHub - jdf-id-au/cocoagain: Core Graphics + MetalKit — Common Lisp REPL
Core Graphics + MetalKit — Common Lisp REPL. Contribute to jdf-id-au/cocoagain development by creating an account on GitHub.
Ghost Ops use the language of ghosts. Common Lisp for starters. #CommonLisp #Lisp #DeadSwitch tomsitcafe.com/2025/07/14/the…
tomsitcafe.com
The Silent Operator’s Language – Common Lisp Basics
Languages rise and fall.Syntactic sugar.Hair-raising formulas.One claims speed. Another elegance. Common Lisp stayed silent.Evolved in peace.Only a few were brave enough to touch it.Even fewer live…
40 years old. Still sharp. Still quiet. This is not nostalgia. It's about precision. #lisp #commonlisp #emacs #development #programming tomsitcafe.com/2025/06/30/com…
tomsitcafe.com
Common Lisp: The Silent Weapon That Still Cuts
Common Lisp is not a trend.It doesn’t scream for likes.It doesn’t dance for recruiters. But under the surface – it breathes.Code written four decades ago still runs. Ghosts don…
World: We need to start using Rust more in OS development to make everything safe and fast. Lisp Developers: Hold my beer! (github.com/froggey/Mezzan…) #lisp #commonlisp
github.com
GitHub - froggey/Mezzano: An operating system written in Common Lisp
An operating system written in Common Lisp. Contribute to froggey/Mezzano development by creating an account on GitHub.
guix package manager for #commonlisp youtu.be/kAT6cS2vyXM?si…
youtube.com
YouTube
Mobian on the Pinephone Review 2021
Document of @quicklisp's starter. A 40-page document shows the all source code of the lisp executable file. #CommonLisp #LISP #programmer #quicklisp Latest released on Oct 12 2024.

So basically a prebaked lisp image (with libs) used as shebang to run your script is anecdotally 0.017 startup time and python hello world is 0.025 You can make your own lisp or use @vindarel's CIEL #CommonLisp github.com/ciel-lang/CIEL
github.com
GitHub - ciel-lang/CIEL: CIEL Is an Extended Lisp. Scripting with batteries included.
CIEL Is an Extended Lisp. Scripting with batteries included. - ciel-lang/CIEL
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:

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

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

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

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.

Finally found the time to start binding libssh in #CommonLisp. A bit more work than expected becaus libssh is low level. But I can use my own sockets and control everything, good. Now I can execute commands and get the exit code, stdout and stderr! Next step, SFTP support.

Something went wrong.
Something went wrong.
United States Trends
- 1. Columbus 81.2K posts
- 2. #WWERaw 36K posts
- 3. #IDontWantToOverreactBUT N/A
- 4. #SwiftDay 9,038 posts
- 5. #IndigenousPeoplesDay 4,020 posts
- 6. Seth 31.2K posts
- 7. Middle East 170K posts
- 8. Marc 37.5K posts
- 9. Thanksgiving 44.2K posts
- 10. The Vision 85.2K posts
- 11. Knesset 136K posts
- 12. #MondayMotivation 13.7K posts
- 13. Flip 48.5K posts
- 14. Victory Monday 2,161 posts
- 15. Bronson 6,270 posts
- 16. Bron Breakker 4,686 posts
- 17. Heyman 4,431 posts
- 18. CM Punk 6,292 posts
- 19. Egypt 169K posts
- 20. Branch 49.9K posts