Viewing profile — rho_soul_kg_m3

What's at the top of the list?

It's not conscious if a nice person wouldn't feel bad torturing it.

And I didn't say it does. Intelligence is not necessarily deterministic, and being random is not the problem with LLMs. The problem is that they are not intelligent: they statistic…

I wouldn't have problems with AI-generated code, but LLMs are not AIs, they are random sentence generators. They don't have logic, yet programs are logical constructs. So let's cal…

All AI companies should be forced to re-train their models without the offending materials, and this should also extend to all LLMs distilled from models exposed to copyrighted wor…

Hello :) Glad to hear the talk was useful. You say you're using Linux as the underlying OS, but you must have looked at bare-metal embedded usage as well. How feasible would you sa…

In general, if it works, leave it alone; but I can think of two reasons to stop using OCaml: 1) You have been ordered to directly interface with some external library that has a co…

Thanks. Regarding open-sourcing, well no, it's not up to me, and it would be kind of proprietary. The size variants for floats and integers is definitely appreciated. For the "read…

Not a problem, LLMs can be very efficient at controlling social unrest.

Yes see above. OCaml was very much part of the GHG measurements. On the satellite it was controlling the cameras, acquiring the images, losslessly compressing them, encrypting them…

Well, I might have been the first to put OCaml in space, specifically on low-Earth orbit aboard GHGSat-D in 2016. I designed the payload software as a collection of SystemD service…

If you must know, I'm writing a real-mode 16-bit x86 assembly to C translator in Common Lisp to be able to run that 3-sector inference engine, which was posted the other day, outsi…

Knowledge retrieval. Something where I could ask a question, say in natural language, and I would get an answer. Of course the responses have to make sense and not be made up.

I think one of the earlier OCaml versions of the Rust compiler would be lean enough to be usable on a mid-90's PC.

Language models are good at translation and retrieval. This also extends to computer languages. LLMs translate from GPL to other licenses the same way Google translate turns French…

Why can't MY browser send some random JS to THEIR website? If it's safe for me to run some stranger's code, should it be safe for strangers to run my code?

For me, wasm is a godsend. I sure hope it doens't go away. I can write a reasonably complex GUI with Rust and egui and OpenGL and put it online without having to deal with browser/…