minus-squarearthur@lemmy.ziptoPrivacy@lemmy.ml•DHS Said They Searched Man Who Wiped GrapheneOS Phone for Child Abuse Material. They LiedlinkfedilinkEnglisharrow-up69arrow-down1·1 day agoThe idea itself is good… But his defense strategy is even better: they are denying that he even had the duress code configured. The accusation must be able to prove he had, and I think proving it will be very hard to do. linkfedilink
arthur@lemmy.zip to Programming@programming.devEnglish · 26 days agoKata: Topological "memory management", refined types validated at compile time and a syntactical barrier between pure and impure. (Looking for feedback)plus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkKata: Topological "memory management", refined types validated at compile time and a syntactical barrier between pure and impure. (Looking for feedback)plus-squaregithub.comarthur@lemmy.zip to Programming@programming.devEnglish · 26 days agomessage-square0linkfedilink
The idea itself is good… But his defense strategy is even better: they are denying that he even had the duress code configured. The accusation must be able to prove he had, and I think proving it will be very hard to do.