Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4(abhamra.com)55 points by todsacerdoti 10 months ago | 3 comments
Finding a bug in Dummit and Foote's Abstract Algebra(kallus.org)78 points by evakhoury 1 month ago | 34 comments
Using the most unhinged AVX-512 instruction to make fastest phrase search algo(gab-menezes.github.io)207 points by cmcollier 1 year ago | 54 comments
Sorting with Fibonacci Numbers and a Knuth Reward Check(orlp.net)5 points by g0xA52A2A 9 months ago | 0 comments