akkad33

3 ms·

1.
by akkad33 5d ago
Can someone do a ELI5A of how they achieve classification over any user defined list of items? Normal neural networks do a softmax over a known output set to get probabilities
2.
by akkad33 5d ago
Can someone tell me what is the difference between Jev and a normal neural network that does classification ? My understanding is: it takes text input and it does one shot classification (no training data)
3.
by akkad33 11d ago
I don't think they do. I work in a maven shop and half of the people don't even know what to do when maven fails inexplicably
4.
by akkad33 11d ago
I don't agree. If anything these newer languages have better tooling and new projects are always built from ground up to support open standards like open telemetry
5.
by akkad33 27d ago
I don't know TLA+ but indeed that seemed to be the limitation when I read about it too. What about languages like Dafny, that allow you to "prove" your programs?
6.
by akkad33 28d ago
Has anyone tried formal verification with AI generated code? I can't convince my company to use it but I realise it's very easy to ask Claude to add a verification step locally on my own PRs
7.
by akkad33 28d ago
How do you know this?
8.
by akkad33 28d ago
I had tried to get long term memory out of Claude by indexing my notes with keywords and putting that in a sqllite database and Claude queries using full text search. Don't know how good it is, it seems to find things alright. My goal
9.
by akkad33 1mo ago
Then it's not a net speed gain?
10.
by akkad33 1mo ago
What is a problem LLMs can't solve?
11.
by akkad33 1mo ago
Isn't supposed to be faster with LLMs?
12.
by akkad33 1mo ago
Maybe they are dedicated hand coders!
13.
by akkad33 2mo ago
These LLM articles are so boring. Most of them are like shower thoughts with no data to back up and only the writers experience.
14.
by akkad33 2mo ago
Lean the language?
15.
by akkad33 3mo ago
Great game.
16.
by akkad33 3mo ago
I find all of them slow especially when 3 language servers are running
17.
by akkad33 3mo ago
What is nil-punning?
18.
by akkad33 3mo ago
Nvim is good but requires set up which now I delegate to Claude Emacs feels too slow and not good if you have carpel tunnel syndrome
19.
Ask HN: Good fast IDE for reading and navigating code in multiple languages
6 points by akkad33 3mo ago|10 comments
20.
by akkad33 4mo ago
It looks very crowded and the paragraphs are off
21.
by akkad33 4mo ago
Pointing them to docs? Which is anyway what stack overflow answers did?
22.
by akkad33 4mo ago
Or Reddit. I don't know about Claude but Gemini has given me answers that are verbatim comments from Reddit.
23.
by akkad33 4mo ago
One thinking is most people writing software who are not software engineers prefer using AI because they don't think software is valuable in itself, it's only a way to solve a problem. So there are two camps, the other being peopl
24.
by akkad33 6mo ago
You can use Ocaml today and achieve all the correctness
25.
by akkad33 6mo ago
But good data structure is not always evident from the get go. And if your types are too specific it would make future development hard if the specs change. This is what I struggle with
26.
by akkad33 7mo ago
This website is asking me for permissions on my phone. Why?
27.
by akkad33 7mo ago
Google translate was not very good, it didn't get context. Deepl was better
28.
by akkad33 7mo ago
And many people don't know what Google stands for. Just like they probably didn't care what AOL stands for, or MSN
29.
by akkad33 7mo ago
I have started using chatgpt for everything from financial planning to holiday planning to product purchase. Whenever I think I hit something useful I add it to memory. I'm a "go" plan user because they had a promotional offe
30.
by akkad33 8mo ago
I don't think that would stop people

More ›