kovek

5 ms·

31.
by kovek 8mo ago
I think railway deserves a mention here: https://docs.railway.com/ai/mcp-server
32.
by kovek 8mo ago
All of those technologies of the past can be managed by humans. Once computers can manage themselves AND other technologies and people, I think it'll be a different situation.
33.
by kovek 8mo ago
Thanks for answering my questions! I see that Happy Coder is not far from Omnara. I hope Omnara can be not too far from E2E encryption. The lack of E2E encryption was why I didn't chose Omnara.
34.
by kovek 8mo ago
I can voice chat with Happy coder. Also, I run happy coder in a sandbox of mine on my computer. What do you mean by syncing? Happy coder syncs sessions between all my happy coder clients. I can even see in real time how happy coder in my br
35.
by kovek 8mo ago
Like what? I like it a lot...
36.
by kovek 8mo ago
https://happy.engineering/ says that they have E2E encryption. Is that true?
37.
by kovek 8mo ago
I know people who don't speak English fluently who like to use LLMs to translate to English.
38.
by kovek 8mo ago
Keep Instagram but delete X, because your reach is on Instagram? This just shows how difficult it is to unsubscribe to any and/or many of the products listed... I get the idea but it doesn't seem like it's helpful
39.
by kovek 9mo ago
I'm wondering how do people come up with these mathematical challenges?
40.
by kovek 9mo ago
I'm looking at Opencode and it might be better because it allows you to abort a task. VPN needed.
41.
by kovek 9mo ago
I recommend https://happy.engineering/ . It is very easy to set up. I can have an instance in a container which contains my repository and lots of packages/binaries necessary for the work. I can then use the different
42.
by kovek 9mo ago
Is it easy to move the text cursor around in the text input in blink shell?
43.
by kovek 10mo ago
Yes, I believe thinking can be hampered by depression...
44.
by kovek 10mo ago
I thought the traffic went pretty well tonight in San Francisco considering we had this major issue.
45.
by kovek 11mo ago
See the third diagram in https://www.mdpi.com/1424-8220/24/18/6049 . There are elements of noise, of input embeddings in the form of images, or in the form of text.
46.
by kovek 1y ago
What does that have to do with all the discussions in the conversation I shared?
47.
I think LLMs can do multiplication?
1 points by kovek 1y ago|2 comments
48.
by kovek 1y ago
> It doesn't show it can execute it at scale. Without writable state and bit exact ops, Well, modern LLM coding agent products (eg. Claude Code) are able to store state in files in the current repository. So, you could have the mode
49.
by kovek 1y ago
Well, the LLM may re-infer the whole state fully on every instruction. Temperature 0 is deterministic and that's what we are looking for. If the model is trained properly on how the CPU state + instructions should be handled, then it s
50.
by kovek 1y ago
Well, if the model can reliably keep in context CPU cache plus CPU registers plus CPU instructions and is able to do operations based on those, then we pretty much solved computation using LLMs, right? It could use RAG to operate on RAM and
51.
by kovek 1y ago
I tried to ask a model to tell me what is the "long multiplication algorithm". It gave it to me. I asked it to follow that algorithm to solve eg. 12987318927 * 12098102983, and it followed the algorithm, and it got the right answe
52.
by kovek 1y ago
There's many different definitions of "AGI" that people come up with, and some include dreaming, quantum world, creativity, and some do not.
53.
by kovek 1y ago
With cursor you can hit Cmd+K in the terminal and give a prompt for the agent to convert to a command in the terminal. Would be good if it could allow to do the same to generate SQL queries based on the databases schemas available. Then it
54.
by kovek 1y ago
> a bit whiney > owning your problems What do you mean? That makes me think about how people react to others having depression symptoms, saying that they should "just" get better... The best course of action is to ask for he
55.
by kovek 1y ago
Could you share some sources that show this to be true?
56.
by kovek 1y ago
Why are you socializing with humans on Hacker News right now?
57.
by kovek 1y ago
> It's a problem that's been solved in hundreds of different ways over the last 40 years I guess now you can find the solution that you need by telling the requirements to LLMs who have now indexed a lot of the tradeoffs
58.
by kovek 1y ago
This is interesting. I don't know why it's happening. However, this book deserves a mention: https://en.wikipedia.org/wiki/The_Better_Angels_of_Our_Natur... . It shares statistics on how violence has been dec
59.
by kovek 1y ago
What if you can check if the user responds positively/negatively to the output, and then you train the LLM on the input it got and the output it produced?
60.
by kovek 1y ago
This is great! I am really interested in trying this out. Also, I am wondering, are there solutions similar to this but on MacOS?

More ›