jfmc

8 ms·

31.
by jfmc 4y ago
Prolog also have symbols (called "atoms"). Erlang too (influenced by Prolog).
32.
by jfmc 4y ago
Feels like a flattened Rubik cube... Nice!
33.
by jfmc 4y ago
I do not understand why people can be happy with the artificial software barriers. I'm really happy with my Apple M1 but I'd never use it if I could not run Emacs and free software on it.
34.
by jfmc 5y ago
UI is really slow. I wish that anyone takes QT or GTK backends for DOM+wasm seriously. More work should be delegated to the UI components. X-Windows was ugly... but there was a clean separation that was useful.
35.
by jfmc 5y ago
Note that most of those elements are artificially created in the lab and have a very short half-life.
36.
by jfmc 5y ago
> Right now, we are routinely creating neural networks that have a number of parameters more than the number of training samples. This says that the books have to be rewritten. I also believe that this statement is weird. I have a very s
37.
by jfmc 5y ago
I've using Raspberry Pi 400 + PyGameZero + emacs for a 8yo. I miss a good book that keeps complexity very low to give him some independence (I need to constantly supervise his steps and what he is understanding at each point).
38.
by jfmc 5y ago
Is WASM still 32-bit based? (at least in browsers)
39.
by jfmc 5y ago
Some Prolog systems (like Ciao Prolog https://github.com/ciao-lang/ciao/blob/master/core/lib/forei... ) implement bidirectional foreign interfaces. Once you have C bindings it is easy to write b
40.
by jfmc 5y ago
I'm very happy with mbsync and mu4e. The only drawback is that email fetching+indexing can be very slow (10 to 30 seconds), compared with the instantaneous gmail web interface. I'm not sure if this is poor configuration on my side
41.
by jfmc 5y ago
A Facebook-controlled metaverse, rising gas prices... it is only a matter of time that humans ends up being used as batteries.
42.
by jfmc 5y ago
Has this gone through any peer review process?
43.
by jfmc 5y ago
I agree with this interpretation. The craft can be copied and learn, but da Vinci (as any human being) was unique and unrepeatable. Perhaps the root of all this issue is how East and West treat individualism vs collectivism.
44.
by jfmc 5y ago
AFAIK, this was first proposed and implemented in Ciao Prolog back in late 90s (modern versions here: https://ciao-lang.org/ciao/build/doc/ciao.html/html.html ). It was way before Python was popular and J
45.
by jfmc 5y ago
Modern society tends to infantilize people. (Congrats to Alyssa and everyone making this possible!)
46.
by jfmc 5y ago
I guess that it is fast because modern browsers are fast, implement good algorithms to repaint just what need to be repainted, and delegate a lot of work to the GPU. Exactly like the Quartz compositor engine.
47.
by jfmc 5y ago
I'd really appreciate if github provides a way to opt-out "deep" analytics (e.g., train copilot on my open source code), even if this reduces the amount of features that they provide for free.
48.
by jfmc 5y ago
> Because its basically impossible to completely and accurately attribute the origin of all your knowledge. And it is impossible to verify that the source you think is the originator of your knowledge is the original creator of that know
49.
by jfmc 5y ago
> Open source would be ruined if it were easier to build upon past works with lower barriers to research and licensing? Why is recognizing someone else's work so much pain? The whole point is that copilot forgets who wrote the code
50.
by jfmc 5y ago
How do you separate the implementation from the algorithm/idea? I do not believe that you'd be fine if you invest a significant period of your life on some idea that someone else copies without at least some credit (i.e., replacin
51.
by jfmc 5y ago
From my point of view, the 'clean' part of 'cleanroom' means erasing all traceability to the original product. Not seeing the code is a good way to do that. But if you are a machine it is easy unsee whatever you want (e.
52.
by jfmc 5y ago
That is NOT the point. You are allowed to learn whatever you want. What is horribly unethical is not recognizing the life-long effort of the people who wrote the original code and designed the original algorithms. Programmers are not machin
53.
by jfmc 5y ago
Copilot is the perfect machine for clean room design and license/copyright laundering. It is unethical and unfair to the open source community. I do not care if it breaks code to bits and recomposes them again regurgitated by <YOU
54.
by jfmc 5y ago
I guess that 100x is just an arbitrary number that means 'orders of magnitude'. If production means going to Pluto on a super expensive space mission, and the bug ruins all the scientific experiments, and your future funding depen
55.
by jfmc 5y ago
Modern AI seems more like machine-assisted collage (or pictures, code, text, etc.) than anything else. Someone (of some other algorithm) needs to be added to ensure that the whole thing makes sense. The big problem here is that when an arti
56.
by jfmc 5y ago
During pandemic lockdowns I had the opportunity to teach my 7yo son maths at home. It does not work for all kids, but he showed a very strong interest in symbolic manipulation. School overemphasizes arithmetic and arithmetic algorithms ad i
57.
by jfmc 6y ago
Things gets better if you try a couple of hours rather than minutes. If you've never been exposed to the logic programming paradigm this is completely understandable. Isn't it?
58.
by jfmc 6y ago
Another difference between Prolog and Mercury is that Mercury lacks 'real' unification. Predicates must be moded (they must be compiled for some particular variable instantiation states). The compiler reorders literals in a way th
59.
by jfmc 6y ago
The title should be corrected to "The Mercury functional logic programming language".