dmytrish

22 ms·

1. 211.▲
   by dmytrish 10y ago

   Objects coupled with formal proofs, maybe. Otherwise, nothing has been lost: naïve approach to objects seems to work well for managing memory and garbage collection, otherwise it's just a bothering implementation detail of a language r
2. 212.▲
   by dmytrish 10y ago

   Thanks for a great list of streams! I did a similar thing (using `mplayer` though) for me, wrapping it in a script that takes shortcuts for stream names: https://gist.github.com/EarlGray/d64514459892650881353a465c4...
3. 213.▲
   by dmytrish 10y ago

   I think that the point of view depicted in the article completely misses the fact that we are active part of a reality we live in. It looks like the article (I am not entitled to talk about the original research, since I am not familiar wit
4. 214.▲
   by dmytrish 10y ago

   `:x` may be useful, if "save-and-close" is a problem.
5. 215.▲
   by dmytrish 10y ago

   Mythology (especially in Chinese culture) often uses directions as symbolic values, not real geographical directions or places.
6. 216.▲
   by dmytrish 10y ago

   I don't find it fast: page loads in 4 requests, it downloads only 16 KB and still takes several hundred milliseconds to load. Edit: it also does not use https.
7. 217.▲
   by dmytrish 10y ago

   It's hard for me to guess, maybe centralization of media makes it so attractive for governments to distort information. When there are at least two sides loudly confronting each other, the general picture gets much better. A curious ex
8. 218.▲
   by dmytrish 10y ago

   I can't judge that by myself, but my external impression that if there is such thing as Western propaganda, it must be incredibly subtle and seamless, omnipotent and omnipresent to be real. Russian propaganda is not a thing you are not
9. 219.▲
   by dmytrish 10y ago

   As a witness of protests at Maidan square in Kiev, I was staggered by the depiction of the events in Russian medias: it was a heavily engineered and coherently orchestrated image full of humongous distortions to the point of creating a para
10. 220.▲
    by dmytrish 10y ago

    C++202x would be good too.
11. 221.▲
    by dmytrish 10y ago

    I thought the same before reading the post, but I must admit that the author of the post is very careful not to reveal any concrete details, so this may be more like subtle trolling of people who check enforcement of interview NDAs.
12. 222.▲
    by dmytrish 10y ago

    Exactly, _Corrode_ makes C code _rusty_!
13. 223.▲
    A GitHub repo required for any Elm code(github.com)

    4 points by dmytrish 10y ago|1 comments
14. 224.▲
    by dmytrish 10y ago

    Yes, exactly.
15. 225.▲
    by dmytrish 10y ago

    The name of this project reminded me a silly Ukrainian joke: — ... ("have you been in the zoo?") — ... ("yes, I saw a yak!") — І як як? ("so how was the yak?") — Як як як. ("Like a yak")
16. 226.▲
    by dmytrish 10y ago

    To play a devil's advocate, a SPA definitely takes its time to load, but the subsequent requests may be much more fluid, since they only update the existing page, carry only the compressed and necessary information and may be retried,
17. 227.▲
    by dmytrish 10y ago

    Sounds like http://nim-lang.org/ . Just simplifying syntax is not a great idea for a system programming language though.
18. 228.▲
    by dmytrish 11y ago

    This is a quite neat example, but it looks like the QNX shell mixed several concerns about how do you connect to these machines, how do you secure the communication, etc. $ ssh @2 "cat /path/to/large/file&quot
19. 229.▲
    by dmytrish 11y ago

    "Detach during running" is a problem solved from the beginning of shells: just suspend a foreground command with C-z and type `bg` to wake it up in the background. Output redirection seems to be a valid point, though.
20. 230.▲
    by dmytrish 11y ago

    Qube OS is made by quite good security researchers, who where first to break into Intel SMM, as far as I know. Qube OS separates domain as virtual machines on top of Xen and you need to do privilege escalation in the sandbox first, then to
21. 231.▲
    by dmytrish 11y ago

    It has some opcodes implemented, but at a quick glance I found no signs of any memory management and no way to actually execute opcodes.
22. 232.▲
    by dmytrish 11y ago

    Yes, there is some similarity in expressive power of Lisp macros and Haskell monads (edit: raw Lisp macros are even more powerful, since they may glue and transform anything to anything). However, there is a huge difference in the essence:
23. 233.▲
    by dmytrish 11y ago

    Yes, and you even can put your whole-block optimizations between the statements being glued (that's the magic of the custom composition primitives, monads).
24. 234.▲
    by dmytrish 11y ago

    It seems to be a difference between GNU and BSD variants of `dd`.
25. 235.▲
    by dmytrish 11y ago

    Actually, you can send signal USR1 to a GNU `dd` process to see the progress: $ pgrep dd 22230 $ kill -USR1 22230 - and `dd` prints its progress.
26. 236.▲
    by dmytrish 11y ago

    Doesn't "Types and Programming Language" by B. Pierce fits this description? I did not read LiSP, though.
27. 237.▲
    The Galactic Empire Language on Google Translate(translate.google.com)

    5 points by dmytrish 11y ago|0 comments
28. 238.▲
    by dmytrish 11y ago

    SELinux has means to handle desktop security, but yes, it is rather PITA. Could you tell more about OS X process sandboxing?
29. 239.▲
    by dmytrish 11y ago

    Interestingly, the functional programming crowd sees it the opposite way (according to Curry-Howard isomorphism): every program represents some logical calculus and programs are proofs to some prepositions about our programs that we keep in
30. 240.▲
    by dmytrish 11y ago

    It's like a steampunk computer without steam!