David Stainton

raspbian doesn't sign packages.

unfortunately i did not keep a copy of the error message but i think it is the group sig not ratchet... i think it said: DELIVERY SIGNATURE INVALID

Here's a minimal TLA+ spec that demonstrates this bug, at least on my laptop it does: ``` ---------------------------- MODULE trafficlight ---------------------------- EXTENDS Integers, TLC VARIABLES red, yellow, green vars ==...

Space boundaries are obviously safer than time boundaries for avoiding a DoS. Therefore this ticket is very low priority.

it turns out that we need to do this correctly to fix a bug with analyzing pcap files. it other words... a pcap file could represent a tcp stream with...

SEDA is totally different from other event driven models. i recommend reading the SEDA paper.

it doesn't work on OSX ;-p ... but i think this can easily be fixed. We get the default BPF buffer length... and on OSX it is set to 4096...

We are using my new BSD BPF sniffer now... and it's been merged upstream into gopacket. It will most likely work on OSX... but we won't know until we try.

beware of how IP packet fragmentation will affect things... : http://man7.org/linux/man-pages/man7/packet.7.html ``` IP fragmentation causes packets from the same flow to have different flow hashes. The flag PACKET_FANOUT_FLAG_DEFRAG, if set,...

Let's evaluate how much work this feature addition will be so that we can properly prioritize this feature addition. It may well be the easiest path for honeybadger to approach...