1. 3
    The pain that minimal version selection solves go practices about.sourcegraph.com
    ceh avatar via ceh 5 days ago | cached | 2 comments
  2. 3
    SOTER: Programming Safe Robotics System using Runtime Assurance formalmethods arxiv.org
    ceh avatar via ceh 5 days ago | cached | no comments
  3. 31
    Braid: a functional language that compiles to Go ☶ show go github.com
    joshsharp avatar authored by joshsharp 5 days ago | cached | 10 comments
  4. 26
    I don’t want to learn your garbage query language databases programming rant erikbern.com
    Yogthos avatar via Yogthos 5 days ago | cached | 25 comments
  5. 8
    A (mostly) comprehensive guide to calling C from Scheme and vice versa c lisp more-magic.net
    calvin avatar via calvin 5 days ago | cached | 1 comment
  6. 1
    Porting an assembler, debugger, and more to WebAssembly (2014) javascript programming web drewdevault.com
    calvin avatar via calvin 5 days ago | cached | no comments
  7. 6
    The Semantics Assignment Problem plt bootstrapping.miraheze.org
    rain1 avatar authored by rain1 5 days ago | cached | no comments
  8. 9
    Floating point error is the least of my worries (2011) math johndcook.com
    hwayne avatar via hwayne 5 days ago | cached | 5 comments
  9. 2
    Abstracting Definitional Interpreters (Functional Pearl) pdf plt david.darais.com
    rain1 avatar via rain1 5 days ago | cached | no comments
  10. 40
    OpenBSD on the Microsoft Surface Go hardware openbsd jcs.org
    dchest avatar via dchest 5 days ago | cached | 1 comment
  11. 6
    Synesthesia: Detecting Screen Content via Remote Acoustic Side Channels pdf security cs.tau.ac.il
    mulander avatar via mulander 5 days ago | cached | no comments
  12. 8
    Fire And Motion (2002) practices joelonsoftware.com
    friendlysock avatar via friendlysock 5 days ago | cached | no comments
  13. 18
    What are you doing this weekend? ☶ ask programming
    caius avatar authored by caius 5 days ago | 37 comments
  14. 7
    Robust Notes with Embedded Code ☶ c++ emacs haskell arcadianvisions.com
    Shapr avatar via Shapr 5 days ago | cached | no comments
  15. 19
    Has anyone written a custom compiler for a single program? ☶ ask compilers
    joe_the_user avatar authored by joe_the_user 5 days ago | 36 comments
  16. 5
    Edge case in Go's windows exec package go windows golang.org
    yumaikas avatar via yumaikas 5 days ago | cached | no comments
  17. 2
    Deriving State Machines from TinyOS Programs using Symbolic Execution (2008) ☶ pdf c formalmethods web.cs.ucla.edu
    nickpsecurity avatar via nickpsecurity 5 days ago | cached | no comments
  18. 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 5 days ago | cached | no comments
  19. 11
    When Snails Attack: The Epic Discovery Of An Ecological Phenomenon meta blogs.discovermagazine.com
    praalhans avatar via praalhans 5 days ago | cached | 4 comments
  20. 6
    The Ecological Impact of Browser Diversity browsers css-tricks.com
    calvin avatar via calvin 5 days ago | cached | no comments
  21. 6
    Paper uncovers a bug in the Java standard library implementation of Timsort java programming drops.dagstuhl.de
    Yogthos avatar via Yogthos 5 days ago | cached | 2 comments
  22. 15
    The History of a Security Hole openbsd security os2museum.com
    crazyloglad avatar via crazyloglad 5 days ago | cached | 1 comment
  23. -1
    FCK DRM law fckdrm.com
    rain1 avatar via rain1 5 days ago | cached | 1 comment
  24. 48
    Lobste.rs: Upgrading Rails to 5.2 meta ruby td0.io
    thomas0 avatar authored by thomas0 5 days ago | cached | 14 comments
  25. 6
    LeFlow: Enabling Flexible FPGA High-Level Synthesis of Tensorflow Deep Neural Networks ☶ pdf video ai hardware twitter.com
    animatronic avatar via animatronic 5 days ago | cached | no comments
<< Page 6 | Page 8 >>