Newest stories submitted by phk.

  1. 32
    Naming sum types is often hard programming chrisdone.com
    phk avatar via phk 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 40 comments
  2. 7
    Formal Methods: Just Good Engineering Practice? formalmethods brooker.co.za
    phk avatar via phk 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  3. 4
    Principled Ad-Hoc Polymorphism [2018] plt typesanitizer.com
    phk avatar via phk 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 7
    The importance of documenting things programming dev.to/mikulskibartosz
    phk avatar via phk 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 5
    On Formalism in Specifications ☶ pdf math programming se.ethz.ch
    phk avatar via phk 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 30
    ripgrep code review rust blog.mbrt.it
    phk avatar via phk 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 3
    Evidence Based Scheduling practices joelonsoftware.com
    phk avatar via phk 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 5
    A new way of testing programming testing akkartik.name
    phk avatar via phk 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  9. 9
    Mathematicians are chronically lost and confused (and that's how it's supposed to be) math j2kun.svbtle.com
    phk avatar via phk 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  10. 2
    Unforgettable attributes programming ruby thepugautomatic.com
    phk avatar via phk 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 8
    Flake: A Decentralized, K-Ordered Unique ID Generator compsci distributed erlang boundary.com
    phk avatar via phk 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 5
    Validate Your Assumptions practices programming labnotes.org
    phk avatar via phk 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 16
    Designing And Building Stockfighter, Our Programming Game games go programming ruby kalzumeus.com
    phk avatar via phk 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 13
    Learning Fluency culture medium.com/@sarambsimon
    phk avatar via phk 9 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  15. 1
    A More Glorious Failure philosophy dirtsimple.org
    phk avatar via phk 9 years ago |
    Archive.org Archive.today Ghostarchive
    | 17 comments
  16. 6
    Self, version 2.0 philosophy dirtsimple.org
    phk avatar via phk 9 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  17. 6
    RailsConf 2015 - Implementing a Strong Code-Review Culture video practices youtube.com
    phk avatar via phk 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 20
    Speed matters: Why working quickly is more important than it seems philosophy jsomers.net
    phk avatar via phk 9 years ago |
    Archive.org Archive.today Ghostarchive
    | 19 comments
  19. 2
    The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors (2013) pdf compsci web.mit.edu
    phk avatar via phk 9 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  20. 32
    Never Invent Here: the even-worse sibling of "Not Invented Here" programming michaelochurch.wordpress.com
    phk avatar via phk 9 years ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments