Hacker News: akkad33

New comment by akkad33 in "Coding is not solved"

akkad33 — Tue, 29 Sep 2026 12:24:59 +0000

TLA+ ensures your model is correct, not that the code is correct

New comment by akkad33 in "Kev: Tiny Jev-like family of decision models built on top of Qwen3.5"

akkad33 — Mon, 21 Sep 2026 09:02:38 +0000

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

New comment by akkad33 in "Kev: Tiny Jev-like family of decision models built on top of Qwen3.5"

akkad33 — Mon, 21 Sep 2026 08:28:25 +0000

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)

New comment by akkad33 in "Java 27"

akkad33 — Tue, 15 Sep 2026 15:49:26 +0000

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

New comment by akkad33 in "Java 27"

akkad33 — Tue, 15 Sep 2026 15:30:55 +0000

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

New comment by akkad33 in "I accidentally turned LLM memory into program analysis"

akkad33 — Sun, 30 Aug 2026 08:17:19 +0000

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?

New comment by akkad33 in "I accidentally turned LLM memory into program analysis"

akkad33 — Sat, 29 Aug 2026 10:15:55 +0000

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

New comment by akkad33 in "I accidentally turned LLM memory into program analysis"

akkad33 — Sat, 29 Aug 2026 09:57:24 +0000

How do you know this?

New comment by akkad33 in "I accidentally turned LLM memory into program analysis"

akkad33 — Sat, 29 Aug 2026 09:56:15 +0000

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 was to keep context small and only get Claude to ask for what it needs. Datalog seems like a great idea, will definitely try it out

New comment by akkad33 in "Bun 1.4 Rust rewrite is not looking good?"

akkad33 — Sat, 22 Aug 2026 20:51:02 +0000

Then it's not a net speed gain?

New comment by akkad33 in "A formal degree and algorithmic problem-solving is the answer. Always has been"

akkad33 — Sat, 22 Aug 2026 16:24:04 +0000

What is a problem LLMs can't solve?

New comment by akkad33 in "Bun 1.4 Rust rewrite is not looking good?"

akkad33 — Thu, 20 Aug 2026 10:54:35 +0000

Isn't supposed to be faster with LLMs?

New comment by akkad33 in "Incident with Github.com"

akkad33 — Mon, 17 Aug 2026 17:12:47 +0000

Maybe they are dedicated hand coders!

New comment by akkad33 in "LLMs reward expertise"

akkad33 — Tue, 04 Aug 2026 08:28:07 +0000

These LLM articles are so boring. Most of them are like shower thoughts with no data to back up and only the writers experience.

New comment by akkad33 in "Claude Is Down"

akkad33 — Wed, 29 Jul 2026 20:54:05 +0000

Lean the language?

New comment by akkad33 in "Show HN: 18 Words"

akkad33 — Thu, 09 Jul 2026 17:55:45 +0000

Great game.

New comment by akkad33 in "Ask HN: Good fast IDE for reading and navigating code in multiple languages"

akkad33 — Mon, 06 Jul 2026 16:34:49 +0000

I find all of them slow especially when 3 language servers are running

New comment by akkad33 in "Clojure 1.13 adds support for checked keys"

akkad33 — Mon, 06 Jul 2026 16:34:04 +0000

What is nil-punning?

New comment by akkad33 in "Ask HN: Good fast IDE for reading and navigating code in multiple languages"

akkad33 — Sun, 05 Jul 2026 11:32:05 +0000

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

Ask HN: Good fast IDE for reading and navigating code in multiple languages

akkad33 — Sun, 05 Jul 2026 09:32:53 +0000

With the use AI I find myself writing less and less code, but reading way more than before at work. I have been using IDEA, because in my experience no IDE offers code inspection and navigation as good as IDEA across multiple languages. But it's very slow and mostly geared towards refactoring and editing. I have used VScode and I found it lacking as it is also slow. Nvim is very close to what I want but it takes some getting used to. Which IDE do you use?

Comments URL: https://news.ycombinator.com/item?id=48792671

Points: 6

# Comments: 10