HN Explorer

Noghartt

↗ HN profile [ 60.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. DIY your own open-source Robot Vacuum (twitter.com)
    2 points 0
  2. Show HN: Quint Visualizer – A GraphViz-like visualizer for Quint traces (quint-visualizer.noghartt.dev)

    I started digging deeper into Quint (https://quint-lang.org/), but I missed a tool that let me explore trace samples, something like how TLA+ uses GraphViz to visualize the state graph. So I vibecoded a small web tool…

    3 points 0
  3. Bored People Quit (randsinrepose.com)
    4 points 0
  4. Computers Keep Time [video] (youtube.com)
    1 points 0
  5. AI/ML for Biology and Healthcare: A Learning Path (iamtk.co)
    1 points 0
  6. No Shorts Please Hidden YouTube RSS Feed URLs (blog.amen6.com)
    4 points 0
  7. React-Native-Godot (github.com)
    71 points 2
  8. PaxHistoria – an alternate history sandbox game based on AI (paxhistoria.co)
    4 points 0
  9. Ongoing Tradeoffs, and Incidents as Landmarks (ferd.ca)
    3 points 0
  10. Show HN: Container-compose – A Docker-compose like tool for Apple containers (github.com)

    Hey HN, recently Apple release their own container manager tooling, but it's missing a "compose-like" tool. I'm building this CLI as a side-project and a way to help on the usage with the main tool. It's in a early…

    59 points 16
  11. Scale Makes Distributed Systems Slower – Goto 2024 [video] (youtube.com)
    2 points 0
  12. Crafting Your Environment (ericnormand.substack.com)
    2 points 0
  13. High Agency in 30 Minutes (highagency.com)
    3 points 1
  14. Deterministic Simulation Testing – applying simulation testing on Simple Paxos (poorlydefinedbehaviour.github.io)
    1 points 0
  15. 1 points 0
  16. 1 points 0
  17. 1 points 0
  18. 1 points 0
  19. List of Computer Science Resources (noghartt.dev)
    1 points 0
  20. RSS and why I believe most people should come back using them (noghartt.dev)
    48 points 51
  21. Twitter let you put an embedded interactive website as a tweet (twitter.com)
    2 points 0
  22. Ask HN: Any hardware/electronic blog recommendation?

    I really like hardware/eletronic blogs that brings some good content about historical hardware, like the blog posts by Ken Shriff's blog (https://www.righto.com/) and Ben Eater YouTube channel. Do you have any good…

    7 points 6
  23. 1 points 0
  24. 1 points 0
  25. Getting YouTube channels RSS feed in an easier way (youtube-rss-nu.vercel.app)
    2 points 2