Cleared 1m ago · eniac/zippel #53 · Rust · ★ 49 · MIT
Right now, Zippel has prover and verifier in the same program. But in practice, prover and verifier would normally be separate executables. What this means: when prover sends proof + transcript to the verifier (possibly running on a different machine) we need a way to actually…
#63 · Rust · ★ 1.4k · Apache-2.0 · updated 6d ago
hi, i'm trying to install basalt on freebsd 14.2. the cargo install command crashed when trying to compile basalt-core... here is the error message: Compiling basalt-core v0.4.3 error[E0425]: cannot find value `OBSIDIAN_CONFIG_DIR_NAME` in this scope -->…
#4504 · Rust · ★ 8.0k · BSD-3-Clause · updated 1mo ago
I was working with a Github Action CI that uses pixi as the environment management tool. I used pixi lock to update the pixi lockfile, commited and uploaded the lockfile. On the CI side of things I got this error: Downloading Pixi Pixi installed to /home/runner/.pixi/bin/pixi…
#20 · Rust · ★ 254 · MIT · updated 1mo ago
Mobile has no equivalent for the TUI's /date-* family, which inserts journal refs and ISO dates at the cursor. For a journal-first workflow this hurts daily: writing "follow up on [[2026-06-05]]" requires manual typing and remembering the format. The TUI helpers cover relative…
#1212 · Rust · ★ 235 · Apache-2.0 · updated 1mo ago
Summary The Par grammar already has language server support in this repository, but editor integration outside VS Code can be improved and made easier to adopt. This issue tracks support and documentation for using the Par language server in other popular editors (for example…