On Tuesday (March 12, 2024), Cognition Labs announced Devin, their AI software engineer.

We study context-bounded verification of liveness properties of multi-threaded, shared-memory programs, where each thread can spawn additional threads.

They’re Not Just There to Tell You What to Do

We study context-bounded verification of liveness properties of multi-threaded, shared-memory programs, where each thread can spawn additional threads.

Devin AI: To Be Feared or Embraced?

We study context-bounded verification of liveness properties of multi-threaded, shared-memory programs, where each thread can spawn additional threads.

Embracing Growth and Opportunity

We study context-bounded verification of liveness properties of multi-threaded, shared-memory programs, where each thread can spawn additional threads.

Tip the scales of consumption vs creation in your favour…

We study context-bounded verification of liveness properties of multi-threaded, shared-memory programs, where each thread can spawn additional threads.

Looks can be deceiving — they’re actually so capable

We study context-bounded verification of liveness properties of multi-threaded, shared-memory programs, where each thread can spawn additional threads.

By losing control, I mean judging less and observing more

We study context-bounded verification of liveness properties of multi-threaded, shared-memory programs, where each thread can spawn additional threads.

ACTION is everything.

Showing up doesn’t mean you are present

As we step into the 1970s, the story of Artificial Intelligence enters a phase characterized by profound self-examination, assessment and…

Integrate the market via API – based on real Strategy

No one said freelancing would be a walk in the park, but seriously?!

Don't let a bad job description keep you from applying to what might be a great job. Because in many cases, that description bears NO resemblance to the job.

Accessing the forbidden parts of the World Wide Web, only to realize the depravity of humanity