HN Explorer

nwah1

↗ HN profile [ 5840 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Why isn't Proof-Carrying Code more popular?

    It seems that Typed Assembly Language and the notion of Proof-Carrying Code have proved that you can ship binaries that contain formal guarantees of certain properties, like memory-safety. This approach seems like it…

    1 points 0
  2. Ask HN: Where do breakthroughs in computer science come from?

    I know that plenty of breakthroughs have come from academia and research organizations, some have come from lone researchers who had a eureka moment, some have come from collaboration in the open source community, and…

    1 points 0
  3. Reproducibility is routine in programming. Science should learn from it (symbiogenesis.medium.com)
    2 points 0
  4. The .NET IL Linker (github.com)
    2 points 0
  5. C# Compiler Strict Mode (meziantou.net)
    3 points 0
  6. Towards Transparent Machine Learning (arxiv.org)
    2 points 0
  7. Towards Transparent Machine Learning (TML) (youtube.com)
    3 points 0
  8. Reproducible Arch Linux (vdwaa.nl)
    243 points 48
  9. The San Francisco Bay Area: A Modern Housing Crisis (earthsharing.org)
    1 points 0