1. 2
    Deriving State Machines from TinyOS Programs using Symbolic Execution (2008) ☶ pdf c formalmethods web.cs.ucla.edu
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | no comments
  2. 3
    Structuring an Abstract Interpreter through Value and State Abstractions in Frama-C (2017) ☶ pdf c formalmethods hal.archives-ouvertes.fr
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | no comments
  3. 11
    When Snails Attack: The Epic Discovery Of An Ecological Phenomenon meta blogs.discovermagazine.com
    praalhans avatar via praalhans 6 days ago | cached | 4 comments
  4. 6
    The Ecological Impact of Browser Diversity browsers css-tricks.com
    calvin avatar via calvin 6 days ago | cached | no comments
  5. 6
    Paper uncovers a bug in the Java standard library implementation of Timsort java programming drops.dagstuhl.de
    Yogthos avatar via Yogthos 6 days ago | cached | 2 comments
  6. 15
    The History of a Security Hole openbsd security os2museum.com
    crazyloglad avatar via crazyloglad 6 days ago | cached | 1 comment
  7. -1
    FCK DRM law fckdrm.com
    rain1 avatar via rain1 6 days ago | cached | 1 comment
  8. 48
    Lobste.rs: Upgrading Rails to 5.2 meta ruby td0.io
    thomas0 avatar authored by thomas0 6 days ago | cached | 14 comments
  9. 6
    LeFlow: Enabling Flexible FPGA High-Level Synthesis of Tensorflow Deep Neural Networks ☶ pdf video ai hardware twitter.com
    animatronic avatar via animatronic 6 days ago | cached | no comments
  10. 0
    How to Create a Public Slack Community with Open Invites culture javascript intoli.com
    foob avatar authored by foob 6 days ago | cached | no comments
  11. -1
    After Patent Office Rejection, It is Time For Google To Abandon Its Attempt to Patent Use of Public Domain Algorithm law eff.org
    pizzaiolo avatar via pizzaiolo 6 days ago | cached | no comments
  12. 12
    Techie to tech lead: My five biggest mistakes practices thoughtworks.com
    calvin avatar via calvin 6 days ago | cached | no comments
  13. 6
    BEAM Bytecode Optimization Traps and Pitfalls elixir erlang performance blog.erlang.org
    skunkwerks avatar via skunkwerks 6 days ago | cached | 1 comment
  14. 4
    Baker, a simple tool for provisioning virtual machines and containers devops medium.com
    tosh avatar via tosh 6 days ago | cached | no comments
  15. 4
    Can Lobsters be run on a free heroku server ☶ ask meta
    geekodour avatar authored by geekodour 6 days ago | 10 comments
  16. 4
    The Multi-Armed Bandit Problem and Its Solutions compsci practices lilianweng.github.io
    tosh avatar via tosh 6 days ago | cached | no comments
  17. 23
    A deep dive into the Go memory allocator and garbage collector go about.sourcegraph.com
    beyang avatar authored by beyang 6 days ago | cached | 1 comment
  18. 1
    LAteral Movement Encryption technique (a.k.a. The "LAME" technique) networking security dotelite.gr
    calvin avatar via calvin 6 days ago | cached | no comments
  19. 1
    Assertions in Production Code? (2008) debugging practices drdobbs.com
    calvin avatar via calvin 6 days ago | cached | no comments
  20. 13
    "Little Languages" by Jon Bentley (1986) pdf plt staff.um.edu.mt
    akkartik avatar via akkartik 6 days ago | cached | 18 comments
  21. 4
    Value-Oriented Programming swift testing matt.diephouse.com
    glhaynes avatar via glhaynes 6 days ago | cached | no comments
  22. 12
    How We Built a Super Nintendo Out of a Wireless Keyboard (2012) games hardware blog.adafruit.com
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | 1 comment
  23. 1
    Kicking the Complexity Habit (2017) video practices youtube.com
    sevan avatar via sevan 6 days ago | cached | no comments
  24. 3
    Editors Sucks-Rules-O-Meter emacs historical satire vim tarunz.org
    zge avatar via zge 6 days ago | cached | 1 comment
  25. 3
    esverify: Program Verification for ECMAScript/JavaScript formalmethods javascript esverify.org
    hwayne avatar via hwayne 6 days ago | cached | no comments
<< Page 7 | Page 9 >>