Paul Oliver puzza007

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

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

Direct links to free Springer books (pdf versions)

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

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:

	$ 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

	#[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;

	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>

	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

	-----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