Viewing profile — sjdv1982

This week it's 10 years ago that Seamless was created. At first, a hobby project. Then, shift in focus. Then, apply to day job. Rabbit holes. More rabbit holes. My lab made a publi…

I played that game!! Although I was 10 years old and barely knew any English. After some playing, I always got a "go home" note on my windshield, I never found out why.

I was dragging to rotate it before I realized that it was 2D... Are there really two principal components or is that primarily your choice of visualization?

At some point, OpenAI is going to cheat and hardcode a pelican on a bicycle into the model. 3D modelling has Suzanne and the teapot; LLMs will have the pelican.

I don't know. Somewhere in the eighties, people started to complain that no one could understand all the assembly anymore.

Hey HN, Sjoerd de Vries here. I have worked on Seamless for nearly 10 years now. It has been used in my lab, but I was always around for troubleshooting. This is the first time tha…

What if kontext runs under the same user as Claude? Could it in principle inspect the kontext process and extract the key from memory?

Could you apply this to speed up cherrypy?

How does your reply relate to my comment?

I was initially very excited about this, but looking at the code: https://github.com/yamafaktory/formal/blob/4f95787ceeabb0f09... To extract properties to verify... you call Claude…

No, more like letting an agent interact safely with an HPC frontend. No cloud, no Windows

I wanted to ask almost this question, then saw that it is on #1 right now. My use case is ssh. I would like to stick my private key into a local Docker container, have a ssh-identi…

...and then your AI deleted the repo? It gives a 404

I am sorry, I am not a real computer scientist and I find it difficult to find the right term. With "sufficiently expressive", I mean things like dependent types and refinement typ…

Zugzwang!

I am actually a research engineer paid by the French government. They take digital sovereignty pretty serious over here, which is sometimes good, sometimes less so. Definitely the …

This is the first time I hear of property-based testing, and I am intrigued. What is the difference between this and a sufficiently expressive structural type system?

It is all about API contracts, right? After the first run, you have a script and an API: the agent discovery mechanism is a detail. If the script is small enough, and the task cust…

Yes, exactly. There are some tools that are used over and over again. But apart from that, dirt ramps are the norm in scientific computing. Once it gets you over the 2 meter wall o…

I would like the AI to attach a confidence interval that the answer is "Yes" rather than "No". AlphaFold does this very well, but LLMs... not so much.

Natural language is ambiguous. If both input and output are in a formal language, then determinism is great. Otherwise, I would prefer confidence intervals.

The README is phenomenal, it really tells the story of how the game was built.

Ok, I will bite and ask the naive question: why not use AI to fix the bugs?

Interesting to hear the industrial SWE perspective, it is very different. I am a scientific research engineer (bioinformatics), and here no one cares much about covering all the po…

Haha this is great! What about adding a Make rule to auto-generate the one-liner install from the binary?