Statically compiling DuckDB can improve security, improve startup time, and support offline environments.| Colin Breck
Whenever invariants can be expressed as proofs rather than as tests that may or may not be exhaustive, the mathematical guarantees of model checkers will provide stronger assurances the code is correct.| Colin Breck
GWP-ASan finds rare memory errors in C and C++ called from Rust.| Colin Breck
An exercise in exploring, identifying, expressing, and sharing our core values.| Colin Breck
This article will look at tools for verifying unsafe Rust code, including unsafe code called from libraries written in C or C++.| Colin Breck
There are significant changes happening in distributed systems.| Colin Breck
Multiply your best engineers by unburdening them from administrative work.| Colin Breck
In engineering, fixating on a hypothesis, and working to confirm or falsify it, can lead us astray.| Colin Breck
Future software should be memory safe, but secure code is about a lot more than memory safety.| Colin Breck
The cloud will become increasingly less important for transactional and analytical data processing and storage.| Colin Breck
“What is your interview process?” is a question I have answered many times. I have conducted technical interviews for over twenty years and I am proud of the process I have refined in the past decade. It has been extremely effective for hiring high-quality software engineers that are a fit| Colin Breck
The security of the platform is critically dependent on the quality of the WebAssembly run-time that implements the sandbox.| Colin Breck
In a previous article, I shared my excitement for WebAssembly in the context of the Internet of Things (IoT). I am particularly excited about the potential for sharing code, flexibly and securely, between the cloud and the edge. In this article, I provide a motivating example.| Colin Breck
As it continues to evolve, WebAssembly has the potential to be the platform executing an enormous amount of IoT computation.| Colin Breck
With millions of points of control and a mix of cloud and edge computing, the renewable energy grid is a massive, distributed computing platform with unique challenges.| Colin Breck
I can distill my management philosophy to three accessible books, all of which have an accompanying video lecture.| Colin Breck
Maybe the industrial world had it right all along.| Colin Breck
Just because a device is connected to the Internet does not make it IoT.| Colin Breck
If you will allow me to continue my self-indulgent podiatric joke: startup probes allow you to get your feet underneath you.| Colin Breck
