Skip to content

Instantly share code, notes, and snippets.

@alg747
alg747 / solveit-ref.md
Created April 8, 2026 16:48 — forked from jph00/solveit-ref.md
Solveit reference

Solveit Reference

What is Solveit?

Solveit is a "Dialog Engineering" web application for interactive development. Unlike ChatGPT (pure chat) or Jupyter (pure code), Solveit combines three message types in one workspace: code execution, markdown notes, and AI prompts. Users build solutions incrementally—writing a few lines, understanding them, then continuing—rather than generating large code blocks.

The AI sees the full dialog context (code, outputs, notes, prompts) when responding -- but only those ABOVE the current message. Users can edit any message at any time, including AI responses—the dialog is a living document, not an append-only log.

The dialog is a running ipykernel instance. A "dialog" is like a "Jupyter notebook", and uses a compatible ipynb file format, but provides a superset of functionality (in particular, "prompt messages"). A "message" is like a "Jupyter cell", with additional attributes stored as ipynb cell metadata. Most standard jupyter functionality is supported (including cell

@alg747
alg747 / polya.md
Created October 22, 2025 18:45 — forked from jph00/polya.md
Summary of Polya's "How To Solve It With Code"

A guide to George Polya's "How to Solve It"

Introduction

George Polya (1887-1985) was a Hungarian mathematician and educator who revolutionized our understanding of problem-solving and teaching. While he made significant contributions to mathematics, his most enduring legacy is his insights into how people learn and solve problems. His 1945 book "How to Solve It" has influenced educators across numerous fields, extending far beyond mathematics.

Polya's Teaching Philosophy

Polya's approach centered on three key principles. First, he championed active learning, believing students learn best by discovering solutions themselves rather than being told answers. Second, he emphasized heuristic thinking - the art of guided discovery and learning from experience, viewing problem-solving as a skill that can be developed through practice. Third, he developed sophisticated questionin

@alg747
alg747 / tr_wallet_test.md
Created December 15, 2022 20:29 — forked from notmandatory/tr_wallet_test.md
Creating a regtest taproot descriptor wallet with bitcoind

This gist demonstrates how to create a bitcoind wallet that is based on pay to taproot (P2TR) descriptors.

Tools used:

  • docker with image bitcoindevkit/bitcoind:v22.0rc2
  • bitcoin dev kit cli, bdk-cli

About bech32 vs bech32m addresses

Steps:

  1. Create aliases to work with bitcoind docker image
@alg747
alg747 / nigiri_bdk_cli.md
Last active July 2, 2023 10:16
nigiri-bdk-cli-setup

Local BDK-CLI Testing with Nigiri

To manually test bdk-cli in regtest mode with locally installed bitcoind and electrs daemons you will need to install them yourself.

  1. install nigiri: https://github.com/vulpemventures/nigiri
curl https://getnigiri.vulpem.com | bash