sjdv1982

6 ms·

1.
Show HN: Seamless: content-addressed computation and caching(github.com)
2 points by sjdv1982 3mo ago|0 comments
2.
by sjdv1982 4mo ago
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.
3.
by sjdv1982 4mo ago
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?
4.
by sjdv1982 5mo ago
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.
5.
by sjdv1982 5mo ago
I don't know. Somewhere in the eighties, people started to complain that no one could understand all the assembly anymore.
6.
Show HN: Seamless – Content-addressed computation caching for Python and bash(github.com)
1 points by sjdv1982 5mo ago|0 comments
7.
by sjdv1982 5mo ago
What if kontext runs under the same user as Claude? Could it in principle inspect the kontext process and extract the key from memory?
8.
by sjdv1982 5mo ago
Could you apply this to speed up cherrypy?
9.
by sjdv1982 5mo ago
How does your reply relate to my comment?
10.
by sjdv1982 5mo ago
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??
11.
by sjdv1982 5mo ago
No, more like letting an agent interact safely with an HPC frontend. No cloud, no Windows
12.
by sjdv1982 5mo ago
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-identical cli that reverse proxies into the container, and have so
13.
by sjdv1982 5mo ago
...and then your AI deleted the repo? It gives a 404
14.
by sjdv1982 5mo ago
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 types, that can express the constraint on a unit vec
15.
by sjdv1982 5mo ago
Zugzwang!
16.
by sjdv1982 5mo ago
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 right call on Windows, though. Even my parents (in their mid
17.
by sjdv1982 5mo ago
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?
18.
by sjdv1982 5mo ago
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 custom enough, you could simply add the script to the context an
19.
by sjdv1982 5mo ago
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 of publication, it's disposable.
20.
by sjdv1982 5mo ago
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.
21.
by sjdv1982 5mo ago
Natural language is ambiguous. If both input and output are in a formal language, then determinism is great. Otherwise, I would prefer confidence intervals.
22.
by sjdv1982 5mo ago
The README is phenomenal, it really tells the story of how the game was built.
23.
by sjdv1982 5mo ago
Ok, I will bite and ask the naive question: why not use AI to fix the bugs?
24.
by sjdv1982 5mo ago
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 possible code paths. What we care about is if the code compute
25.
by sjdv1982 5mo ago
Haha this is great! What about adding a Make rule to auto-generate the one-liner install from the binary?
26.
by sjdv1982 5mo ago
If I understand correctly, this is like the WW2 enigma machines: a single black box to both encode and decode?
27.
by sjdv1982 5mo ago
My fear is that this is going to lead to an optimal orchestration language . For example, that Claude switches to Sumerian for all communication between agents. One thing is if they try to silo like that, but my real fear is that it may ac
28.
by sjdv1982 5mo ago
I am a structural bioinformatics engineer, so my ignorance (adjacent fields not quite carrying over) comes from two different directions, so to say. That being said: I feel that there must be some kind of benchmark for this. If no such benc
29.
by sjdv1982 5mo ago
Nice map! The First Age / Second Age boundary is not unlike the K/T boundary... Compared to that, Second Age / Third Age isn't that different (places like Dunland and Tharbad were forested, according to Treebeard). So if