Slidev presentation material, lecture notes, prompts, and runnable Nix examples for learning Nix with LLMs.
- Nix 72.9%
- Go 23.8%
- Python 3.3%
- Introduced a new lecture markdown file detailing the use of LLMs as a tutor for unfamiliar languages, specifically focusing on Nix. - Created a comprehensive presentation in markdown format covering various learning techniques with LLMs, including translation, evaluation tracing, Socratic questioning, and comparing solutions. - Added prompts for each technique to facilitate interaction with LLMs, enhancing the learning experience. - Included images and diagrams to illustrate key concepts related to Nix and its package management system. - Added a QR code image for easy access to additional resources. |
||
|---|---|---|
| presentation | ||
| .gitignore | ||
| flake.lock | ||
| flake.nix | ||
| package-lock.json | ||
| package.json | ||
| README.md | ||
Learning Nix with the Help of LLMs
Hi y'all thanks again for having me yesterday - and as I got the clear message of being more hands-on I thought about showing some more hands-on examples too.
Reference: Go Leipzig Meetup #60 invitation.
Contents
| Path | Purpose |
|---|---|
presentation/slides.md |
Main talk deck: learning Nix with LLM-assisted techniques. |
presentation/appendix-go-developers.md |
Separate appendix deck for Go developers who already use Docker, Ansible, and Terraform. |
presentation/preparation/lecture.md |
Longer lecture notes the main deck is based on. |
presentation/preparation/ |
Preparation notes and rough lecture material. |
presentation/prompts/ |
Prompt templates used in the talk demos. |
presentation/imgs/ |
Images referenced by the main deck. |
presentation/examples/01-unused-let.nix |
Small Nix evaluation example. |
presentation/examples/02-overlay-callpackage.nix |
Small overlay and package composition example. |
presentation/examples/go-fullstack/ |
Hands-on Go/Nix example for the appendix deck, including applied technique notes. |
presentation/examples/00-simple.nix, presentation/Dervation.py |
Low-level derivation demo material. |
Install
Install Nix, if it is not already available:
curl -L https://nixos.org/nix/install | sh -s -- --daemon
Use the checked-in package-lock.json:
npm install
Optional: enter the root Nix shell for Node, Go, and protobuf tooling:
nix develop
Start the Presentations
Main talk:
npm run dev
Go developer appendix:
npm run dev:appendix