mhueschen Joined on May 16, 2020

14 public recordings by mhueschen

port: demo_port_localhost_big* 00:40

by mhueschen

port: cat<->proxy demo 00:53

by mhueschen

Plunder: Port: port-http-revproxy: HTTP echo server in sire 01:04

by mhueschen

Plunder: Port: demo_portcat 00:29

by mhueschen

Plunder: Port: ali & bob roundtrip equality checks 00:45

by mhueschen

Plunder exchange of video files (~10MB) over Port 00:49

by mhueschen

rlp fosdem 2022 demo v0 04:24

by mhueschen

demo `rep_lang_playground` on Raspberry Pi 13:30

by mhueschen

poly-rs: demo evaluation of lists & products and eval-from-file 00:55

by mhueschen

poly-rs: demo of `eval` 01:00

by mhueschen

poly-rs: demo of lists & product types 01:11

by mhueschen

demo multis in `poly-rs` 01:56

by mhueschen

demoing `poly-rs` fixed type inference 00:19

by mhueschen

first demo of poly-rs 01:24

by mhueschen