1. 5
    The Great Theorem Prover Showdown formalmethods plt hillelwayne.com
    hwayne avatar authored by hwayne 1 hour ago | cached | 1 comment
  2. 46
    A Modular and Open Source Router is Being Crowdfunded hardware itsfoss.com
    johnblood avatar authored by johnblood 23 hours ago | cached | 9 comments
  3. 21
    Proposal for Ruby pattern matching ruby bugs.ruby-lang.org
    soulcutter avatar via soulcutter 13 hours ago | cached | 4 comments
  4. 2
    Why I've lost faith in p values math science lucklab.ucdavis.edu
    pushcx avatar via pushcx 50 minutes ago | cached | 2 comments
  5. 4
    Program Reduction: A Win for Recursion Schemes haskell plt newartisans.com
    NinjaTrappeur avatar via NinjaTrappeur 2 hours ago | cached | no comments
  6. 3
    Installing Node.js Tutorial: Using snaps on Linux javascript linux nodejs nodesource.com
    ev avatar via ev 5 hours ago | cached | 5 comments
  7. 16
    Falsehoods Programmers Believe About Names (2010) programming kalzumeus.com
    loch avatar via loch 20 hours ago | cached | 8 comments
  8. 1
    Taming Rails memory bloat linux ruby mikeperham.com
    mperham avatar authored by mperham 41 minutes ago | cached | no comments
  9. 1
    ORM-less Data Access in .Net Core databases dotnet blinkingcaret.com
    rdfi avatar authored by rdfi 1 hour ago | cached | no comments
  10. 18
    Hijack of Amazon’s internet domain service used to reroute web traffic for two hours unnoticed networking security doublepulsar.com
    minimax avatar via minimax 18 hours ago | cached | 1 comment
  11. 9
    JavaScript Pattern Matching Proposal javascript github.com
    joshuacc avatar via joshuacc 12 hours ago | cached | no comments
  12. 2
    Toward a Framework for Highly Automated Vehicle Safety Validation, Philip Koopman & Michael Wagner pdf formalmethods practices testing users.ece.cmu.edu
    trn avatar via trn 1 hour ago | cached | no comments
  13. 2
    open-source data analysis and publishing platform clojure visualization github.com
    Yogthos avatar via Yogthos 2 hours ago | cached | no comments
  14. 65
    A more privacy-friendly blog privacy web vincent.bernat.im
    vbernat avatar authored by vbernat 43 hours ago | cached | 32 comments
  15. 6
    Transcript of Russ Cox Interview on GoTime transcript go github.com
    zpojqwfejwfhiunz avatar via zpojqwfejwfhiunz 11 hours ago | cached | 1 comment
  16. 5
    The thinking face of software design ios programming medium.com
    zmcartor avatar authored by zmcartor 17 hours ago | cached | 3 comments
  17. 18
    Is English Wikipedia’s ‘rise and decline’ typical? web mako.cc
    pizzaiolo avatar via pizzaiolo 27 hours ago | cached | 17 comments
  18. 1
    How does Stack Overflow do pagination? databases programming meta.stackoverflow.com
    calvin avatar via calvin less than a minute ago | cached | no comments
  19. 12
    How to prove a compiler fully abstract compilers formalmethods plt dbp.io
    dbp avatar authored by dbp 25 hours ago | cached | 3 comments
  20. 5
    Augmenting Human Intellect: A Conceptual Framework (1962) ☶ cogsci programming dougengelbart.org
    pushcx avatar via pushcx 14 hours ago | cached | 1 comment
  21. 36
    A sketch of string unescaping on GPGPU ☶ performance gist.github.com
    raph avatar authored by raph 39 hours ago | cached | 12 comments
  22. 0
    Serverless vs Containers: Comparing your Application Deployment Options devops practices virtualization simform.com
    RohitAkki avatar authored by RohitAkki 19 minutes ago | cached | no comments
  23. 3
    Rails Hosting Survey 2018 ruby rails-hosting.com
    mulander avatar via mulander 8 hours ago | cached | no comments
  24. 1
    How to add in-context translation editing for Angular applications with I18n support javascript practices web phraseapp.com
    phrase avatar via phrase 2 hours ago | cached | no comments
  25. 18
    SkyKnit: When knitters teamed up with a neural network ai aiweirdness.com
    calvin avatar via calvin 26 hours ago | cached | 4 comments
Page 2 >>