1. 1
    Verifying Fixed-Point Digital Filters using SMT - Based Bounded Model Checking ☶ pdf c formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 38 minutes ago | cached | no comments
  2. 1
    Towards usable checksums: automating the integrity verification of web downloads for the masses practices security web blog.acolyer.org
    nickpsecurity avatar via nickpsecurity 44 minutes ago | cached | no comments
  3. 4
    What are you working on this week? ☶ ask culture
    hyperpape avatar authored by hyperpape 1 hour ago | 5 comments
  4. 1
    Bezier Moi graphics math visualization cormullion.github.io
    friendlysock avatar via friendlysock 1 hour ago | cached | no comments
  5. 1
    Nextcloud 15 released release nextcloud.com
    comzeradd avatar via comzeradd 1 hour ago | cached | no comments
  6. 3
    KLEAK: Practical Kernel Memory Disclosure Detection pdf netbsd security netbsd.org
    coypoop avatar via coypoop 2 hours ago | cached | no comments
  7. 3
    AlphaFold @ CASP13: “What just happened?” ai science moalquraishi.wordpress.com
    akavel avatar via akavel 3 hours ago | cached | 1 comment
  8. 2
    Floaty - CSS Float Based Layout System css github.com
    vladocar avatar authored by vladocar 3 hours ago | cached | 2 comments
  9. 1
    When Your Profiler Lies debugging performance randomascii.wordpress.com
    calvin avatar via calvin 4 hours ago | cached | no comments
  10. 6
    A tale of 132 e's culture linuxwit.ch
    calvin avatar via calvin 4 hours ago | cached | 1 comment
  11. -3
    I'm working on first LTS release of Deployer. Please, consider supporting development on Patreon php patreon.com
    antonmedv avatar authored by antonmedv 5 hours ago | cached | no comments
  12. 7
    REXPaint - A powerful and user-friendly ASCII art editor ☶ games graphics gridsagegames.com
    zem avatar via zem 5 hours ago | cached | no comments
  13. 7
    Self Avoiding Walks math visualization datagenetics.com
    numberten avatar via numberten 6 hours ago | cached | no comments
  14. 4
    The Complexity Trap: Think Before You Leap programming danielwestheide.com
    jan avatar via jan 7 hours ago | cached | no comments
  15. 1
    Building an animated sticky header with custom offset css javascript web silvestarbistrovic.from.hr
    starbist avatar authored by starbist 7 hours ago | cached | no comments
  16. 4
    On self-publishing “A Programmer’s Introduction to Mathematics” book math medium.com
    zpojqwfejwfhiunz avatar via zpojqwfejwfhiunz 10 hours ago | cached | no comments
  17. 13
    Antitrust, the App Store, and Apple ios law stratechery.com
    calvin avatar via calvin 11 hours ago | cached | no comments
  18. 8
    PHP was never meant to die go performance php web blog.spiralscout.com
    cleong avatar via cleong 11 hours ago | cached | no comments
  19. 1
    RCE in PHP or how to bypass disable_functions in PHP installations php security lab.wallarm.com
    calvin avatar via calvin 11 hours ago | cached | no comments
  20. 1
    Cygwin and the Windows Subsystem for Linux, when to use one and not the other linux windows stevenrosenberg.net
    chrs_ avatar via chrs_ 13 hours ago | cached | 2 comments
  21. 6
    Faster than AMP web our.bitchin.party
    calvin avatar via calvin 13 hours ago | cached | 1 comment
  22. 1
    Secure headers and cookies for Python web frameworks ☶ python security web github.com
    TypeError avatar authored by TypeError 14 hours ago | cached | no comments
  23. 2
    hg advent -m '06: debugging hg-git' vcs kamalmarhubi.com
    kamalmarhubi avatar authored by kamalmarhubi 15 hours ago | cached | no comments
  24. 2
    Amazon Web Service EC2のa1インスタンスでNetBSD/aarch64を動かしてみる netbsd virtualization blog.onodera.asia
    sevan avatar via sevan 15 hours ago | cached | no comments
  25. 4
    MicroTESK (toolkit that automates development of test program generators for microprocessors) ☶ formalmethods hardware testing microtesk.org
    sergeyb avatar via sergeyb 19 hours ago | cached | 1 comment
Page 2 >>