Viewing profile — jason_wo

As far as I know the LMAX disrupter is a kind of queue/buffer to send data from one thread/task to another. Typically, some of the tasks run on different cores. The LMAX disruptor …

How do you insert into DuckDB fast and what settings ("Indices") do you use? As far as I understand DuckDB builds up statistics for each "block" of data (number of different values…

Linear Temporal Logic looks very interesting to specify invariant of a system and monitor them at runtime. I guess this is called monitoring. So you can check if your system behave…

What is a simple and secure tool to manage secrets and credentials for a small startup? How do you do it? This is not a core of the business. It should be easy to use and configure…

This sounds very cool! How does it work technically? I have checked your website but I am still not sure. How do I "buy" the instances using usage.ai instead of AWS? Do you need ad…

Nice! Do I understand this correctly? You use aws-vault( https://github.com/99designs/aws-vault ) and configure it with IAM and MFA with YubiKeys. You configure e.g. the profile jo…

I'am honest, similar things could happen on my laptop for my personal stuff. I have some AWS keys in some files that are used by terraform/packer. A hacker could easily get them. S…

> Long story short if I had money that would be relevant in this context I would invest really hard into Tenstorrent. I would happily accept a bet (e.g. $100 bucks or a nice bottle…

Very interesting. Thanks for the link to the paper. Isn't the provided paper "just" about the scheduler? Eventually, I would have to output some data, e.g. on the CAN bus with sock…

Yes you are correct. I am currently having a project, making Linux "as real-time as possible": locking memory with mlockall, isolating cores, preempt kernel patch, .... It is still…

I just found this presentation with technical details: https://group.mercedes-benz.com/dokumente/investoren/praesen... I guess it is not a typical OS, but more like a collection of…

The Tableau algorithm is patented. In particular, the algorithm that chooses the type of the chart depending on the properties of the data. It was developed under the name Polaris …