vrotaru

7 ms·

31.
by vrotaru 4y ago
Even for something which is well defined up-front this can of dubious value. Converting an positive integer less than 3000 is well-defined task. Now if you try to write such a program using TDD what do you think will end up with? Try it. Wr
32.
by vrotaru 4y ago
There are some on Wiki: https://github.com/phase1geo/tke/wiki/Bird's-Eye-View Which let's you know what you can expect. Also the wiki seems rather good.
33.
by vrotaru 4y ago
Sony is pretty much stock as well. Mine came with FB and LinkedIn pre-installed though. The updates are decent and I had no problems with them.
34.
by vrotaru 5y ago
Well Julien Verlaguet is the original author of SkipLang, so "proprietary fork" does not deserver the square quotes, IMO
35.
by vrotaru 5y ago
OCaml had threads. There even a Threads module in standard library. The limitation was that only one thread can run at any given time. P.S There were ways around it, like calling an extern C function which will spawn a new theead and call a
36.
by vrotaru 5y ago
> I'm curious what the best way to develop software for ChromeOS is that's not writing a web app. Get hired by Google to work on Chrome OS. Certainly the best way. Afraid is also the only way. More seriously. Chromebook have se
37.
by vrotaru 5y ago
The Isabelle Proof Assistant[1] uses JEdit as its IDE. Just thought it is worth mentioning. [1]: https://isabelle.in.tum.de/
38.
by vrotaru 5y ago
http://www.cs.umd.edu/class/fall2021/cmsc430/index.html Check this: Based on ideas from the paper above quite accessible.
39.
by vrotaru 5y ago
Not sure that is the actual reason. (Also define worth it) Wirth had developed that original, but misguided (IMO) notion that the faster a compiler can compile itself the better it is. Consequently he has removed a lot from latest iteration
40.
by vrotaru 5y ago
Some has investigated the a slow gtk3 program on Mac and found the program was spending a second drawing shadows under 4 (I guess) buttons. That's downright impressive!
41.
by vrotaru 5y ago
Why do you think the capitalist pay programmers so much?
42.
by vrotaru 5y ago
Stanislav Lem has a story about the attempts to change the history where the Einstein was never born but his theories were developed but Unapietra, Odnocamenec, Onestone and so on..
43.
by vrotaru 5y ago
> Is it really such a mystery? Powerful "Blame your political opponents" move and damn those Chesterton fences. On a more serious note, it is not just porn and it's all about gene survival. Men who do not care about the se
44.
by vrotaru 5y ago
The documentation say yes. With a caveat. If you depend on some cygwin libs for your ocaml program you need them on the other machine too. Maybe you can copy them over as well. Or not. Not a win dev, sorry.
45.
by vrotaru 5y ago
Well, installing OCaml from sources was always considered the hard way. Now there is https://fdopen.github.io/opam-repository-mingw/installation/ Basically you just need Cygwin and you are good. It worked for me w
46.
by vrotaru 5y ago
IBM J9 has something called the JIT server. My understanding that JIT is done is one process and then provided as a service to clients (other processes) Never used it though, so no idea how it works in practice.
47.
by vrotaru 6y ago
And if it doesn't?
48.
by vrotaru 6y ago
Thanks. Good to know
49.
by vrotaru 6y ago
Markdown is eating out the (software) world. Not that I object.
50.
by vrotaru 6y ago
Looks like we can assume a few things about the implied audience. Highly (or highishly) technical people ready to pay for video courses. One can infer from that a they have a good enough connection. Is not like everybody should be Facebook,
51.
by vrotaru 6y ago
They both out of the chart!
52.
by vrotaru 7y ago
It appeared first in F#. The 4.01 version is quite recent actually. F# was based on 3.xx, or maybe, even, 2.xx OCaml. https://docs.microsoft.com/en-us/archive/blogs/dsyme/archeol...
53.
by vrotaru 7y ago
If Haskell is your thing, this may be of interest https://lukelau.me/kaleidoscope/
54.
by vrotaru 8y ago
Yes.
55.
by vrotaru 9y ago
XDS Modula-2 - https://www.excelsior-usa.com/xds.html
56.
by vrotaru 9y ago
A few years ago I would have suggested LinearML - https://github.com/pikatchu/LinearML . Now it may be quite a challenge, to just compile it.
57.
by vrotaru 9y ago
> but couldn't emacs have bindings for lua or python or something? It can, and here is an example: https://blag.bcc32.com/ecaml-getting-started/2017/11/05/emac... And here is a better link I gue
58.
by vrotaru 9y ago
Everywhere else had it more expensive, but everywhere else IPhone are... well not niche, but definitely way less pervasive
59.
by vrotaru 9y ago
I had once had to take apart an optical camera. The approach which worked for me was: a) Unscrew a few parts b) Screw them back c) Unscrew a few parts and some more d) Screw everything back in that same order ) .. repeat until done Fin
60.
by vrotaru 11y ago
I like OCaml, just.. Has it ever been anything which can be called a successful manifesto? I, certainly, do not remember one for JS or Node.

More ›