circle arrow icon
A tool to verify estimates, II: a flexible proof assistant
By: jjgreen 4 days ago
Garbage collection of object storage at scale
By: ko_pivot 4 days ago
Binary Formats Are Better Than JSON in Browsers
By: adamkf 20 hours ago
OpenTelemetry protocol with Apache Arrow
By: tanelpoder 1 day ago
MCP: Build Rich-Context AI Apps with Anthropic
By: whizusukite 1 hour ago
Expressive Design: Google's UX Research
By: gyomu 11 hours ago
Odin: A programming language made for me
By: gingerBill 1 day ago
Insurers launch cover for losses caused by AI chatbot errors
By: jmacd 3 days ago
Membrane: Media Framework for Elixir
By: lawik 4 days ago
Mozilla Firefox – Official GitHub repo
By: thefilmore 1 day ago
− 7 +