kaeluka

10 ms·

1.
by kaeluka 13d ago
Maps grounding is an amazing interface for Google Maps - „I’m at x, need to be at y by 5pm. Find me a route that’s walkable and has a good vegan restaurant and a toy store“
2.
by kaeluka 19d ago
I’ve been toying with using an llm to compile to smtlib and solving with z3. It works quite well, although I’m not quite sure how practical (large programs, reliably good runtime) I can make it.
3.
by kaeluka 26d ago
I thought the same then. But the funny thing is that today, it has become a lot easier to recognize the frontier models as not human. All the load bearing and not x but y, etc… weird
4.
by kaeluka 1mo ago
i came back to say: i've given this another chance and while my point still stands: it's actually making up for that by being a good thinking partner. the latest project i've been working on this has been really good. So I ma
5.
by kaeluka 1mo ago
It's a smart model, but it has huge troubles staying on task... it constantly builds things I didn't ask it to. Might have its uses in a tightly controlled harness, but for coding I'm switching back to a mix of K3/GLM-5.
6.
by kaeluka 1mo ago
Interesting! GLM 5.2 is slower for sure (although they offer a fast version), and it's more expensive. But in my experience, it's universally better than Deepseek V4-flash-0731. Don't get me wrong, the new Flash version is am
7.
by kaeluka 3mo ago
great, i'll try this. something like this has on my list and i'm super curious :)
8.
by kaeluka 4mo ago
They're trying to make the product sticky while they're still subsidizing the subscription price. The plan is to raise prices when you're addicted.
9.
by kaeluka 4mo ago
it's sort of good at thinking, writing specs, etc.. Also debugging. But as a coder: I see no advantage to opus 4.6 and I preferred sonnet most times already over opus 4.6.
10.
by kaeluka 8y ago
Thanks for the tip, started out really interesting!
11.
by kaeluka 8y ago
That blog entry is well worth reading. It put a smile on my face! :-)
12.
by kaeluka 8y ago
No idea what rights you'd have in the US, I'm not a citizen :-)
13.
by kaeluka 8y ago
Sure, I thought that was obvious. In Chrome: right-click, inspect. Edit page source. Done. Less than two minutes, and you don't need to have a tech background to do it. Never trust screenshots.
14.
by kaeluka 8y ago
Weird coincidence, that's just what NASA just tweeted: https://imgur.com/a/cHES1
15.
by kaeluka 9y ago
I'll never forget the day my mother called to tell me that their cat had died in an accident, suffering. I was (technically) grown up then, and it was many years ago, but it still hurts. Writing this hurts :(
16.
by kaeluka 9y ago
If it wasn't for the cats we had when I was a kid, I'd be a different person today :')
17.
by kaeluka 9y ago
It can run using a number of solvers, you can find a list here: http://www.minizinc.org/software.html
18.
by kaeluka 9y ago
Stiftskeller St. Peter is much older, according to this list: before 803.
19.
by kaeluka 9y ago
The feature is called "intrinsics", this claims to be a list: https://gist.github.com/apangin/7a9b7062a4bd0cd41fcc
20.
by kaeluka 9y ago
What's the mathematical formula that describes a text box GUI item? Languages that look like math might be great for... mathematical problems. But programs are much more than math.
21.
by kaeluka 9y ago
I was confused -- how can a library add a keyword like "coroutine" to C. It didn't look like macros were powerful enough to do that (I expected to at least some context having to be passed to the worker, or so). It turns out
22.
by kaeluka 9y ago
I don't follow your examples. How is workout-equipment:gym like uber:taxi-firm? > non-progressive I'm not sure what you mean by progress, exactly, but policy simplicity is progress IMHO.
23.
by kaeluka 9y ago
I'm trying racket.
24.
by kaeluka 9y ago
> In an ideal world, what you want is more like copy-on-write. Share the code until one of the clients of that code needs a change that the others do not, then copy it. Good point. The problem with that is, of course, that you may not be
25.
by kaeluka 9y ago
Code duplication can be seen as a "defensive copy". If you duplicate code, the original version can be changed without breaking the copies. Disclaimer: I'm not making a value statement here :-)
26.
by kaeluka 9y ago
> From a european perspective it's so strange. Agreed. To me, it seems that encryption should be uncontroversially accepted from the populations's standpoint, while gun policies have valid arguments for and against. Basically:
27.
by kaeluka 9y ago
The daughter doesn't support it
28.
by kaeluka 9y ago
What beer was it? :-)
29.
by kaeluka 9y ago
How would you challenge other five eyes nations spying on you and sharing the conclusions with your government? I'm not trying to point out you're wrong, it's a serious question.
30.
by kaeluka 9y ago
My take: "a statically typed language can GUARANTEE the same things a dynamic language can GUARANTEE, but not the other way around. A dynamically typed language can PERMIT the same things a static language can PERMIT, but not the other

More ›