1. 8
    TLA+ specification of the consistent prefix guarantee databases distributed formalmethods muratbuffalo.blogspot.com
    metadata avatar authored by metadata 6 days ago | cached | no comments
  2. 2
    Ideal Hash Trees (2001) pdf compsci infoscience.epfl.ch
    NinjaTrappeur avatar via NinjaTrappeur 5 days ago | cached | no comments
  3. 19
    Manifesto for Minimalist Software Engineers practices minifesto.org
    enkiv2 avatar via enkiv2 6 days ago | cached | 17 comments
  4. 4
    4 Things Developers Take for Granted That Used to Be Really Hard programming dev.to
    remotesynth avatar authored by remotesynth 6 days ago | cached | 2 comments
  5. 20
    Beej's Quick Guide to GDB debugging education beej.us
    friendlysock avatar via friendlysock 6 days ago | cached | no comments
  6. 9
    Oracle Solaris 11.4 Released for General Availability illumos release blogs.oracle.com
    vermaden avatar via vermaden 6 days ago | cached | 9 comments
  7. 2
    LibreDWG revived, starts getting regular releases release libregraphicsworld.org
    pizzaiolo avatar via pizzaiolo 5 days ago | cached | no comments
  8. 3
    Why programs must not limit the freedom to run them culture gnu.org
    Yogthos avatar via Yogthos 5 days ago | cached | 1 comment
  9. 23
    Lobste.rs | Hacker News meta news.ycombinator.com
    tosh avatar via tosh 5 days ago | cached | 36 comments
  10. 0
    Linux Kernel Developer Criticizes Intel for Meltdown, Spectre Response linux security eweek.com
    tosh avatar via tosh 5 days ago | cached | 1 comment
  11. 7
    A mathematical basis for understanding software modularity formalmethods yodaiken.com
    vyodaiken avatar authored by vyodaiken 6 days ago | cached | 2 comments
  12. 2
    TDD for those who don't need it ☶ video testing youtube.com
    alexelcu avatar via alexelcu 5 days ago | cached | no comments
  13. 3
    How to Create a Docker Development Environment web nrempel.com
    nbrempel avatar authored by nbrempel 5 days ago | cached | no comments
  14. 1
    Machine Learning for CI devops testing github.com
    sergeyb avatar via sergeyb 5 days ago | cached | 1 comment
  15. 1
    Motherfucking Website culture web motherfuckingwebsite.com
    minastirid avatar via minastirid 5 days ago | cached | 4 comments
  16. 6
    Librem5 Progress Report: Let’s get Chatty mobile networking puri.sm
    azdle avatar via azdle 6 days ago | cached | 1 comment
  17. 7
    Fibonacci Algorithms in Elixir elixir erlang performance stratus3d.com
    Stratus3D avatar authored by Stratus3D 6 days ago | cached | 3 comments
  18. 4
    Insight into Future of TrueOS BSD and Project Trident freebsd itsfoss.com
    vermaden avatar via vermaden 6 days ago | cached | 6 comments
  19. 1
    depot_tools: Git tools from Google ☶ vcs commondatastorage.googleapis.com
    jmk avatar via jmk 5 days ago | cached | no comments
  20. 2
    Three C-Words of Web App Security: Part 1 – CORS browsers security web blog.secureideas.com
    calvin avatar via calvin 5 days ago | cached | no comments
  21. 10
    Ubuntu Security Guidance by GCHQ linux security ncsc.gov.uk
    comzeradd avatar via comzeradd 6 days ago | cached | no comments
  22. 10
    Zero-copy deserialization in Julia programming scattered-thoughts.net
    jamesjporter avatar via jamesjporter 6 days ago | cached | no comments
  23. 3
    TIL about a five year old feature - Lobsters by mail ☶ meta lobste.rs
    begriffs avatar via begriffs 5 days ago | cached | no comments
  24. 4
    Is Intel Hyper-Threading (SMT) a Fundamental Security Risk? ☶ hardware security extremetech.com
    vermaden avatar via vermaden 6 days ago | cached | 1 comment
  25. 5
    Mozilla will disable legacy Firefox 52 ESR add-ons on 2018/09/05 browsers blog.mozilla.org
    vermaden avatar via vermaden 6 days ago | cached | 1 comment
<< Page 7 | Page 9 >>