Skip to content

Instantly share code, notes, and snippets.

View mimoo's full-sized avatar
🦀
求同存异

David Wong mimoo

🦀
求同存异
1.2k followers · 14 following
View GitHub Profile
@mimoo
mimoo / coldcard-zkao-scan.md
Last active August 3, 2026 18:09
coldcard breach github

We ran a scan with an automated tool (zkao) to find bugs in coldcard, it found the randomness bug.

The scan is available here: https://zkao.io/public/scans/_0bfBxlhtfEAR2uXl9jXk

I also included the complete scan result here as a markdown file.

Here is claude's analysis on it finding the randomness bug via a websearch, but also not using a websearch. This is a best case scenario as we want to be effective at finding bugs WITHOUT cheating, but also we want to be effective at doing websearches to find bugs.

@mimoo
mimoo / do-not-use-legalzoom.md
Last active June 30, 2026 00:48
Do not use LegalZoom

I've used legalzoom and:

  • they don't tell you if there's an issue with your registration
  • if you reach out to them, they will tell you there is an issue
  • if you try to fix it, they will tell you that they fixed it, but they don't
  • they won't tell you that it's still broken until you reach out to ask for a status update
  • if you try to cancel an order, they will use many tacticts to prevent you to do that (random logout of your account, random waits, transfer to random departments, useless questions, repeated questions, etc.) until you take a bit too much time to respond and they will disconnect you, and you'll have to restart from scratch every time

I thought using their service would save me some time. I was wrong. I lost a lot of time through their customer support. Do not use legalzoom

@mimoo
mimoo / no-more-db-push.md
Created February 6, 2026 22:17
NO MORE DB PUSH !

NO MORE DB PUSH

Annoying agents. Claude, codex, gemini, they all suck, they always use db push directly with prisma and co. We don't want them to! So we must tell them to stop!!!!

Add to .claude/settings.json in your project:

  {
    "hooks": {
      "PreToolUse": [
@mimoo
mimoo / claude-code-Internal-server-error.md
Created February 4, 2026 16:42
Internal server error claude code

getting "Internal server error" from claude code?

me too

I just wanted to see if you could find this gist by trying to look for a solution to this problem

I have no solution to offer

Im deeply sorry

@mimoo
mimoo / hyperplonk.md
Last active February 3, 2026 02:54
name HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates
description A cryptographic paper introducing HyperPlonk, an adaptation of Plonk to the boolean hypercube using multilinear polynomial commitments, enabling linear-time proving and efficient high-degree custom gates.

HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates

Binyi Chen
Espresso Systems

@mimoo
mimoo / improve_newyork.md
Last active December 24, 2025 09:29
Improving New York

Improving New York

A list of what I think would improve the city:

  • more pedestrian streets like in Europe (this one is urgent)
  • more small parks across the city (SF has many small parks across the city)
  • less scaffoldings (OMG these scaffoldings are everywhere and they stay there for months/years!)
  • less rats (this is crazy)
  • less trash (in nordic countries they have trash underground)
  • more electrical cars (reduces noise pollution)
@mimoo
mimoo / summarized_docs.md
Created October 31, 2025 21:17
Bun succinct documentation for agents

Bun is an all-in-one JavaScript/TypeScript runtime and toolkit designed as a drop-in replacement for Node.js. It's 4x faster startup than Node.js, powered by JavaScriptCore engine, written in Zig. Single executable with no dependencies.

Installation: curl -fsSL https://bun.com/install | bash (macOS/Linux), powershell -c "irm bun.sh/install.ps1|iex" (Windows). Upgrade: bun upgrade. Docker: docker pull oven/bun.

Running code: bun run file.ts or just bun file.ts. Supports TypeScript, JSX, TSX out of the box with native transpiler (no typechecking). Watch mode: bun --watch run file.ts. Run package.json scripts: bun run scriptname (28x faster than npm run).

Package manager: bun install (25x faster than npm), bun add pkg, bun remove pkg. Uses global cache at ~/.bun/install/cache/ with hardlinks/copy-on-write for disk efficiency. Lockfile: bun.lock. Workspaces supported in package.json. For CI: bun ci (frozen lockfile). Installation strategies: hoisted (default) or isolated (`--linker

@mimoo
mimoo / README.md
Last active June 6, 2025 13:59

Give vscode agent mode the power to do web searches

You need uv, then:

  1. add websearch.py to some folder FOLDER
  2. add the file .vscode/mcp.json if it doesn't exist, with your new websearch MCP server (and edit the FOLDER part). You can also do this by fuzzy searching for "MCP: Add Server" and adding the command uv --directory FOLDER run python websearch.py --stdio in the prompt.
  3. in the mcp.json you might want to put the full path to you uv instead of just uv. (do which uv in your terminal to get that full path)
  4. voila
@mimoo
mimoo / README.md
Last active April 10, 2025 14:49
Running 32-bit Rust binaries in Docker containers on MacOS

Need to test some Rust program in a 32-bit environment? You're on MacOS? Looks like you're going to have to use Docker. Not only that, but you'll have to use Docker with a 64-bit linux environment, that can support building and running 32-bit binaries.

Create this Dockerfile:

FROM rust:latest

# Ensure we don't use our local build folder
ENV CARGO_TARGET_DIR=/tmp/target32
@mimoo
mimoo / checks.rs
Created March 5, 2025 17:34
protostar
use super::acc_prover::PowersOfBeta;
use crate::equations::{Exp, Variable};
use std::{collections::HashMap, sync::Arc};
/// A check in protostar.
/// We assume that it is given in a list of homogeneous polynomials,
/// starting at degree 0 and strictly increasing by 1.
#[derive(Clone)]
pub enum Check<F, V> {
/// Either a list of homogeneous polynomials from deg0 strictly increasing,