Newest stories submitted by GeoffWozniak.

  1. 1
    Machine Learning in Static Analysis of Program Source Code ai medium.com
    GeoffWozniak avatar via GeoffWozniak 11 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 6
    IDE as Code: Reifying Language Protocols as First-Class Citizens programming hal.inria.fr
    GeoffWozniak avatar via GeoffWozniak 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  3. 28
    The Underwhelming Impact of Software Engineering Research programming iansommerville.com
    GeoffWozniak avatar via GeoffWozniak 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  4. 36
    22 years of Emacs emacs arjenwiersma.nl
    GeoffWozniak avatar via GeoffWozniak 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 38 comments
  5. 36
    The Harmful Consequences of the Robustness Principle programming ietf.org
    GeoffWozniak avatar via GeoffWozniak 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  6. 12
    Why I use a debugger debugging blog.pnkfx.org
    GeoffWozniak avatar via GeoffWozniak 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 5
    The Usual Arithmetic Confusions c c++ shafik.github.io
    GeoffWozniak avatar via GeoffWozniak 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  8. 4
    Automated, Targeted Testing of Property-Based Testing Predicates testing cs.brown.edu
    GeoffWozniak avatar via GeoffWozniak 8 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 9
    Strange behavior with NaN and -ffast-math c kristerw.github.io
    GeoffWozniak avatar via GeoffWozniak 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  10. 24
    Optimizations enabled by -ffast-math c kristerw.github.io
    GeoffWozniak avatar via GeoffWozniak 10 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 14
    The lost art of software design pdf slides practices static.architectis.je
    GeoffWozniak avatar via GeoffWozniak 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 9
    The select story compilers aqjune.github.io
    GeoffWozniak avatar via GeoffWozniak 10 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 5
    TruthfulQA: Measuring How Models Mimic Human Falsehoods ☶ pdf ai owainevans.github.io
    GeoffWozniak avatar via GeoffWozniak 11 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 21
    It's Time for Operating Systems to Rediscover Hardware video osdev youtube.com
    GeoffWozniak avatar via GeoffWozniak 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  15. 28
    From Stolen Laptop to Inside the Company Network security dolosgroup.io
    GeoffWozniak avatar via GeoffWozniak 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  16. 24
    A monorepo misconception - atomic cross-project commits vcs snellman.net
    GeoffWozniak avatar via GeoffWozniak 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  17. 10
    Program Verification: Vision and Reality formalmethods cacm.acm.org
    GeoffWozniak avatar via GeoffWozniak 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  18. 5
    A Tale of Four Kernels (2008) osdev dmst.aueb.gr
    GeoffWozniak avatar via GeoffWozniak 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 7
    Evolution of the Unix System Architecture: An Exploratory Case Study historical unix ieeexplore.ieee.org
    GeoffWozniak avatar via GeoffWozniak 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 1
    Tales of Debugging from The Front Lines (1993) pdf debugging citeseerx.ist.psu.edu
    GeoffWozniak avatar via GeoffWozniak 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 24
    Cores that don't count ☶ pdf hardware sigops.org
    GeoffWozniak avatar via GeoffWozniak 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  22. 10
    Emacs link scraping (2021 edition) emacs xenodium.com
    GeoffWozniak avatar via GeoffWozniak 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 1
    Vulnerable Compliance (2010) video security usenix.org
    GeoffWozniak avatar via GeoffWozniak 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 1
    What Makes for a Successful Protocol? (2008) networking datatracker.ietf.org
    GeoffWozniak avatar via GeoffWozniak 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 4
    The Robustness Principle Reconsidered (2011) ☶ programming cacm.acm.org
    GeoffWozniak avatar via GeoffWozniak 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
Page 2 >>