1. 14
    A careful commit history will make code review easier vcs enpo.no
    enpo avatar authored by enpo 9 hours ago | cached | 9 comments
  2. 8
    How Plus Addressing Can Prevent Spam privacy security kevq.uk
    kev avatar authored by kev 9 hours ago | cached | 9 comments
  3. 10
    Six Ways to Level Up Your nmap Game linux networking zwischenzugs.com
    zwischenzugs avatar authored by zwischenzugs 13 hours ago | cached | 1 comment
  4. 5
    More speed, lower velocity practices sicpers.info
    leeg avatar authored by leeg 11 hours ago | cached | 2 comments
  5. 19
    Thoughts for a new minimal markup language ☶ ask show compsci plt
    HenriTuhola avatar authored by HenriTuhola 21 hours ago | 13 comments
  6. 3
    MicroTESK (toolkit that automates development of test program generators for microprocessors) ☶ formalmethods hardware testing microtesk.org
    sergeyb avatar via sergeyb 2 hours ago | cached | 1 comment
  7. 6
    Strange Loop 2018: You are a Program Synthesizer (video + transcript) design formalmethods plt programming pathsensitive.com
    jkoppel avatar authored by jkoppel 15 hours ago | cached | 2 comments
  8. 13
    C library system-call wrappers, or the lack thereof linux lwn.net
    calvin avatar via calvin 17 hours ago | cached | 1 comment
  9. 3
    How do you document a tech project with comics? art practices jvns.ca
    calvin avatar via calvin 8 hours ago | cached | 1 comment
  10. 3
    FreeBSD Graphics Blog - Getting Started With drm-kmod freebsd freebsddesktop.github.io
    vermaden avatar via vermaden 6 hours ago | cached | no comments
  11. 16
    List of companies that uses formal methods in software engineering formalmethods github.com
    sergeyb avatar authored by sergeyb 30 hours ago | cached | 1 comment
  12. 1
    Cross-Platform, Language Design ☶ pdf compilers javascript plt scala lampwww.epfl.ch
    nickpsecurity avatar via nickpsecurity 3 hours ago | cached | no comments
  13. 4
    Berkeley smorgasbord erlang openbsd web blog.obligd.com
    nato avatar authored by nato 19 hours ago | cached | 1 comment
  14. 10
    One Frickin' User Interface for Linux culture historical linux rant web.archive.org
    zge avatar via zge 9 hours ago | cached | 4 comments
  15. 11
    Accidentally From macOS to Windows and WSL linux windows blog.questionable.services
    calvin avatar via calvin 23 hours ago | cached | 2 comments
  16. 1
    CPA-SymExec: Efficient Symbolic Execution in CPAchecker ☶ pdf c formalmethods testing sosy-lab.org
    nickpsecurity avatar via nickpsecurity 5 hours ago | cached | no comments
  17. 1
    A Better Alternative to Piecewise Linear Time Series Segmentation (2007) ☶ pdf c++ databases math visualization arxiv.org
    nickpsecurity avatar via nickpsecurity 5 hours ago | cached | no comments
  18. 2
    Do the right thing: IT in the age of social responsibility video culture programming youtube.com
    lattera avatar via lattera 4 hours ago | cached | 1 comment
  19. 8
    Why Futhark (sometimes) goes wrong programming futhark-lang.org
    calvin avatar via calvin 23 hours ago | cached | 2 comments
  20. 22
    Secrets of smooth Béziers revealed art graphics visualization raphlinus.github.io
    raph avatar authored by raph 38 hours ago | cached | 6 comments
  21. 39
    Electron and the Decline of Native Apps mac daringfireball.net
    calvin avatar via calvin 43 hours ago | cached | 52 comments
  22. 12
    From .vimrc to .vim vim vimways.org
    calvin avatar via calvin 33 hours ago | cached | 4 comments
  23. 19
    Engelbart Demo at 50 historical doug-50.info
    leeg avatar via leeg 36 hours ago | cached | 10 comments
  24. 14
    The Swiss Army Knife of Hashmaps compsci blog.waffles.space
    calvin avatar via calvin 33 hours ago | cached | no comments
  25. 25
    Don't use the greater than sign in programming programming llewellynfalco.blogspot.com
    Sietsebb avatar via Sietsebb 47 hours ago | cached | 22 comments
Page 2 >>