ProofWiki: Online compendium of mathematical proofs(proofwiki.org)

130 points by Tomte 2 years ago | 28 comments

Stuxnet(en.wikipedia.org)

9 points by thunderbong 2 years ago | 0 comments

Scunthorpe Problem(en.wikipedia.org)

34 points by KoftaBob 3 years ago | 38 comments

Safe SIMD in Rust, even on the inside(shnatsel.github.io)

54 points by ravenical 16 days ago | 3 comments

Blog post by Sergey Davidoff on making SIMD abstractions in Rust safe internally, avoiding unsafe raw intrinsics.

List of Unix binaries that can be used to bypass local security restrictions(gtfobins.github.io)

150 points by janisz 3 years ago | 61 comments

Yggdrasil is an experimental compact routing scheme that is fully decentralised(yggdrasil-network.github.io)

166 points by doener 1 year ago | 46 comments