Experience Implementing a Performant Category-Theory Library in Coq (2014) [pdf]

2022-02-05

Joe Rogan: Podcast star apologises over past use of racist language

2022-02-05

Pixel-perfect integer-ratio scaling with no blur

2022-02-05

Ask HN: Is mental illness an ad-targeting category?

2022-02-04

CTO of Sysdig discusses the creation of Sysdig and the future of open source

2022-02-04

The “Pi Is Rational” Page:)

2022-02-04

Facebook Is Breaking Apps in Production While Running Ads for Them

2022-02-04

Analysis: U.S. IPO slowdown slams door on tech unicorns looking to cash out

2022-02-03

Chase.com has removed the ability to verify a new device/browser using email

2022-02-02

Anklang – digital audio synthesis app for live creation and composition of music

2022-02-01