Our coding style is a collective effort, blending engineering and art, aiming for precision and creativity. The best is yet to come.
Good style advances our design goals: readability, maintainability, performance,
| # This flake provides a development shell for the NostraDavid playground. | |
| # I use it to setup a .venv - once that's up, you can do whatever you want. | |
| # I auto-activate the .venv using some private bash scripts | |
| # run commands for this file: | |
| # nix develop .#impure | |
| # nix develop .#uv2nix | |
| # file inspiration: https://pyproject-nix.github.io/uv2nix/usage/hello-world.html | |
| { | |
| description = "Development shell for NostraDavid playground"; |
| # Get editor completions based on the config schema | |
| "$schema" = 'https://starship.rs/config-schema.json' | |
| # `prev_bg` is a special variable that sets the background color to the previous | |
| # module's background color, which is useful for creating a seamless transition between | |
| # modules. For example, you can use it to create a seamless transition between the | |
| # `directory` and `git_branch` modules. | |
| # You can also override fg and bg colors for each module. `fg:prev_bg fg:light_bg` means | |
| # that the foreground color is the previous module's background color, but if there is |
| # /// script | |
| # requires-python = ">=3.13" | |
| # dependencies = [ | |
| # "polars", | |
| # ] | |
| # /// | |
| from pathlib import Path | |
| from typing import OrderedDict | |
| import polars as pl |
| -- Pull in the wezterm API | |
| local wezterm = require 'wezterm' | |
| -- This will hold the configuration. | |
| local config = wezterm.config_builder() | |
| -- Set font to JetBrains Mono NF | |
| config.font = wezterm.font('JetBrainsMono Nerd Font') | |
| config.font_size = 10 |
| #!/usr/bin/env bash | |
| # Set your GitHub token here | |
| GITHUB_TOKEN="<token goes here>" | |
| # Make the cURL request to GitHub API and store the response | |
| response=$(curl -s -H "Authorization: token $GITHUB_TOKEN" \ | |
| -H "Accept: application/vnd.github+json" \ | |
| "https://api.github.com/user/repos?per_page=100") |
| # in Terminal | |
| sudo --login | |
| # as su | |
| usermod -aG sudo david | |
| # ctrl-d | |
| # reboot | |
| # back in terminal | |
| sudo apt install flatpak | |
| sudo flatpak remote-add --if-not-exists flathub https://flathub.org/repo/flathub.flatpakrepo |
| javascript: (() => {let output = "";const es = document.querySelectorAll("[class*='min-h-[20px]']");const today = `${new Date().toISOString().slice(0, 19)}Z`;output += `---\ndate: "${today}"\n---\n#\n%60;for (let i = 0; i < es.length; i++) {const first = es[i].firstChild;if (!first) continue;if (first.nodeType === Node.TEXT_NODE) {let lines = first.textContent.split("\n"); for (let i = 0; i < lines.length; i++) {const line = lines[i];output += %60\n> ${line}%60;}output += %60\n%60;}if (first.nodeType === Node.ELEMENT_NODE) {const childNodes = first.childNodes;for (let j = 0; j < childNodes.length; j++) {const childNode = childNodes[j];if (childNode.nodeType === Node.ELEMENT_NODE) {let tagName = childNode.tagName;let textContent = childNode.textContent;switch (tagName) {case "P":output += %60\n${textContent}%60;break;case "OL":output += %60\n%60;childNode.childNodes.forEach((el, index) => {if (el.nodeType === Node.ELEMENT_NODE && el.tagName === "LI") {output += %60${index + 1}. ${el.textContent}\n%60;}});break |
| # Note that the "# %%" thing is from Jupyter Notebooks, which should be supported by vscode by default :) | |
| # Just run the code with the "run code" button that pops up right above the "# %%" | |
| # %% | |
| import functools | |
| from typing import Callable | |
| ComposableFunction = Callable[[float], float] | |
| def compose(*functions: ComposableFunction) -> ComposableFunction: |
| # ignore all root items, not recursively | |
| /* | |
| # whitelist dirs | |
| !docs | |
| !example_data | |
| !requirements | |
| !src | |
| !tests |