HN Explorer

curling_grad

↗ HN profile [ 75.9 ms ] full profile
Karma
1,591
Created
October 13, 2021 (4y ago)
Submissions
0
  1. Butterick's Practical Typography (practicaltypography.com)
    12 points 1
  2. Monocle: Optics Library for Scala (optics.dev)
    106 points 69
  3. What is the Strict Aliasing Rule and Why do we care? (gist.github.com)
    1 points 0
  4. RepoQL: A Python library designed for querying Git repositories (github.com)
    1 points 0
  5. IWYU: A tool for use with Clang to analyze includes in C and C++ source files (include-what-you-use.org)
    3 points 0
  6. Csmith, a random generator of C programs (github.com)
    2 points 0
  7. Smashing the state machine: the true potential of web race conditions (portswigger.net)
    8 points 0
  8. Bazel Mystery: an interactive way to learn Bazel (github.com)
    2 points 0
  9. Video tutorials for the Coq proof assistant (math.andrej.com)
    2 points 0
  10. Dynamic Languages Strike Back (2008) (steve-yegge.blogspot.com)
    47 points 47
  11. Why don't we define “imaginary” numbers for every “impossibility”? (2012) (math.stackexchange.com)
    116 points 97
  12. HabitLab: Change Your Online Habits (habitlab.github.io)
    1 points 0
  13. Penrose: Create beautiful diagrams just by typing math notation in plain text (penrose.cs.cmu.edu)
    3 points 0
  14. 1 points 0
  15. Principal component analysis can negatively impact science (deeplearning.ai)
    1 points 1
  16. SVG Viewing and Diffing in GitHub (2014) (github.blog)
    1 points 0
  17. After SLS, what is the next rocket building project for NASA? (space.stackexchange.com)
    2 points 0
  18. See No Eval: Runtime Dynamic Code Execution in Objective-C (2021) (codecolor.ist)
    2 points 0
  19. Game of Low Latency (jabperf.com)
    2 points 0
  20. Chimera at FOSDEM 2023 and the path towards alpha (chimera-linux.org)
    2 points 0
  21. Chimera Linux (chimera-linux.org)
    3 points 0
  22. How did it come that SATA HDD use ATA while SATA CD drives use SCSI as protocol? (retrocomputing.stackexchange.com)
    25 points 5
  23. Null Island (en.wikipedia.org)
    2 points 0
  24. Smithy: A language for defining services and SDKs (smithy.io)
    3 points 0
  25. Golden Cove’s Vector Register File: Checking with Official (SPR) Data (chipsandcheese.com)
    1 points 0