dmytrish

33 ms·

271.
by dmytrish 12y ago
They've only blocked access to documentation and their servers, it should be easy to mirror it somewhere else.
272.
by dmytrish 12y ago
the Internet and technology should be above politics. - I am not sure about this, sometimes politics threatens the Internet itself. Putin clearly considers the Internet to be "a CIA project" and Russia is heading to its
273.
by dmytrish 12y ago
I've been pleasantly surprised with its slick UI. But, as with many Lisp OS images, there is an issue with explorability: how do I discover system commands in the REPL? I know a bit of Common Lisp, but it's not clear to me how to
274.
by dmytrish 12y ago
Kudos to the author of the article for his perseverance in decorating message to fit grammar. I'd go another way, just using more formal and dry format: Number of scanned directories: %g Number of found files: %g That solv
275.
by dmytrish 12y ago
I thought about `dlopen`, but did not know how to fetch it libc platform-independently (`dlopen(argv[0])` is fine on OS X, but not on Linux). Now I see that the first argument can be NULL, that approach is feasible.
276.
by dmytrish 12y ago
At a quick glance, yes, `tcc -run` seems to output machine code into memory for running it, so yes.
277.
by dmytrish 12y ago
Thank you. rswier's c4 was a great inspiration for me. I am glad If my humble two cents are helpful for somebody.
278.
by dmytrish 12y ago
I meant the code generator size: it starts at line 448 and ends at 535, so its size is about 86 lines. The rest of the code is taken from original c4 and is not changed.
279.
by dmytrish 12y ago
Yes, that's a fork of c4 with virtual machine replaced by x86 code generation and running the compiled code.
280.
by dmytrish 12y ago
It's `mmap` call and syntax of function pointer at the end of the file (needed to call the compiled code). P.S. Otherwise, it is ready to run itself, work in progress.
281.
c4x86 - JIT compiler for x86 in 86 lines(github.com)
133 points by dmytrish 12y ago|28 comments
282.
by dmytrish 12y ago
There are evidences that Crimea annexation had been prepared for few years before any unrests. There are photos of paramilitary people with Donetsk "People Republic" flags at Russian summer camp Seliger in 2009. Relentless Russian
283.
by dmytrish 12y ago
«Вот дерьмо» sounds right.
284.
by dmytrish 12y ago
I hope that I may answer to this article with its own words: "During periods of technological and scientific expansion, it has often seemed that a plateau has been reached, only for a new discovery to shatter old paradigms completely&q
285.
by dmytrish 12y ago
It may be just a "distortion" of perception of the past: several decades in the past are much more "succinct" to our present view than a month half a year ago; we look at all the achievements in several decades before us
286.
by dmytrish 12y ago
Radius of a Silicon atom is about 0.11 nanometers; Intel produces CPUs that have 22 nanometers technology. Not exactly "atom-by-atom", but pretty close (only two orders of magnitude).
287.
by dmytrish 12y ago
We are alive as far as we want to be alive. We can be that "better form" of life, it's questionable that a better form of life can emerge from scratch. If our own behavior is going to get us extinct, so be it, let's help
288.
by dmytrish 12y ago
Do you have objections against the attack surface argument? Do you think that running a full-blown OS in a virtual machine is much better than a small dedicated OS? Do you think that overhead of userspace isolation is justified for a single
289.
by dmytrish 12y ago
There's a saying, "If you want someone to feel good, hurt him and then stop". C++ is a classical example of this approach, every time C++ committee fights warts it has created, it is perceived like a "cool new feature&qu
290.
by dmytrish 12y ago
That's not as easy as it seems. 若 literally means [some kind of] "if", 之 is not "have" but rather "the" [?]. The last line is completely obscure for my very beginner Chinese skills. I'd be glad if som
291.
by dmytrish 12y ago
Indeed, port install bash cat /opt/local/bin/bash >> /etc/shells chsh -s /opt/local/bin/bash mv /bin/bash /bin/bash-apple ln /opt/local&#
292.
by dmytrish 12y ago
It's an impressive piece of work as for a Scheme implementation (saying this as a Scheme implementer myself[1]). I'd love to introduce some ML and static typing in my Scheme too. I spent some time looking for the source code, then
293.
by dmytrish 12y ago
"Try haskell expression here" + lessons is very nice. Just a little nitpick: λ map (+1) [1..5] can't find file: Imports.hs λ map (+ 1) [1..5] [2,3,4,5,6]:: (Enum b, Num b) => [b] though the first expre
294.
by dmytrish 13y ago
The most viable option today seems to be writing code in some language with strong formal guarantees (Agda, Coq) with extracting to Haskell/OCaml for generating C code from there. That's the way seL4 was written.
295.
by dmytrish 13y ago
I've been dabbling with Chinese for some time and I can say that online dictionaries, Google Translate facilities for handwritten input, its audio recognition, Mac OS built-in input methods for Chinese greatly alleviate the pain of loo
296.
by dmytrish 13y ago
Thank you for that useful option. Just a nitpick: did you mean `include .depend`?
297.
by dmytrish 13y ago
Well, Haskell has rather helpful strictness analyzer in its compiler that tries to determine automatically where strictness has to be enforced. C++ implementation does not have this advantage, but a limited form of laziness still seems to b
298.
by dmytrish 13y ago
Yes, Haskell does not allow free syntax extensions composition as easily as Lisp does. But it gets right semantical compositions, using monads for encapsulating semantics and monad transformers to compose effects easily and in a controlled
299.
by dmytrish 13y ago
Why would anyone need CL when we have JavaScript?! I think the latter has even less bondage & discipline in it.
300.
by dmytrish 13y ago
It's ironic that Haskell is such a language: it grows from a tight, small core into larger and greater abilities as you learn it even without using its extensions. I agree that Common Lisp a very powerful language, but I can't l

More ›