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

patch notes / updates?

Could we get patch notes or a post here when there's an update to the game so we know what's new? looks like a few things have been added since I played the other day

16h

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

Real time communication at scale with Elixir at Discord

https://elixir-lang.org/blog/2020/10/08/real-time-communication-at-scale-with-elixir-at-discord/ https://discord.com/blog/how-discord-scaled-elixir-to-5-000-000-concurrent-users im very fond of discords engineering blogs in general, they have a lot talking about elixir

8d