Incentives in Academic Research(msoos.org)

43 points by zero_k 22 days ago | 39 comments

A blog post on the SAT solving and cryptography blog 'Wonderings of a SAT geek' discussing how incentives shape behavior in academic research.

Packing a string of digits into an integer quickly(lemire.me)

88 points by mfiguiere 3 years ago | 15 comments

The AST Typing Problem(blog.ezyang.com)

66 points by smasher164 3 years ago | 26 comments

Computing Sharding with Einsum(blog.ezyang.com)

22 points by matt_d 9 months ago | 0 comments

Probability-generating functions(entropicthoughts.com)

187 points by todsacerdoti 2 years ago | 40 comments

Solving SAT via Positive Supercompilation(hirrolot.github.io)

138 points by Hirrolot 2 years ago | 29 comments