Verifpal Dramatically Speeds Up Formal Modeling for Pandemic-Tracing Protocol
(blog.symbolic.software)
April 2020 Archive
6031.
6032.
America Is Committing Economic Suicide
(eand.co)
6033.
6034.
A Tiger at Bronx Zoo Tests Positive for Covid-19
(newsroom.wcs.org)
6035.
6037.
6038.
Indie game makers open up about the money they make (2019)
(theverge.com)
6040.
6041.
Building a scalable video conferencing solution in a single day, using Jitsi
(blog.scaleway.com)
6042.
Common JSON Patterns in Haskell, Rust and TypeScript
(codetalk.io)
6043.
Sidekick is a high-performance sidecar load-balancer
(github.com)
6045.
Hemingway Was Once Quarantined with His Wife and Mistress
(townandcountrymag.com)
6046.
Critical Reasoning for Beginners [YouTube]
(youtube.com)
6047.
6048.
Simplifying Complexity Plagued Architectures
(medium.com)
6049.
Apache Cassandra vs. Apache Druid
(imply.io)
6050.
Video has ____ views [video]
(m.youtube.com)
6051.
Chinese Apps Handled Covid-19
(dangrover.com)
6052.
Firefox stable releases now available on Flathub
(flathub.org)
6053.
6054.
6055.
6056.
Interactive visualization of all the satellites orbiting Earth
(celestrak.com)
6058.
Fauci warned that coronavirus could likely become seasonal
(businessinsider.com)
6059.
LastPass Slows Down the Browser
(chodounsky.com)
6060.
Node.js Best Practices
(blog.graphqleditor.com)