Newest stories submitted by gasche.

  1. 12
    Code Style Sheets: CSS for Code pdf css plt arxiv.org
    gasche avatar via gasche 23 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 6
    LRGrep: Selecting Error Messages for LR parsers plt def.lakaban.net
    gasche avatar via gasche 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 36
    TeXpresso: live rendering and error reporting for LaTeX emacs release vim github.com/let-def
    gasche avatar via gasche 11 months ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  4. 7
    Quantifying Student Projects compsci futhark-lang.org
    gasche avatar via gasche 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 33
    Contributing to OCaml: Collective maintenance practices github.com/ocaml
    gasche avatar authored by gasche 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 15 comments
  6. 23
    Building a Secure Software Supply Chain with GNU Guix nix security programming-journal.org
    gasche avatar via gasche 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 16 comments
  7. 5
    Introducing Visual and Interactive-Syntax realized (VISr) for ClojureScript (and JavaScript) plt prl.ccs.neu.edu
    gasche avatar via gasche 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  8. 4
    Optimistic Concurrency Control for Real-world Go Programs compilers performance arxiv.org
    gasche avatar via gasche 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  9. 12
    New Syndicate website distributed plt eighty-twenty.org
    gasche avatar via gasche 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  10. 2
    Bounding data races in space and time – part I compilers compsci programming blog.acolyer.org
    gasche avatar via gasche 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 32
    Elastic tabstops - a better way to indent and align code programming nickgravgaard.com
    gasche avatar via gasche 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 42 comments
  12. 4
    Reachability and error diagnosis in LR(1) parsers ☶ pdf compilers gallium.inria.fr
    gasche avatar via gasche 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 11
    Lying to TCP makes it a best-effort streaming protocol networking eighty-twenty.org
    gasche avatar via gasche 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  14. 15
    Gagallium : How I found a bug in Intel Skylake processors debugging hardware programming gallium.inria.fr
    gasche avatar via gasche 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  15. 32
    Skylake bug: a detective story debugging hardware programming medium.com/ahrefs
    gasche avatar via gasche 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  16. 6
    Building a Website with Racket and Scribble programming web prl.ccs.neu.edu
    gasche avatar via gasche 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 11
    Top Five Results of the Past 50 Years of Programming Languages Research compsci prl.ccs.neu.edu
    gasche avatar via gasche 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  18. 15
    Wireworld in Emacs emacs programming dustycloud.org
    gasche avatar via gasche 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  19. 1
    Conversational Context and Concurrency compsci distributed programming prl.ccs.neu.edu
    gasche avatar via gasche 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 2
    Git Rev News Edition 24 (February 22nd, 2017) vcs git.github.io
    gasche avatar via gasche 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 2
    On privacy and anonymity in electronic and non electronic voting: the ballot-as-signature attack. ☶ pdf privacy security hal.archives-ouvertes.fr
    gasche avatar via gasche 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 14
    online social behaviors: the Real Name fallacy privacy blog.coralproject.net
    gasche avatar via gasche 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  23. 4
    git tbdiff: difference between topic branches vcs github.com/trast
    gasche avatar via gasche 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. -2
    Gitlab Strategy practices about.gitlab.com
    gasche avatar via gasche 9 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  25. 9
    DomTerm: A web-based rich terminal emulator unix lwn.net
    gasche avatar via gasche 9 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment