jmj

7 ms·

1.
OpenHands Index(index.openhands.dev)
2 points by jmj 3mo ago|0 comments
2.
by jmj 7mo ago
cvoss, ezwoodland, tromp and v64 made a good point. As v64 points I was thinking of a Combinatory Completeness not Turing Completeness. Dropping that requirement as cvoss, ezwoodland, tromp point you can simulate deletion (that's what
3.
by jmj 7mo ago
S combinator always duplicates its last parameter, never deletes it. That's why K is needed for universality. This can be proved by induction. Or you can cite Craig's theorem (the less known one) for that. See [1] Honestly, I don&
4.
by jmj 9mo ago
> The decline in allocative efficiency should be more of a main focus — we need to throw more of our intellectual capital at understanding how to increase competitiveness and the market potential for innovative firms and technologies, in
5.
by jmj 11mo ago
OpenHands does that, I wrote about it if you search my submissions.
6.
We are all becoming managers(juan.com.uy)
1 points by jmj 11mo ago|1 comments
7.
by jmj 1y ago
I love programming as theory building. One key thing: if the program is built for a business then the theory must revolve around the business. For example, it should include things as "easiness to hire devs for this code base”, "s
8.
by jmj 1y ago
Seconding Kimi K2
9.
by jmj 1y ago
OpenHands let's you set any LLM you want. https://github.com/All-Hands-AI/OpenHands
10.
by jmj 1y ago
well said
11.
by jmj 1y ago
As is well known, AI is whatever hasn't been done yet.
12.
by jmj 1y ago
Invariant is the property that is preserved on every iteration. Proof of termination in imperative languages can be done by proving that a natural number decreases with every step. Dafny implements this at the compiler level (and a curly br
13.
Thoughts on Flash (2010)(web.archive.org)
1 points by jmj 1y ago|1 comments
14.
by jmj 1y ago
I'm using agents daily and programming is fun again. Adding a small feature in the same time it takes to write the spec is a game changer.
15.
by jmj 2y ago
Please, me too!
16.
by jmj 2y ago
I’m part of a team that is currently #1 at the SWEBench-lite benchmark. Interesting times!
17.
by jmj 3y ago
I am working on that for my PhD!
18.
by jmj 3y ago
I’m working on old fashioned A.I. for my PhD. I wrote Doug a few times, he was very kind and offered very good advice. I was hoping to work with him one day. I’ll miss you Doug.
19.
by jmj 18y ago
Selling also lets you diversify. That is highly relevant to anyone's peace of mind.