Hibana-QUIC: QUIC in Rust using choreographic programming, no_std and no_alloc | Dark Hacker News