1. 2
    Tacit Knowledge, Trust, and the Q of Sapphire (2000) ☶ pdf practices science orca.cf.ac.uk
    pushcx avatar via pushcx 3 months ago | cached | no comments
  2. 17
    The Crooked Timber of Humanity historical networking security 1843magazine.com
    pushcx avatar via pushcx 3 months ago | cached | 1 comment
  3. 12
    Railway Oriented programming in Ruby: do notation vs dry-transaction ruby morozov.is
    pushcx avatar via pushcx 3 months ago | cached | 5 comments
  4. 5
    Dynamic Bézier Curves graphics javascript joshwcomeau.com
    pushcx avatar via pushcx 3 months ago | cached | no comments
  5. 26
    Learning Nix by Example: Building FFmpeg 4.0 unix blog.kiloreux.me
    pushcx avatar via pushcx 3 months ago | cached | no comments
  6. 10
    The Case of the Phantom Caller audio transcript debugging gimletmedia.com
    pushcx avatar via pushcx 3 months ago | cached | 1 comment
  7. 13
    Protocol for Asynchronous, Reliable, Secure and Efficient Consensus (PARSEC) pdf distributed docs.maidsafe.net
    pushcx avatar via pushcx 3 months ago | cached | 1 comment
  8. 2
    Type Safety in Three Easy Lemmas (2013) compsci siek.blogspot.com
    pushcx avatar via pushcx 3 months ago | cached | no comments
  9. 27
    Free Software Needs Free Tools ☶ video practices youtube.com
    pushcx avatar via pushcx 3 months ago | cached | 5 comments
  10. 2
    Haskell Lens Operator Onboarding haskell medium.com
    pushcx avatar via pushcx 3 months ago | cached | no comments
  11. 8
    The Verge Hack, Explained cryptocurrencies blog.theabacus.io
    pushcx avatar via pushcx 3 months ago | cached | 7 comments
  12. 23
    SmoothLife: Generalization of Conway's "Game of Life" to a continuous domain math python release github.com
    pushcx avatar via pushcx 3 months ago | cached | 6 comments
  13. 2
    An Explanation of Unification haskell plt github.com
    pushcx avatar via pushcx 3 months ago | cached | no comments
  14. 4
    Generating Custom Sequences in Postgres databases viccherubini.com
    pushcx avatar via pushcx 3 months ago | cached | no comments
  15. 3
    Interactive Waffle Charts in Excel visualization policyviz.com
    pushcx avatar via pushcx 3 months ago | cached | no comments
  16. 25
    A Formal Security Analysis of the Signal Messaging Protocol ☶ pdf formalmethods security eprint.iacr.org
    pushcx avatar via pushcx 3 months ago | cached | no comments
  17. 42
    Microsoft’s new Xbox controller is designed entirely for players with disabilities games hardware polygon.com
    pushcx avatar via pushcx 3 months ago | cached | 12 comments
  18. 6
    Why I am not a fan of Cabal or Stack haskell rant rntz.net
    pushcx avatar via pushcx 3 months ago | cached | 4 comments
  19. 22
    Lightweight concurrency in Lua lua wingolog.org
    pushcx avatar via pushcx 3 months ago | cached | 1 comment
  20. 13
    What if JavaScript wins? javascript medium.com
    pushcx avatar via pushcx 3 months ago | cached | 18 comments
  21. 5
    Objects with special collection routines in GHC's GC compilers haskell well-typed.com
    pushcx avatar via pushcx 3 months ago | cached | no comments
  22. 8
    Pinpointing deadlocks in Haskell debugging haskell fpcomplete.com
    pushcx avatar via pushcx 3 months ago | cached | no comments
  23. 34
    Using Vim's Conceal Feature to Make Code More Readable (For You) vim alok.github.io
    pushcx avatar via pushcx 3 months ago | cached | 16 comments
  24. 10
    From Unit Testing to Formal Proofs formalmethods python testing adampalay.com
    pushcx avatar via pushcx 3 months ago | cached | 1 comment
  25. 8
    ZSH, tmux, Emacs and SSH: A copy-paste story unix blog.d46.us
    pushcx avatar via pushcx 3 months ago | cached | 2 comments
<< Page 3 | Page 5 >>