/technology
+⧖>Lisp is a family of programming languages with a long history and a distinctive parenthesized prefix notation. There are many dialects of Lisp, including Common Lisp, Scheme, Clojure and Elisp. >Emacs is an extensible, customizable, self-documenting free/libre text editor and computing environment, with a Lisp interpreter at its core. >Emacs Resources https://gnu.org/s/emacs https://github.com/emacs-tw/awesome-emacs https://github.com/systemcrafters/crafted-emacs >Learning Emacs C-h t (Interactive Tutorial) https://emacs-config-generator.fly.dev https://systemcrafters.net/emacs-from-scratch http://xahlee.info/emacs https://emacs.tv >Browse imageboards in Emacs Org-Mode https://github.com/eNotchy/4g >Emacs Distros https://github.com/caisah/emacs.dz >Elisp Docs: C-h f [function] C-h v [variable] C-h k [keybinding] C-h m [mode] M-x ielm [REPL] https://gnu.org/s/emacs/manual/eintr.html https://gnu.org/s/emacs/manual/elisp.html https://github.com/emacs-tw/awesome-elisp >Common Lisp https://almightylisp.com https://lispcookbook.github.io/cl-cookbook https://cs.cmu.edu/~dst/LispBook https://gigamonkeys.com/book https://lisp-docs.github.io https://awesome-cl.com >Scheme https://scheme.org https://standards.scheme.org https://go.scheme.org/awesome https://research.scheme.org/lambda-papers >Clojure https://clojure.org https://clojure-doc.org https://clojure.land https://www.clojure-toolbox.com https://mooc.fi/courses/2014/clojure https://jafingerhut.github.io/cheatsheet/clojuredocs/cheatsheet-tiptip-cdocs-summary.html >Other https://github.com/dundalek/awesome-lisp-languages >Guix https://guix.gnu.org https://nonguix.org https://systemcrafters.net/craft-your-system-with-guix https://futurile.net/resources/guix https://github.com/franzos/awesome-guix >SICP/HtDP https://web.mit.edu/6.001/6.037/sicp.pdf https://htdp.org >More Lisp Resources https://lisp.nexus https://rentry.org/lispresources (set! thread-link >>>/g/lisp) (set! prev-thread )
>Lisp is a family of programming languages with a long history and a distinctive parenthesized prefix notation. There are many dialects of Lisp, including Common Lisp, Scheme, Clojure and Elisp. >Emacs is an extensible, customizable, self-documenting free/libre text editor and computing environment, with a Lisp interpreter at its core. >Emacs Resources https://gnu.org/s/emacs⧉ https://github.com/emacs-tw/awesome-emacs⧉ https://github.com/systemcrafters/crafted-emacs⧉ >Learning Emacs C-h t (Interactive Tutorial) https://emacs-config-generator.fly.dev⧉ https://systemcrafters.net/emacs-from-scratch⧉ http://xahlee.info/emacs⧉ https://emacs.tv⧉ >Browse imageboards in Emacs Org-Mode https://github.com/eNotchy/4g⧉ >Emacs Distros https://github.com/caisah/emacs.dz⧉ >Elisp Docs: C-h f [function] C-h v [variable] C-h k [keybinding] C-h m [mode] M-x ielm [REPL] https://gnu.org/s/emacs/manual/eintr.html⧉ https://gnu.org/s/emacs/manual/elisp.html⧉ https://github.com/emacs-tw/awesome-elisp⧉ >Common Lisp https://almightylisp.com⧉ https://lispcookbook.github.io/cl-cookbook⧉ https://cs.cmu.edu/~dst/LispBook⧉ https://gigamonkeys.com/book⧉ https://lisp-docs.github.io⧉ https://awesome-cl.com⧉ >Scheme https://scheme.org⧉ https://standards.scheme.org⧉ https://go.scheme.org/awesome⧉ https://research.scheme.org/lambda-papers⧉ >Clojure https://clojure.org⧉ https://clojure-doc.org⧉ https://clojure.land⧉ https://www.clojure-toolbox.com⧉ https://mooc.fi/courses/2014/clojure⧉ https://jafingerhut.github.io/cheatsheet/clojuredocs/cheatsheet-tiptip-cdocs-summary.html⧉ >Other https://github.com/dundalek/awesome-lisp-languages⧉ >Guix https://guix.gnu.org⧉ https://nonguix.org⧉ https://systemcrafters.net/craft-your-system-with-guix⧉ https://futurile.net/resources/guix⧉ https://github.com/franzos/awesome-guix⧉ >SICP/HtDP https://web.mit.edu/6.001/6.037/sicp.pdf⧉ https://htdp.org⧉ >More Lisp Resources https://lisp.nexus⧉ https://rentry.org/lispresources⧉ (set! thread-link >>>/g/lisp) (set! prev-thread )>See how Rust and Typescript are the most popular languages on GitHub despite being considered pain to write before 2023 Source? I see Javascript and Python. >so strong static types seem like a must Source? The paper I saw didn't show this. They're investing in formal verification: https://www.anthropic.com/research/formal-verification⧉ Strong static types just seems like placebo.
⧖expiring ~7d0/1 kept1w ago
⏱ 1w 👍 0
⬆ upvote 0
/technology
trying
closest
needs