Newest stories submitted by hwayne.

  1. 14
    PyMyFlySpy: track your flight using its headrest data python robertheaton.com
    hwayne avatar via hwayne 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  2. 17
    vim-history: Very very old history of Vim (from v1.14 to v6.4) historical vim github.com/vim
    hwayne avatar via hwayne 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 19
    How Many Values Does a Boolean Have? (2020) 2 plt danilafe.com
    hwayne avatar via hwayne 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  4. 3
    Wounded QR codes (2012) hardware datagenetics.com
    hwayne avatar via hwayne 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 10
    ShareMyScreen - see how J experts write a program apl code.jsoftware.com
    hwayne avatar via hwayne 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 10
    In Search of Types ☶ pdf historical plt humprog.org
    hwayne avatar via hwayne 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 1
    jspin: GUI for running the SPIN model checker formalmethods github.com/motib
    hwayne avatar via hwayne 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 8
    Thinking JavaScript (2017) javascript davidwalsh.name
    hwayne avatar via hwayne 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 1
    Automated Verification of Go Programs via Bounded Model Checking (2021) pdf formalmethods go pure.royalholloway.ac.uk
    hwayne avatar via hwayne 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 9
    A Relational Model of Data for Large Shared Data Banks (1970) pdf databases historical seas.upenn.edu
    hwayne avatar via hwayne 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  11. 19
    TLA from first principles formalmethods math buttondown.com/hillelwayne
    hwayne avatar authored by hwayne 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 1
    Self-publishing a book with reStructuredText, Sphinx, Calibre, and vim (2019) programming digitalsuperpowers.com
    hwayne avatar via hwayne 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 54
    Cognitive load practices minds.md
    hwayne avatar via hwayne 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 19 comments
  14. 40
    It's Not Easy Being Green: On the Energy Efficiency of Programming Languages ☶ pdf science arxiv.org
    hwayne avatar via hwayne 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 43 comments
  15. 5
    Why I use TLA+ and not(TLA+) formalmethods protocols-made-fun.com
    hwayne avatar via hwayne 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  16. 17
    Three-State Stability api practices matklad.github.io
    hwayne avatar via hwayne 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  17. 1
    How we verify the correctness of a spreadsheet engine testing rowzero.io
    hwayne avatar via hwayne 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 1
    Modeling Dystopia math argmin.net
    hwayne avatar via hwayne 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 2
    Linearizability! Refinement! Prophecy distributed formalmethods surfingcomplexity.blog
    hwayne avatar via hwayne 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 24
    Languages with Alternative "Hello World" Programs programming dgaston.net
    hwayne avatar via hwayne 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  21. 19
    Print this file, your printer will jam (2008) debugging hardware nedbatchelder.com
    hwayne avatar via hwayne 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  22. 4
    Mentally compute scientific calculator functions math johndcook.com
    hwayne avatar via hwayne 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 41
    Kid Pix - The Early Years historical red-green-blue.com
    hwayne avatar via hwayne 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  24. 4
    Home Baked Abstractions, Store Bought Implementations practices hazelweakly.me
    hwayne avatar via hwayne 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 8
    Generating Chess Puzzles Fast with Rust and Stockfish rust mbuffett.com
    hwayne avatar via hwayne 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
<< Page 1 | Page 3 >>