Isaac Elliott

``` bind { a, b }

When calling `file.read` on a missing file, I get: ``` thread 'main' panicked at 'No such file or directory (os error 2)', src/lib.rs:1717:80 note: run with `RUST_BACKTRACE=1` environment variable to...

This program: ``` f : (| A : a, r |) -> a f x = case x of A a -> a main : IO () main = io.pure...

https://vermaden.wordpress.com/2021/09/13/ghost-in-the-shell-part-6-learn-shell-scripting/ An introduction to shell scripting. `lsmod` may be more widely available than `kldstat`. ipso should be able to replicate this. A sketch: ## 0.1 ``` #! /usr/bin/env -S ipso...

Example job: https://github.com/LightAndLight/ipso/actions/runs/3505790488/jobs/5872341175 (click the settings icon and show timestamps) ([start](https://github.com/LightAndLight/ipso/actions/runs/3505790488/jobs/5872341175#step:15:11), [end](https://github.com/LightAndLight/ipso/actions/runs/3505790488/jobs/5872341175#step:15:60)). Total duration: 4.5 minutes. Downloading the dependencies for `nix develop .#tests` takes ~40 seconds. That's ~15% of the...

Example job: https://github.com/LightAndLight/ipso/actions/runs/3505790488/jobs/5872341175. Total duration: 4.5 minutes. `nix profile install nixpkgs#pueue` and `nix profile install github:LightAndLight/ipso` together take ~35 seconds. That's ~10% of the total job duration.

Currently I can read a command's output using `cmd.read`, but I can't run a command with a specified input.

I use Cloudflare R2 storage for my Nix cache, and buckets now have a public access mode: https://developers.cloudflare.com/r2/data-access/public-buckets/. ## Tasks * [ ] Set up public R2 access with custom...

The instruction count / heap usage of my usual benchmark (`./scripts/{callgrind,dhat} examples/todolist.ipso < ipso-cli/benches/todolist_1_input.txt`) crept up a little bit in #263. I suspect it's from the extra types I create...

If someone submits a fix using an "edit on GitHub" link on https://ipso.dev, their fix isn't automatically deployed upon merging. This repository is set to deploy to https://ipso.dev from `docs/`...