Evan Richter

This is definitely off. I'll investigate

@psifertex I'd like to get the exact theme you're using for vscode, can you point me in the right direction?

Are you on firefox by chance? this is the behavior for me as well. It might be the browser sending it's general dark theme preferences

the presence of a testcase could be done at compile time perhaps with `include_bytes!("../corpus/testcase1")` but then compile-time and runtime could potentially diverge if that file changes or disappears

On M2 it reports incorrect temperatures: ``` [nix-shell:~/projects/sysinfo]$ cargo run --example simple Compiling sysinfo v0.25.1 (/Users/evan/projects/sysinfo) Finished dev [unoptimized + debuginfo] target(s) in 0.70s Running `target/debug/examples/simple` Getting processes' information... Done....

yeah I know the call for volunteers was for M1, but if it worked on M2 that would be pretty good evidence it also works on M1

Absolutely, I like the idea of breadcrumbs as they are called elsewhere. If at all possible, the best case would be to simply add the zettel jump to the history,...

another way to communicate it: any time your cursor jumps to a new location (e.g. text search and jump two results forward, LSP "jump to definition", switch to buffer 2,...

for a use-case other than corpus seeding ... (which I **really want** also!!!) ... more intelligent `tmin` permutations! I imagine permuting over structured simplifications would yield much faster and likely...

in cases where it's only the orphan rules prevent deriving Arbitrary, we could do a [remote derive](https://serde.rs/remote-derive.html) like serde does. I also like the idea of a function override as...