gabiteodoru

7 ms·

1.
by gabiteodoru 11mo ago
Do you know which method is this? Euler's by any chance? And do you have an idea how one would prove that it creates a magic square? It's actually one of my inspirations for writing this, the relationship between the code that doe
2.
by gabiteodoru 11mo ago
Oh nice solution, thanks for sharing!
3.
by gabiteodoru 11mo ago
Perhaps if we also trained them on natural language ASTs at the same time when asking the questions? :)
4.
by gabiteodoru 11mo ago
It did go back on itself 3 times, no? "Actually, let’s trace for x=3:" (it had just computed for x=3 the first time); then "Better to check actual q output:" -- did it actually run it in a q session, or just pretended? A
5.
by gabiteodoru 11mo ago
Author here. Majromax challenged me to test `i = 1 + i`, which broke my theoretical framework. While setting up that experiment, I realized I hadn't used chat templates in my original measurements (rookie mistake with an Instruct mo
6.
by gabiteodoru 11mo ago
Thanks so much for this challenge! I just ran the experiment with i = 1 + i and you're absolutely right - it breaks my theoretical framework (same semantic information, but much higher perplexity). While setting this up, I realized I
7.
by gabiteodoru 11mo ago
I agree with you, though in the q world people tend to take it to the extreme, like packing a whole function into a single line rather than a single screen. Here's a ticker plant standard script from KX themselves; I personally find th
8.
Don't Force Your LLM to Write Terse [Q/Kdb] Code: An Information Theory Argument(medium.com)
92 points by gabiteodoru 11mo ago|53 comments
9.
by gabiteodoru 1y ago
But then you're not flexing your q muscles. Btw this is from the cookbook, these obfuscated patterns are actually recommended! https://code.kx.com/phrases/matrix/#identity-matrix-of-order...
10.
by gabiteodoru 1y ago
Yep, that's exactly what my MCP server is doing -- write in a Python-like language (I called in Qython), parse into AST tree, write the q code.
11.
by gabiteodoru 1y ago
Or, even better, also from the cookbook: {(2#x)#1,x#0} But this really borders on obfuscation :P
12.
by gabiteodoru 1y ago
Those github links are so cool, thanks for sharing! :)
13.
by gabiteodoru 1y ago
I think a translation layer to a lower-density language might be a good solution; e.g. Iverson's divisible-by-11 check, 0=11|-/d, can be verbosely done in Python with import numpy as np def flippedSubtract(a, b): return b - a
14.
by gabiteodoru 1y ago
:D Well I'm still building Qython, but if your colleague has some example code snippets they think particularly difficult to translate, I'd love to take on the challenge!
15.
Why LLMs Can't Write Q/Kdb+: Writing Code Right-to-Left(medium.com)
195 points by gabiteodoru 1y ago|145 comments
16.
by gabiteodoru 12y ago
Delivery to the following recipient failed permanently: hiring+david@longshotsystems.co.uk