more librecell number theory and models of computation lispcraft #lisp #commonlisp #math #maths #mathematics #seqfans #oeis #librecell

keyboard_arrow_left Previous keyboard_arrow_right Next

perfect number aversion sequences #seqfan proper divisors sequences #seqfans #librecell #oeis #math #mathematics #computerscience #lisp #commonlisp

keyboard_arrow_left Previous keyboard_arrow_right Next

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

#smalltalk --> #commonlisp youtu.be/fytGL8vzGeQ?si…

Ghost Ops use the language of ghosts. Common Lisp for starters. #CommonLisp #Lisp #DeadSwitch tomsitcafe.com/2025/07/14/the…

add images from github.com/reddit-archive… github.com/tamurashingo/r… #CommonLisp #reddit

here is some comments and source #commonlisp #lisp #mrrobot

keyboard_arrow_left Previous keyboard_arrow_right Next

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…

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

guix package manager for #commonlisp youtu.be/kAT6cS2vyXM?si…

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

Readings shared May 21, 2025. jaalonso.github.io/vestigium/post… #ACL2 #AI #AlphaEvolve #CommonLisp #CompSci #Emacs #GeneticAlgoritm #ITP #LLMs #LeanProver #Math #OrgMode #Programming #Python

Toward safe, flexible, and efficient software in Common Lisp. ~ Robert Smith. youtu.be/of92m4XNgrM #CommonLisp

Readings shared May 19, 2025. jaalonso.github.io/vestigium/post… #CommonLisp #Coq #ITP #IsabelleHOL #LeanProver #Math #Programming #Python #Rocq

Lisp. but why? ~ Raj. youtu.be/guEbzVuYzPc #CommonLisp #Programming

common lisp is an infinitely malleable programming language that can be made into new 'macros' (numacros?) and any operating system made with this language is itself infinitely malleable. sway is a beautiful gui for gnuguixos 🥰 #gnuguix #swaywayland #commonlisp