akkad33

I'm reading A scout mindset. It's been an eye opener and really sets out clearly everything I've been noticing in myself and in the world. It's about the lies we tell ourselves

Wow I didn't expect to see this here. It seems in the book she's very open but it seems to have an alienating effect on readers rather than making them sympathetic for her honesty

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

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

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)

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

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

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?

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

How do you know this?

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

Then it's not a net speed gain?

What is a problem LLMs can't solve?

Isn't supposed to be faster with LLMs?

Maybe they are dedicated hand coders!

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

Lean the language?

Great game.

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

What is nil-punning?

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

It looks very crowded and the paragraphs are off

Pointing them to docs? Which is anyway what stack overflow answers did?

Or Reddit. I don't know about Claude but Gemini has given me answers that are verbatim comments from Reddit.

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 people who like to solve "software problems". But this latter has been solved by AI

You can use Ocaml today and achieve all the correctness

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

This website is asking me for permissions on my phone. Why?

Google translate was not very good, it didn't get context. Deepl was better

And many people don't know what Google stands for. Just like they probably didn't care what AOL stands for, or MSN