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

22 points

CDC File Transfer(github.com)

190 points

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

23 points

Sora 2(openai.com)

706 points

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

13 points

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

42 points

The gaslit asset class(blog.dshr.org)

112 points

NJ theme park puts animatronic dinosaurs on Facebook Marketplace(gizmodo.com)

69 points

Blockdiff: We built our own file format for VM disk snapshots(cognition.ai)

39 points

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

440 points

Search for something

Powered by Algolia

Or browse recents submissions

Or active discussions