1. 1
    Liability In The Software Supply Chain law security blog.dshr.org
    derek-jones avatar via derek-jones 21 days ago | cached | no comments
  2. 30
    Evidence-based Software Engineering – book beta ☶ pdf book shape-of-code.coding-guidelines.com
    derek-jones avatar authored by derek-jones 3 months ago | cached | 1 comment
  3. 24
    C++ Is Faster and Safer Than Rust: Benchmarked by Yandex c++ rust viva64.com
    derek-jones avatar via derek-jones 5 months ago | cached | 15 comments
  4. 2
    Running for WG5 Convenor Announcement ☶ fortran person ondrejcertik.com
    derek-jones avatar via derek-jones 5 months ago | cached | no comments
  5. 1
    Which Video Call Apps Can You Trust? security blog.mozilla.org
    derek-jones avatar via derek-jones 5 months ago | cached | no comments
  6. 4
    SetReplace - modeling the Universe science github.com
    derek-jones avatar via derek-jones 6 months ago | cached | no comments
  7. 3
    Chromium build times c++ performance cygnus-software.com
    derek-jones avatar via derek-jones 6 months ago | cached | no comments
  8. 7
    Boeing 737 MAX Aircraft: Preliminary Investigative Findings ☶ pdf hardware transportation.house.gov
    derek-jones avatar via derek-jones 7 months ago | cached | no comments
  9. 2
    Automatic program repair workshop ☶ event meetup.com
    derek-jones avatar via derek-jones 9 months ago | cached | no comments
  10. 34
    Blogs worth following ☶ ask science
    derek-jones avatar authored by derek-jones 10 months ago | 24 comments
  11. 52
    New books worth reading in 2019 ☶ ask book
    derek-jones avatar authored by derek-jones 10 months ago | 8 comments
  12. 7
    A study, a replication, and a rebuttal; SE research is starting to become serious ☶ programming shape-of-code.coding-guidelines.com
    derek-jones avatar authored by derek-jones 11 months ago | cached | 2 comments
  13. 6
    Design considerations for Mars colony computer systems hardware shape-of-code.coding-guidelines.com
    derek-jones avatar via derek-jones 11 months ago | cached | 15 comments
  14. 14
    Mutation Analysis for Coq ☶ formalmethods cozy.ece.utexas.edu
    derek-jones avatar via derek-jones 11 months ago | cached | no comments
  15. 4
    Number Theorist Fears All Published Math Is Wrong math vice.com
    derek-jones avatar via derek-jones 11 months ago | cached | 14 comments
  16. 10
    Announcing the Rule 30 Prizes math writings.stephenwolfram.com
    derek-jones avatar via derek-jones 1 year ago | cached | 5 comments
  17. 24
    Executable formal semantics for the POSIX shell formalmethods testing unix arxiv.org
    derek-jones avatar via derek-jones 1 year ago | cached | 6 comments
  18. -1
    Senate passes cybersecurity bill to decrease grid digitization, move toward manual control hardware law security utilitydive.com
    derek-jones avatar via derek-jones 1 year ago | cached | 1 comment
  19. 4
    CurryOn afternoon workshop, in London event meetup.com
    derek-jones avatar via derek-jones 1 year ago | cached | no comments
  20. 17
    Buying a book that is available in pdf ☶ ask book
    derek-jones avatar authored by derek-jones 1 year ago | 33 comments
  21. 0
    SpaceX’s Raptor engine: comparing to other rocket engines hardware performance everydayastronaut.com
    derek-jones avatar via derek-jones 1 year ago | cached | no comments
  22. 1
    Website Popularity Rankings An Extensive Analysis web labs.ripe.net
    derek-jones avatar via derek-jones 1 year ago | cached | no comments
  23. 6
    Value categories, and references to them c++ docs.microsoft.com
    derek-jones avatar via derek-jones 1 year ago | cached | no comments
  24. 18
    MI5 agent caught selling Huawei exploits on Russian hacker forums practices security shape-of-code.coding-guidelines.com
    derek-jones avatar authored by derek-jones 1 year ago | cached | 8 comments
  25. 3
    3 Moments in History that Explain the ICO Bubble cryptocurrencies finance hackernoon.com
    derek-jones avatar via derek-jones 1 year ago | cached | no comments
Page 2 >>