rho_soul_kg_m3

3 ms·

1.
by rho_soul_kg_m3 2mo ago
What's at the top of the list?
2.
by rho_soul_kg_m3 4mo ago
It's not conscious if a nice person wouldn't feel bad torturing it.
3.
by rho_soul_kg_m3 5mo ago
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 statistically mimic reasoning and logic, which still could hav
4.
by rho_soul_kg_m3 5mo ago
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 call this what it is: randomly-generated code,
5.
by rho_soul_kg_m3 5mo ago
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 works. Also cover code under licences such as GPL as well. Not
6.
by rho_soul_kg_m3 5mo ago
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 say it is, today, to use OCaml with MirageOS (or somethin
7.
by rho_soul_kg_m3 5mo ago
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 complicated C ABI, and you can't isolate it in a separate
8.
by rho_soul_kg_m3 5mo ago
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-only BigArrays": At the time I didn't
9.
by rho_soul_kg_m3 5mo ago
Not a problem, LLMs can be very efficient at controlling social unrest.
10.
by rho_soul_kg_m3 5mo ago
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 and transferring them to the platform controller using a c
11.
by rho_soul_kg_m3 5mo ago
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 services talking over DBus, and it included a CCSDS-to-DBus bridge
12.
by rho_soul_kg_m3 5mo ago
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, outside of QEmu, currently I'm debugging it. I'm
13.
by rho_soul_kg_m3 5mo ago
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.
14.
by rho_soul_kg_m3 5mo ago
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.
15.
by rho_soul_kg_m3 7mo ago
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 to English, except that the source material is implicitly
16.
by rho_soul_kg_m3 7mo ago
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?
17.
by rho_soul_kg_m3 7mo ago
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/Javascript/TS nonsense. The only pain poin