Submissions from mazzo.li

		Reliably Allocating Pages in Linux (mazzo.li)
		5 points by yagizdegirmenci on Nov 24, 2021 \| past
		Backing up WhatsApp data through the multi-device web client (mazzo.li)
		3 points by rostayob on Oct 28, 2021 \| past
		Remote, encrypted ZFS storage server with NixOS (mazzo.li)
		5 points by rostayob on Oct 12, 2021 \| past \| 1 comment
		Speeding up atan2f (mazzo.li)
		245 points by rostayob on Aug 17, 2021 \| past \| 103 comments
		Beating the L1 cache with value speculation (mazzo.li)
		157 points by rostayob on July 23, 2021 \| past \| 53 comments
		When static makes your C code 10 times faster (mazzo.li)
		201 points by rostayob on July 4, 2021 \| past \| 108 comments
		Using GDPR to obtain one’s data as JSON (mazzo.li)
		182 points by rostayob on May 10, 2021 \| past \| 133 comments
		Quick and Dirty Backpropagation in Haskell (mazzo.li)
		3 points by rostayob on May 3, 2021 \| past
		Threading Responsibly (mazzo.li)
		2 points by lmm on July 12, 2017 \| past
		Agda by Example: Sorting (mazzo.li)
		35 points by lelf on April 16, 2014 \| past \| 14 comments
		Drawing graphs with Haskell (mazzo.li)
		6 points by sumapln on Aug 15, 2013 \| past
		Agda by Example: Sorting (mazzo.li)
		2 points by lelf on Aug 11, 2013 \| past
		Agda by Example: λ-calculus (mazzo.li)
		71 points by ColinWright on Aug 11, 2013 \| past \| 7 comments
		Proving sort correct in Agda (mazzo.li)
		1 point by rostayob on April 2, 2013 \| past

HN For You