cmrx64

35 ms·

1. 451.▲
   by cmrx64 10y ago

   Coq unifies terms and types, so that all you have a terms, but there's still a very concrete meaning of value: that which can be reduced no further (normalization, a property that the calculus of inductive constructions has).
2. 452.▲
   by cmrx64 10y ago

   How's performance with this approach? Can it push the 1080p display at 60Hz?
3. 453.▲
   by cmrx64 10y ago

   I know about GOL and other simple automata, I'm mostly curious about applications in image processing.
4. 454.▲
   by cmrx64 10y ago

   I'd be interested to learn more about this! I'm completely outside image processing/machine learning/whatever this is, but articles about it really fascinate me.
5. 455.▲
   by cmrx64 10y ago

   I use and enjoy firejail. I use it instead of grsecurity's RBAC on my desktop systems for basic sandboxing with minimal fuss on Arch Linux, where at least when I was setting things up, AppArmor needs a lot of manual configuration.
6. 456.▲
   by cmrx64 10y ago

   Even if this might be true, including a license of some kind is really a best practice at this point. Something like a Creative Commons license is probably more appropriate than the MIT license, but when there's an explicit license the
7. 457.▲
   by cmrx64 10y ago

   Poking around the demo this feels really polished, which is a welcome change from most tools in this space, as they tend to be awkward at best. I look forward to future features.
8. 458.▲
   by cmrx64 10y ago

   Was -> Is, it's still in use by modern POWER machines.
9. 459.▲
   by cmrx64 10y ago

   I think RISC-V is showing that RISC ISAs can still compete in this space: https://arxiv.org/pdf/1607.02318v1.pdf . RISC-V has extensibility of the ISA as a core feature, allowing for special-purpose accelerators and cop
10. 460.▲
    by cmrx64 10y ago

    Or an unstable sort (which none of grandparent's examples are, but aren't uncommon in naive implementations)
11. 461.▲
    by cmrx64 10y ago

    This can work for special-purpose projects, but might become problematic in general: reprogramming the FPGA can be slow (on the order of 10s of milliseconds) and you don't necessarily want to include FPGA state as part of task state in
12. 462.▲
    by cmrx64 10y ago

    I do agree, but I wouldn't include vector instructions in "simple RISC instructions".
13. 463.▲
    by cmrx64 10y ago

    One other tiny detail I noticed was that the text (and not just the red glowing title) flickered slightly as if you were watching a VHS.
14. 464.▲
    by cmrx64 10y ago

    When I started watching it I was expecting some cringe-worthy 80s nostalgia panning, but it was very tasteful. The little universe they set up for themselves is taken very seriously.
15. 465.▲
    by cmrx64 10y ago

    I agree a lot! I was pretty skeptical of the show, but the intro sequence really got me to sit down and give it a chance. It's really polished.
16. 466.▲
    by cmrx64 10y ago

    In Australia at least paypass/paywave is ultra common. Just wave and you're done. At least as fast as a swipe, and you don't even have to take your card out of the wallet.
17. 467.▲
    by cmrx64 10y ago

    It's important to note that perf is a sampling profiler using the CPU performance monitoring unit, whereas callgrind (and all the valgrind tools, in general) uses processor emulation to record every event.
18. 468.▲
    by cmrx64 10y ago

    Is that a typo of metafont, or is there another system called metaphont? I did a few web searches and didn't come up with anything.
19. 469.▲
    by cmrx64 10y ago

    Be civil. Low effort holy-war prods aren't welcome on HN.
20. 470.▲
    by cmrx64 10y ago

    The intellij plugin doesn't use racer, it's custom.
21. 471.▲
    by cmrx64 10y ago

    Thanks! Guess I should have searched on youtube for the title - I searched on google for the conference mentioned in the slides and didn't find it.
22. 472.▲
    by cmrx64 10y ago

    (2011) Good slides anyway. Anyone know of a recording of the corresponding talk?
23. 473.▲
    by cmrx64 10y ago

    Embedded in the sense that you embed a browser in another application, I think? Maybe IVE (in-vehicle entertainment).
24. 474.▲
    by cmrx64 10y ago

    Comparing this to early Mozilla/Firefox's history, the point where nightlies become available is really huge. Congrats to the servo team!
25. 475.▲
    by cmrx64 10y ago

    I'm a huge fan of J, which is a descendant of APL, and has a libre implementation. I think it offers many of the same advantages in learning the array programming "paradigm", and has a few tricks of its own.
26. 476.▲
    by cmrx64 10y ago

    I use nightly for osdev. No other option.
27. 477.▲
    by cmrx64 10y ago

    Or rustc/libstd.
28. 478.▲
    by cmrx64 10y ago

    See also https://arxiv.org/pdf/1211.6468.pdf , which accompanies a theory recently published in the Archive of Formal Proofs: http://www.isa-afp.org/entries/No_FTL_observers.shtml It states rigorou
29. 479.▲
    Verified software can (and will) be cheaper than buggy stuff(microkerneldude.wordpress.com)

    4 points by cmrx64 10y ago|0 comments
30. 480.▲
    by cmrx64 10y ago

    Great read. I love it when oral history in our field gets recorded. One of my great fears is that more interesting stories than not will be lost to time.