Skip to content

Instantly share code, notes, and snippets.

View puzza007's full-sized avatar
πŸ’­
πŸ’…

Paul Oliver puzza007

πŸ’­
πŸ’…
View GitHub Profile
@puzza007
puzza007 / proper_viz_gist.md
Created March 22, 2026 04:50
proper_viz: Gantt + Sequence diagrams from PropEr statem tests

proper_viz: Gantt + Sequence diagrams from PropEr statem tests

Output from proper_viz_gantt:render/2 and proper_viz_mermaid:render/2 applied to a katipo streaming body statem test. Each Upload/Get handle gets its own section (Gantt) or column (Sequence).

Gantt timeline

Each section is a handle. Time flows left-to-right. Shows concurrent uploads and gets, an await_uploading timeout on Upload-5, and the recovery (finish after timeout).

gantt
@puzza007
puzza007 / mermaid_gist.md
Last active March 22, 2026 04:29
proper_viz: Mermaid sequence diagram from PropEr statem test

proper_viz: Mermaid sequence diagram from PropEr statem test

Example output from proper_viz_mermaid:render/2 applied to a katipo streaming body statem test run. Each Upload/Get gets its own numbered column via the actor mapping function. Shows interleaved streaming uploads, non-streaming gets, an await_uploading timeout, and send-after-finish.

sequenceDiagram
    participant Test
    participant Upload-1
    participant Get-2
    participant Get-3
@puzza007
puzza007 / gist:0187dbd0a554e69c57a6434f282233eb
Created October 2, 2019 00:55
curl --parallel -v --max-redirs 2 -L --http3 infinite loop
This file has been truncated, but you can view the full file.
$ curl --parallel -v --max-redirs 2 -L --http3 https://cloudflare-quic.com/b/redirect/6 https://cloudflare-quic.com/b/redirect/6 https://cloudflare-quic.com/b/redirect/6 https://cloudflare-quic.com/b/redirect/6 https://cloudflare-quic.com/b/redirect/6 https://cloudflare-quic.com/b/redirect/6 https://cloudflare-quic.com/b/redirect/6 https://cloudflare-quic.com/b/redirect/6 https://cloudflare-quic.com/b/redirect/6 https://cloudflare-quic.com/b/redirect/6 https://cloudflare-quic.com/b/redirect/6 https://cloudflare-quic.com/b/redirect/6 https://cloudflare-quic.com/b/redirect/6 https://cloudflare-quic.com/b/redirect/6
* Found bundle for host cloudflare-quic.com: 0x7fc11770aa50 [serially]
* Server doesn't support multiplex (yet)
* Connection #0 is still name resolving, can't reuse
* Found bundle for host cloudflare-quic.com: 0x7fc11770aa50 [serially]
* Server doesn't support multiplex (yet)
* Connection #0 is still name resolving, can't reuse
* Connection #1 is still name resolving, can't reuse
* Found bundle for
@puzza007
puzza007 / main.rs
Created July 22, 2019 01:11 — forked from sargun/main.rs
#[macro_use]
extern crate slog;
extern crate sloggers;
use sloggers::Build;
use sloggers::terminal::{Destination, TerminalLoggerBuilder};
use slog::Logger;
use std::str::FromStr;
#[macro_use]
extern crate chan;
extern crate nix;
@puzza007
puzza007 / springer-free-maths-books.md
Created December 30, 2015 02:24 — forked from bishboria/springer-free-maths-books.md
Springer have made a bunch of books available for free, here are the direct links
puzza@MacBook-Pro ~/src/katipo (master*) $ lldb ./priv/katipo --core /cores/core.35417
(lldb) target create "./priv/katipo" --core "/cores/core.35417"
warning: (x86_64) /cores/core.35417 load command 83 LC_SEGMENT_64 has a fileoff + filesize (0x20198000) that extends beyond the end of the file (0x20197000), the segment will be truncated to match
warning: (x86_64) /cores/core.35417 load command 84 LC_SEGMENT_64 has a fileoff (0x20198000) that extends beyond the end of the file (0x20197000), ignoring this section
Core file '/cores/core.35417' (x86_64) was loaded.
Process 0 stopped
* thread #1: tid = 0x0000, 0x00007fff8af1b286 libsystem_kernel.dylib`__pthread_kill + 10, stop reason = signal SIGSTOP
frame #0: 0x00007fff8af1b286 libsystem_kernel.dylib`__pthread_kill + 10
libsystem_kernel.dylib`__pthread_kill:
-> 0x7fff8af1b286 <+10>: jae 0x7fff8af1b290 ; <+20>
@puzza007
puzza007 / Makefile
Last active August 29, 2015 14:23
hiperfifo.c Makefile
TARGET = hiperfifo
OBJS= hiperfifo.o
CC = gcc
CFLAGS = -c -g
# This should point to a directory that holds libcurl, if it isn't
# in the system's standard lib dir
redis device-cache-stage.ygmmk0keys network*
1) "network:63325842-b606-442c-8537-778b15cc86f9"
2) "network:b5c26a1a-f3f2-45ae-8558-7a6773527cbd"
3) "network:46850009-cef7-4703-8877-29a2577f6d1d"
4) "network:351e7e43-6648-416b-b982-e59ccd968ba1"
5) "network:afe5ef70-4765-48dd-8ffa-bca98ec8a087"
6) "network:37e30236-3608-4182-b4b5-1b0e8f599b3b"
7) "network:cc67395a-3cc5-4082-9f8d-eedee3b91b4a"
8) "network:4528d91c-e9d6-437c-857f-e9760088fb25"
redis device-cache-stage.ygmmk0
@puzza007
puzza007 / gist:a658ba1b90cecc8ca280
Created May 11, 2015 10:05
A message to Benedict Arnold
-----BEGIN PGP MESSAGE-----
Version: Keybase OpenPGP v2.0.8
Comment: https://keybase.io/crypto
wcBMA1CKWgaC/3qoAQf/b0X45MfjyO0ilvfYpMU86ygicPRDT071M5KrRHw2tBoy
AJViGWPVXdb/NSoc1U/veMgV+VkMKn0iTASAJoFk3RITWM4becJOqi/XjN2pToq9
PBfymlhP2KlRQ6WK5dDILB3+dINSBCr4PjUY2tVgVsXyCaKbJ1+xYD1kSJKwKU0x
SOYF6X1wkHgk1yeTpekFuD0MqUicDfmQUUSo/FMO57xuZSOsVP95hSoOvYL20O+d
1nfHywMyjH4xYG9wWGJFcJR/cEQGBiwAq/+NN2rMq9bW02PnlsSCt9SvVCwnAhj3
f5CfhIxd1dA+B2Vu/O8ovTMhqH4Xh/9nFxd6J/yI9MHBTAOSUAaeiva/TwEP/3s4

Keybase proof

I hereby claim:

  • I am puzza007 on github.
  • I am puz (https://keybase.io/puz) on keybase.
  • I have a public key whose fingerprint is 708A 0D1E 0024 1407 5F80 91F4 B3A7 C000 6790 E7EA

To claim this, I am signing this object: