gbrown_

48 ms·

1. 481.▲
   State Machines in Rust(blog.yoshuawuyts.com)

   4 points by gbrown_ 7y ago|0 comments
2. 482.▲
   State-Machine Replication for Planet-Scale Systems (Extended Version)(arxiv.org)

   10 points by gbrown_ 7y ago|0 comments
3. 483.▲
   Lessons from the Unix Stdio ABI: 40 Years Later(fingolfin.org)

   2 points by gbrown_ 7y ago|0 comments
4. 484.▲
   by gbrown_ 7y ago

   Aha, thank you.
5. 485.▲
   by gbrown_ 7y ago

   > At a time when adding two lists of numbers meant a map or a loop, APL introduced the idea of operating on the entire array at once. Am I missing something, how is this different from a map?
6. 486.▲
   Multidimensional Switches(richardstartin.github.io)

   2 points by gbrown_ 7y ago|0 comments
7. 487.▲
   by gbrown_ 7y ago

   Full title is "Optimizing Interrupt Handling Performance for Memory Failures in Large Scale Data Centers", I had to truncate it to fit within HN's character limit.
8. 488.▲
   Optimizing Interrupt Handling Performance for Memory Failures(research.fb.com)

   26 points by gbrown_ 7y ago|6 comments
9. 489.▲
   How hard is it to guide test case generators with branch coverage feedback?(engineering.backtrace.io)

   3 points by gbrown_ 7y ago|0 comments
10. 490.▲
    Turing-Completeness Free [pdf](personal.cis.strath.ac.uk)

    3 points by gbrown_ 7y ago|0 comments
11. 491.▲
    by gbrown_ 7y ago

    The first in a series of articles, a list of which can be found here https://apfelmus.nfshost.com/articles/lazy-eval.html
12. 492.▲
    How Does Lazy Evaluation Work in Haskell? (2014)(apfelmus.nfshost.com)

    72 points by gbrown_ 7y ago|4 comments
13. 493.▲
    Strong and Efficient Consistency with Consistency-Aware Durability [pdf](pages.cs.wisc.edu)

    2 points by gbrown_ 7y ago|0 comments
14. 494.▲
    Nojitsu: Locking Down JavaScript Engines [pdf](people.cs.kuleuven.be)

    1 points by gbrown_ 7y ago|1 comments
15. 495.▲
    Counting at compile time: Higher Order Functions(medium.com)

    1 points by gbrown_ 7y ago|0 comments
16. 496.▲
    On Linear Types and Exceptions(tweag.io)

    2 points by gbrown_ 7y ago|0 comments
17. 497.▲
    Real-world type theory I: untyped normalisation by evaluation for λ-calculus(colimit.net)

    3 points by gbrown_ 7y ago|0 comments
18. 498.▲
    SLEEF Vectorized Math Library(sleef.org)

    62 points by gbrown_ 7y ago|14 comments
19. 499.▲
    Vmap in Haskell(blog.ezyang.com)

    82 points by gbrown_ 7y ago|13 comments
20. 500.▲
    by gbrown_ 7y ago

    From the paper. > and subsequently allow the kernel to immediately reuse the associated physical memory. On Linux, this can be achieved by passing the MADV_DONTNEED flag to the the madvise system call. Shouldn't this be MADV_FREE? T
21. 501.▲
    by gbrown_ 7y ago

    My $HOME is a git repo for my dotfiles, with a .gitignore containing just "*". Simple, zero abstractions, no need for additional management.
22. 502.▲
    Introduction to the Unicode Collation Algorithm(blog.sesse.net)

    1 points by gbrown_ 7y ago|0 comments
23. 503.▲
    Generalizing Coroutines in Rust(samsartor.dev)

    1 points by gbrown_ 7y ago|0 comments
24. 504.▲
    Stream Semantic Registers(arxiv.org)

    3 points by gbrown_ 7y ago|0 comments
25. 505.▲
    by gbrown_ 7y ago

    It's a planck style keyboard, you can find out more here https://olkb.com/planck
26. 506.▲
    Off-Grid Cyberdeck: Raspberry Pi Recovery Kit(back7.co)

    649 points by gbrown_ 7y ago|144 comments
27. 507.▲
    Encoding Problems in Boolean Satisfiability(ozanerdem.github.io)

    11 points by gbrown_ 7y ago|0 comments
28. 508.▲
    by gbrown_ 7y ago

    Sadly arXiv appears to be undergoing an outage at the moment so the link to the paper isn't reachable. https://twitter.com/arxiv/status/1192508633092898816
29. 509.▲
    Faster floating point arithmetic with Exclusive OR(nfrechette.github.io)

    1 points by gbrown_ 7y ago|0 comments
30. 510.▲
    Engineering a Sort Function (1993) [pdf](cs.fit.edu)

    50 points by gbrown_ 7y ago|4 comments