Skip to content
View occisn's full-sized avatar
1 follower · 1 following

Block or report occisn

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
occisn/README.md

Coding as a hobby. Fan of Emacs and Common Lisp.

Blog: effectivelambda.org

Pinned:
- my full and actual Emacs configuration (init.el file)
- Converter from Common Lisp to GNU Calc
- cl-z21: Common Lisp minimal demonstration code for controlling Roco Z21 model railway command stations over LAN (UDP)
- claude-lisp-repl: Recipes for driving a live, shared Common Lisp REPL image from Claude Code (via a tmux session or Emacs/SLIME) so that LLM and user evaluate, load and test in the same running SBCL
- erdos-36-certified-lower-bound: an LLM-assisted (Claude) experiment in verified computation - an open, fully rigorous re-certification of White's lower bound for Erdős's minimum-overlap problem (#36), with an independent verifier

How to reach me: discussion linked to this profile repository, as well as issues and discussions in each repository

Full list of repositories per category: (a project may appear in several categories)

Common Lisp
- claude-lisp-repl: Recipes for driving a live, shared Common Lisp REPL image from Claude Code (via a tmux session or Emacs/SLIME) so that LLM and user evaluate, load and test in the same running SBCL
- Common Lisp minimal examples
- Common Lisp GPU example
- Personal utilities for Common Lisp
- Common Lisp performance
- Reproduction of Hamid Naderi Yeganeh's Morpho Butterfly in Common Lisp
- Problem solving in Common Lisp: Project Euler, Tupper formula
- Converter from Common Lisp to GNU Calc
- cl-z21: Common Lisp minimal demonstration code for controlling Roco Z21 model railway command stations over LAN (UDP)

Emacs Lisp
- Personal utilities for Emacs Lisp
- Problem solving in Emacs Lisp: Project Euler, Tupper formula
- claude-lisp-repl: Recipes for driving a live, shared Common Lisp REPL image from Claude Code (via a tmux session or Emacs/SLIME) so that LLM and user evaluate, load and test in the same running SBCL

Claude
- claude-lisp-repl: Recipes for driving a live, shared Common Lisp REPL image from Claude Code (via a tmux session or Emacs/SLIME) so that LLM and user evaluate, load and test in the same running SBCL
- calc-llm: LLM to convert numerical puzzle into GNU Calc
- erdos-36-certified-lower-bound: an LLM-assisted (Claude) experiment in verified computation - an open, fully rigorous re-certification of White's lower bound for Erdős's minimum-overlap problem (#36), with an independent verifier

C
- C minimal examples
- C GPU example
- Personal utilities for C
- Problem solving in C
- Reproduction of Hamid Naderi Yeganeh's Morpho Butterfly in C

C++
- C++ minimal examples
- Personal utilities for C++
- Problem solving in C++

Emacs
- my full and actual Emacs configuration (init.el file)
- Personal utilities for Emacs

GNU Calc
- Problem solving in GNU Calc
- Converter from Common Lisp to GNU Calc
- calc-llm: LLM to convert numerical puzzle into GNU Calc

Only Office Libre Office Calc Microsoft Excel
- problem solving in spreadsheets

(end of README)

Pinned Loading

  1. emacs-config emacs-config Public

    My actual Emacs configuration file (init.el)

    Emacs Lisp

  2. cl-lisp2calc cl-lisp2calc Public

    Hobby project written in Common Lisp, which converts Lisp code (Common Lisp) into stack-based GNU Emacs Calc.

    Common Lisp 1

  3. cl-z21 cl-z21 Public

    Hobby project: Common Lisp minimal demonstration code for controlling Roco Z21 model railway command stations over LAN (UDP). Supports locomotive control, turnouts, CV programming, and broadcast li…

    Common Lisp

  4. claude-lisp-repl claude-lisp-repl Public

    Recipes for driving a live, shared Common Lisp REPL image from Claude Code (via a tmux session or Emacs/SLIME) so you and the LLM evaluate, load and test in the same running SBCL.

  5. erdos-36-certified-lower-bound erdos-36-certified-lower-bound Public

    Open, fully rigorous re-certification of White's lower bound for Erdős's minimum-overlap problem (#36), with an independent verifier

    Python