Search
 
   

74 results for "domain:blog.acolyer.org"

  1. 2
    Bounding data races in space and time – part I compilers compsci programming blog.acolyer.org
    gasche avatar via gasche 17 days ago | cached | no comments
  2. 1
    HHVM JIT: A profile-guided, region-based compiler for PHP and Hack compilers php blog.acolyer.org
    sanxiyn avatar via sanxiyn 18 days ago | cached | no comments
  3. 32
    How not to structure your database-backed web applications: a study of performance bugs in the wild ☶ databases performance ruby blog.acolyer.org
    pims avatar via pims 1 month ago | cached | 12 comments
  4. 1
    Deep code search ☶ ai compsci blog.acolyer.org
    zpojqwfejwfhiunz avatar via zpojqwfejwfhiunz 2 months ago | cached | no comments
  5. 1
    Re-coding Black Mirror, Part I ai blog.acolyer.org
    pek avatar via pek 3 months ago | cached | no comments
  6. 1
    Skyway: connecting managed heaps in distributed big data systems distributed blog.acolyer.org
    SeanTAllen avatar via SeanTAllen 4 months ago | cached | no comments
  7. 10
    Anna: A KVS for any scale ☶ pdf databases distributed blog.acolyer.org
    unbalancedparentheses avatar via unbalancedparentheses 5 months ago | cached | no comments
  8. 6
    A Language-based Approach to Unifying Events and Threads (orig in 2006; 2014) pdf haskell linux plt blog.acolyer.org
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  9. 12
    When coding style survives compilation: de-anonymizing programmers from executable binaries programming reversing security blog.acolyer.org
    varjag avatar via varjag 5 months ago | cached | 2 comments
  10. 5
    Deny Capabilities for Safe, Fast Actors (2016) plt blog.acolyer.org
    dbremner avatar via dbremner 6 months ago | cached | no comments
  11. 13
    A practitioner’s guide to reading programming languages papers compsci plt blog.acolyer.org
    calvin avatar via calvin 7 months ago | cached | no comments
  12. 33
    Some thoughts on security after ten years of qmail 1.0 security blog.acolyer.org
    rauyran avatar via rauyran 7 months ago | cached | 7 comments
  13. 6
    One model to learn them all ai blog.acolyer.org
    nhooyr avatar via nhooyr 7 months ago | cached | no comments
  14. 6
    DéjàVu: a map of code duplicates on GitHub programming visualization blog.acolyer.org
    adsouza avatar via adsouza 7 months ago | cached | no comments
  15. 22
    Why life sucks: On the duality of operating system structures, and why both Threads and Events Hurt. ☶ programming blog.acolyer.org
    JohnCarter avatar via JohnCarter 8 months ago | cached | 5 comments
  16. 4
    The role of software in spacecraft accidents practices science blog.acolyer.org
    calvin avatar via calvin 8 months ago | cached | no comments
  17. -1
    Algorand: fast, high throughput, sortition-based cryptocurrency ☶ cryptocurrencies blog.acolyer.org
    faitswulff avatar via faitswulff 9 months ago | cached | no comments
  18. 8
    Universal adversarial perturbations ai graphics blog.acolyer.org
    pushcx avatar via pushcx 10 months ago | cached | no comments
  19. 5
    HoTTSQL: Proving query rewrites with univalent SQL semantics databases formalmethods blog.acolyer.org
    sanxiyn avatar via sanxiyn 10 months ago | cached | 1 comment
  20. 9
    Clkscrew: Exposing the perils of security-oblivious energy management security blog.acolyer.org
    nickpsecurity avatar via nickpsecurity 11 months ago | cached | 4 comments
Page: 1 2 3 4