mimoo

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

name	description
HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates	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

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

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

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

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

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,

mimoo

Hey, I'm mimoo-1316043 and I have contributed to the Privacy Pools Ceremony.
The following are my contribution signatures:

Circuit # 1 (withdraw)
Contributor # 436
Contribution Hash: 33e198db c6abcfda 6f23973a bc2f731f
		c2e3918a dc67f371 444d85dd 82c11e0c
		fcf9c33a 6b97e20d 3165594e 7b787423
		0795fb73 5b5ed0af c82cb5a0 0b988823

mimoo

Chat completion API is not JSON parsable

I'm trying to address two problems here:

• how do you extend the messages with an assistant's answers?
• what is the format of the messages

Format of messages

Let's answer the second question first. The format given by the playground, using the /v1 API, is to have a content object:

mimoo

Hey, I'm mimoo-1316043 and I have contributed to the aptos-keyless-jan25-iteration MPC Phase2 Trusted Setup ceremony.
The following are my contribution signatures:

Circuit # 1 (main)
Contributor # 21
Contribution Hash: 32e63097 038d186a f662af15 d40dba11
		364db47a 7c629b09 47c96326 ee76aeeb
		0b912a34 b8a2d818 4b756a04 da4e889a
		00b1e7a0 afd4c305 6c2e20bb fb88dc3f