Colimit (@colimit_io) 's Twitter Profile
Colimit

@colimit_io

Autofix Failed Builds: AI-powered Root Cause Analysis for CI.

ID: 1648327858215845893

linkhttps://colimit.io calendar_today18-04-2023 14:10:07

23 Tweet

85 Followers

10 Following

Functor Fact (@functorfact) 's Twitter Profile Photo
Functor Fact
@functorfact

2 years ago

Co-limits in category theory are also called direct limits, inductive limits, and right roots.

Larry Diehl (@larrytheliquid) 's Twitter Profile Photo
Larry Diehl
@larrytheliquid

a year ago

The increased adoption of agentic (or dynamic AI-based decision making) software has opened new challenges for verification. Most folks are relying on integration-test-style "evals" to ensure that agents do what you expect, but a handful of us are looking at more rigorously

Colimit (@colimit_io) 's Twitter Profile Photo
Colimit
@colimit_io

15 days ago

Formal Spec-Driven Development