David Wong comments

Results 393 comments of


                                            David Wong

Straightforward way to determine if inside a `nix shell`

I'd be interested in this as well

Is this project still maintained?

Not really. Until someone gets motivated to make a new top : )

Remove generate_asm from backend

I think we might still want to keep it implemented for kimchi to at least be able to keep the tests we have running.

expose better `witness_vars` in backend

Sounds good :)

can't build with local rust version

yeah, I fixed it doing a `rustup update`, but I have a PR adding a `rust-toolchain.toml` which should fix it for everyone (https://github.com/facebook/sapling/pull/259)

`sl pr` crashes at first use

this might be because I don't have a branch name or something? I just cloned a new repo from github and added commits with `sl ci` ``` ❯ sl @...

`sl pr` crashes at first use

OK I think the problem is that the `get_repository()` function actually gets `defaultBranchRef` from querying a Github repo, and on a brand new Github project there's no default branch I...

optimize constraints

This note seeks to explain what constraint optimization is, what noname does to optimize constraints, and what it could do. > [!NOTE] > The best way to understand if we're...

LaTex rendering doesn't support newcommands

bumping this because I'm interested as well :) it works without problems on hackmd, for example

Error computing package graph windows-targets: unknown target triple: aarch64-pc-windows-gnullvm

thanks for submitting the issue, if you can think of a fix PRs are welcome :)