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

Don't cut yourself out of a good job opportunity by saying "no" before you even start.

You could make something right now.

Salary negotiation is, for many people, the most gut-churning part of a job search. This post offers some ideas on how to approach it.

A few tips on how to start, or uplevel, your jobsearch by buildig out your network in a way that fits your needs and personality.