Type Theory and Functional Programming (1999) [pdf](www.cs.cornell.edu)

62 points

Category Theory Illustrated – Natural Transformations(abuseofnotation.github.io)

27 points

Our efforts, in part, define us(weakty.com)

9 points

CDC File Transfer(github.com)

220 points

High-resolution efficient image generation from WiFi Mapping(arxiv.org)

49 points

Sora 2(openai.com)

746 points

Defer: Resource cleanup in C with GCCs magic(oshub.org)

24 points

Intelligent Kubernetes Load Balancing at Databricks(www.databricks.com)

56 points

The Prehistory of Computing, Part II(www.oranlooney.com)

20 points

Imgur pulls out of UK as data watchdog threatens fine(www.express.co.uk)

461 points

Search for something

Powered by Algolia

Or browse recents submissions

Or active discussions