The newest stories that have not yet reached the front page.
  1. 1
    Our Traditions as a Company culture practices medium.com
    elbrujohalcon avatar via elbrujohalcon 35 hours ago | cached | no comments
  2. 3
    Verifying the Correctness of a Compiler for an Imperative, Programming Language (2011) ☶ pdf compilers formalmethods dspace.jaist.ac.jp
    nickpsecurity avatar via nickpsecurity 35 hours ago | cached | no comments
  3. 2
    GSoC 2018 Reports: Kernel Address Sanitizer, Part 3 netbsd blog.netbsd.org
    pstef avatar via pstef 35 hours ago | cached | no comments
  4. 4
    Independent Online Communities: History and Future of Public Access Unix Systems culture historical unix tilde.town
    jkirchartz avatar via jkirchartz 36 hours ago | cached | 1 comment
  5. 3
    Algorithmically Fingering Guitar Chords with Elixir elixir petecorey.com
    petecorey avatar authored by petecorey 37 hours ago | cached | no comments
  6. 2
    The PowerPC 600 series, part 8: Control transfer assembly blogs.msdn.microsoft.com
    calvin avatar via calvin 37 hours ago | cached | no comments
  7. 3
    When a Microsecond Is an Eternity: High Performance Trading Systems in C++ video c++ performance youtube.com
    mikejsavage avatar via mikejsavage 38 hours ago | cached | 1 comment
  8. 1
    Small Sample Learning in Big Data Era ai arxiv.org
    lainon avatar via lainon 40 hours ago | cached | no comments
  9. 1
    Feather: fast, interoperable data frame storage ☶ ai python github.com
    stip avatar via stip 41 hours ago | cached | no comments
  10. 1
    The EDSAC Film (1976) ☶ video historical youtube.com
    GeoffWozniak avatar via GeoffWozniak 41 hours ago | cached | no comments
  11. 2
    Bashmarks: bookmarking commonly used directories in bash programming github.com
    yumaikas avatar via yumaikas 45 hours ago | cached | no comments
  12. 4
    Fairytale about performance in web application ☶ debugging javascript performance web itnext.io
    bliashenko avatar authored by bliashenko 47 hours ago | cached | no comments
  13. 4
    Logical Types for Untyped Languages (2010) pdf plt ccs.neu.edu
    GeoffWozniak avatar via GeoffWozniak 2 days ago | cached | no comments
  14. 4
    Theory of Hypertext Systems (1995) programming nngroup.com
    calvin avatar via calvin 2 days ago | cached | no comments
  15. 3
    Some Remarks on the (Idea of the) Modern Web rant web zge.us.to
    zge avatar authored by zge 2 days ago | cached | no comments
  16. 4
    The Specification, Verification, and Implementation of Data Structure in ACL2 (2013) ☶ pdf formalmethods lisp programming computer.org
    nickpsecurity avatar via nickpsecurity 2 days ago | cached | no comments
  17. 3
    Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants ☶ pdf formalmethods hardware security cc.gatech.edu
    nickpsecurity avatar via nickpsecurity 2 days ago | cached | no comments
  18. 0
    Learning Web Development in 2018 javascript web zendev.com
    kball avatar authored by kball 2 days ago | cached | 1 comment
  19. 4
    Transactional Data Operations in PostgreSQL Using Common Table Expressions databases rob.conery.io
    craigkerstiens avatar via craigkerstiens 2 days ago | cached | no comments
  20. 4
    Evaluating Olive McBride with the Arkham Horror LCG Chaos Bag Simulator in R programming ntguardian.wordpress.com
    pek avatar via pek 2 days ago | cached | no comments
  21. 1
    The Total Beginner's Guide to Game AI games programming gamedev.net
    calvin avatar via calvin 3 days ago | cached | no comments
  22. 3
    The PowerPC 600 series, part 6: Memory access assembly blogs.msdn.microsoft.com
    calvin avatar via calvin 3 days ago | cached | no comments
  23. 1
    Designing as a frontend developer in 2018 design web blog.logrocket.com
    flume avatar via flume 3 days ago | cached | no comments
  24. 2
    DTHREADS: Efficient Deterministic Multithreading (2011) ☶ pdf c c++ people.cs.ksu.edu
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | no comments
  25. -4
    Australia on the cusp of showing the world how to break encryption crypto law theregister.co.uk
    stephenr avatar via stephenr 3 days ago | cached | 1 comment
<< Page 1 | Page 3 >>