Cloudflare: How we prevent conflicts in authoritative DNS configuration using formal verification

Cool little Racket shoutout https://blog.cloudflare.com/topaz-policy-engine-design/

11h

Truly Optimal Evaluation with Unordered Superpositions

https://gist.github.com/VictorTaelin/93c327e5b4e752b744d7798687977f8a

3d

Algorithm + Strategy Parallelism

https://www.microsoft.com/en-us/research/wp-content/uploads/1998/01/strategies.pdf

5d

Squeal - A deep embedding of SQL in Haskell

https://github.com/morphismtech/squeal

5d

Bluefin vs Effectful

https://youtu.be/_MgahTBF5ig

7d

Check this out!

https://upit.com/up/elixir

8d

Category Theory for Programmers - Bartosz Milewski

https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

8d