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 statistically mimic reasoning and logic, which…
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…
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…
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…
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…
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…
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 and transferring them to the platform…
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…
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.…
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 to English, except that the source…
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/Javascript/TS nonsense. The only pain…
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 statistically mimic reasoning and logic, which…
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…
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…
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…
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…
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…
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 and transferring them to the platform…
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…
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.…
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 to English, except that the source…
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/Javascript/TS nonsense. The only pain…