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

nmartyanoff's tweet image. 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

mwgkgk's tweet image. 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 🧐🤔

EmreSevinc's tweet image. 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…

nmartyanoff's tweet image. 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…

nmartyanoff's tweet image. #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…

the illusion of straight lines #creativecoding with #commonlisp


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

mwgkgk's tweet image. "How many of you understand the source code of your #commonlisp runtime?"

reddit.com/r/Common_Lisp/…

This question has bothered me as well
mwgkgk's tweet image. "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

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


#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

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…

svetlyak40wt's tweet card. Как сделать Common Lisp библиотеку за 5 секунд? С тестами, документ...

youtube.com

YouTube

Как сделать Common Lisp библиотеку за 5 секунд? С тестами, документ...


Have you tried building AI agents with #csharp or #dart? What's stopping you?



"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 [#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

anyone can create their own #macros of #commonlisp completely unique to their own lexicon.. #pluralism #programming #Commonwealth

implosion010's tweet image. 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


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


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.

arkimium_76's tweet image. 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:

nmartyanoff's tweet image. 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:

再読、了 #CommonLisp Land of Lisp SBCL版のメモを作ろうかしらん

shigerufujita's tweet image. 再読、了
#CommonLisp Land of Lisp

SBCL版のメモを作ろうかしらん

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

jcubic's tweet image. 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.

AdamTornhill's tweet image. #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.

New ASDF system definition and build library, version 3.3.2, is released for #CommonLisp #Lisp

NotThatrpg's tweet image. New ASDF system definition and build library, version 3.3.2, is released for #CommonLisp  #Lisp

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

mwgkgk's tweet image. 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.

nmartyanoff's tweet image. 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.

Medley Interlisp revival project interlisp.org #Lisp #CommonLisp

mwgkgk's tweet image. Medley Interlisp revival project

interlisp.org

#Lisp #CommonLisp


این تیکه کد چند خط چاپ می‌کنه؟ #CommonLisp #لیسپ

Sajjad_Heydari's tweet image. این تیکه کد چند خط چاپ می‌کنه؟ #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.

nmartyanoff's tweet image. 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.

Quite happy with how this one turned out #AdventOfCode #CommonLisp

chrsnjk's tweet image. Quite happy with how this one turned out

#AdventOfCode #CommonLisp

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.

nmartyanoff's tweet image. 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.

Loading...

Something went wrong.


Something went wrong.


United States Trends