The Fundamental Theorem of Algebra in ACL2
2021-07-28
Amazon EC2-Classic Is Retiring
2021-07-28
Ben Nadel: Feature Flags Shift the Balance of Power Away from Designers
2021-07-28
The ₿ Word. Cathie Wood, Jack Dorsey, & Elon Musk
2021-07-28
Tell-Tale Tail Latencies: pitfalls and perils in database benchmarking
2021-07-28
Show HN: Axiom Log Management and Analytics
2021-07-28
Google Offices to Mandate Vaccines
2021-07-28
Moving away from Google services, 8 years in
2021-07-28
Faster Population Counts Using AVX2 Instructions [pdf]
2021-07-28
Chronofold: A data structure for versioned text (2020)
2021-07-28