Newest stories submitted by safinaskar.

  1. 12
    Standard proposal for memory-Safety in C (2024) pdf c open-std.org
    safinaskar avatar via safinaskar 15 days ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  2. 1
    Postscript on "Open Source Software and Corporate Influence" ☶ philosophy alilleybrinker.com
    safinaskar avatar via safinaskar 28 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 3
    MV3 Chrome extension with iframe, which embeds any site browsers javascript web safinaskar.writeas.com
    safinaskar avatar authored by safinaskar 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 15
    Autodafe 1.0 Released For Freeing Projects Of Autotools 2 linux unix phoronix.com
    safinaskar avatar via safinaskar 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 27 comments
  5. 15
    This is why you should never use parser combinators and PEG compilers haskell rust safinaskar.writeas.com
    safinaskar avatar authored by safinaskar 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 23 comments
  6. 12
    P3292R0R0: Provenance and Concurrency c c++ compilers compsci open-std.org
    safinaskar avatar via safinaskar 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  7. 5
    This is why you should never use de Bruijn indices, especially if you program in Rust compilers formalmethods haskell plt rust safinaskar.writeas.com
    safinaskar avatar authored by safinaskar 10 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 7
    1001 Representations of Syntax with Binding (comparison table) (2021) 2 compilers formalmethods haskell plt jesper.cx
    safinaskar avatar via safinaskar 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  9. 11
    Bcachefs Lands Big Scalability Improvement, Disables Debug Option By Default linux performance phoronix.com
    safinaskar avatar via safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  10. 84
    Git Notes: git's coolest, most unloved­ feature (2022) vcs tylercipriani.com
    safinaskar avatar via safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 25 comments
  11. 20
    Attempting to use bcachefs (unsuccessfully) linux merkle-trees kevincox.ca
    safinaskar avatar via safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  12. 17
    The most ugly trick in Rust language plt rust types.pl
    safinaskar avatar authored by safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 14 comments
  13. 10
    IEEE floating point is like having a built-in Stradivari in each home appliance (2008) ☶ assembly c compilers math programming yosefk.com
    safinaskar avatar via safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  14. 9
    CS SYD - Ad-hoc polymorphism erodes type-safety (type traits in Rust are dangerous for refactoring!) haskell plt practices programming rust cs-syd.eu
    safinaskar avatar via safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  15. 24
    RFC 7493: The I-JSON Message Format (restricted subset of JSON for better interoperability) (2015) api programming rfc-editor.org
    safinaskar avatar via safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 22 comments
  16. 22
    Merkle trees and build systems (Nix alternative) (2020) linux merkle-trees nix vcs virtualization lwn.net
    safinaskar avatar via safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  17. 49
    Fantastic Learning Resources programming matklad.github.io
    safinaskar avatar via safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 26 comments
  18. 2
    Solving NP-hard problems by sending information back in time? ☶ pdf science arxiv.org
    safinaskar avatar via safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 27
    Why Static Languages Suffer From Complexity (and type-safe printf implementation without macros) plt rust zig hirrolot.github.io
    safinaskar avatar via safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 33 comments
  20. -4
    Zstd still has unclear license status c law performance types.pl
    safinaskar avatar authored by safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  21. 3
    My deduplication solution written in Rust beats everything else, i. e. casync, borg databases merkle-trees rust virtualization github.com/borgbackup
    safinaskar avatar authored by safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  22. 11
    Compressor in Rust; compresses as good as "zstd -19", while being 10 times faster performance rust github.com/richox
    safinaskar avatar via safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  23. 19
    HPC is dying, and MPI is killing it (2015) distributed scaling science dursi.ca
    safinaskar avatar via safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments
  24. 3
    Fixing the Next Thousand Deadlocks: Why Buffered Streams Are Broken and How To Make Them Safer rust blog.polybdenum.com
    safinaskar avatar via safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 12
    Novel way of handling integer overflow, which actually follows Liskov Substitution Principle (2021) ☶ plt rust security blog.polybdenum.com
    safinaskar avatar via safinaskar 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
Page 2 >>