HN Explorer

RossBencina

↗ HN profile [ 69.7 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Sollya: An environment and library for safe floating-point code development (sollya.org)
    1 points 1
  2. Switchberry – CM4 Managed Switch for PTP, GPS, NTP, and PPS (github.com)
    3 points 1
  3. The Code That Revolutionized Orbital Simulation [video] (youtube.com)
    7 points 1
  4. Brain Crack (2006) [video] (youtube.com)
    2 points 0
  5. Dependable C (dependablec.org)
    65 points 9
  6. The Gamma Language (lair.masot.net)
    40 points 4
  7. Gerschgorin Disks and Brauer's ovals of Cassini (2014) (bwlewis.github.io)
    5 points 1
  8. White Rabbit Timing Solutions (timebeat.app)
    2 points 0
  9. Ask HN: What are examples of awesome open source project websites?

    Often when an open source project is discussed here on HN there is a conversation around the project's website. Criticisms and suggestions for improvement get raised. In that spirit, could you name examples of awesome…

    17 points 8
  10. Gaussian Splatting with Discretized SDF for Relightable Assets (nk-cs-zzl.github.io)
    1 points 0
  11. The Nvidia GPU Black Market [video] (archive.org)
    6 points 0
  12. Modos Paper Monitor – Open-hardware e-paper monitor and dev kit (crowdsupply.com)
    331 points 18
  13. Parsing Without ASTs and Optimizing with Sea of Nodes [video] (youtube.com)
    2 points 1
  14. Simple – A Sea-of-Nodes Compiler IR Tutorial (github.com)
    2 points 0
  15. Pony: An actor-model, capabilities-secure, high-performance programming language (ponylang.io)

    https://www.ponylang.io/discover/ https://playground.ponylang.io/

    286 points 62
  16. Proceedings of the Symposium on Experimental Algorithms (SEA2025) (drops.dagstuhl.de)
    2 points 0
  17. It's Not as Simple as "Use a Memory Safe Language" [video] (youtube.com)
    1 points 0
  18. InControl – the first podcast on control theory [2022- ] (incontrolpodcast.com)
    1 points 0
  19. The Difference Between Instrumental and Relational Understanding (2012) (davidwees.com)
    2 points 0
  20. Open-Typer: a free and open source typing tutor (open-typer.github.io)
    2 points 0
  21. Brilliant Engineering Behind AirPods [video] (youtube.com)
    2 points 2
  22. Optimal Protein Intake Guide (examine.com)
    1 points 0
  23. Interview: Former Boeing manager turned whistleblower Ed Pierson [video] (youtube.com)
    2 points 0
  24. The Synthesis of Complex Audio Spectra by Means of Frequency Modulation [pdf] (ccrma.stanford.edu)
    2 points 0
  25. Zero to ASIC Course (zerotoasiccourse.com)
    2 points 1