HN Explorer

_pyqs

↗ HN profile [ 51.0 ms ] full profile
Karma
1
Created
June 9, 2025 (1y ago)
Submissions
0
  1. New macOS Bug: Screenshot Sound Plays When AirPods Connect/Disconnects (old.reddit.com)
    14 points 0
  2. An invariant from category theory solves a problem in mathematical ecology [pdf] (maths.ed.ac.uk)
    124 points 33
  3. Threads, Some Assembly Required (marcusgrass.github.io)
    1 points 0
  4. Philosophy of Inductive-Statistical Inference (errorstatistics.com)
    2 points 0
  5. The Lagrangian Dual [pdf] (neoanarika.github.io)
    2 points 0
  6. The Son Also Rises (en.wikipedia.org)
    1 points 1
  7. Advanced Projects for Software Engineers (codecrafters.io)
    4 points 0
  8. A tree clock data structure for causal orderings in concurrent executions (dl.acm.org)
    1 points 0
  9. Linear Regressions with Fat Tails (spuriousregression.com)
    2 points 0
  10. Make formal verification and provably correct software practical and mainstream (github.com)
    204 points 202
  11. Isolating Functions at the Hardware Limit with Virtines (arxiv.org)
    2 points 0
  12. Ivy – Unified Machine Learning Framework (github.com)
    21 points 1
  13. Grafog – Graph Data Augmentation Library for PyTorch Geometric (github.com)
    6 points 0
  14. Color Game (colorga.me)
    1 points 0
  15. Lessons from a year of AI research (jetnew.notion.site)
    127 points 47
  16. Quetra: A Queuing Theory Approach to Dash Rate Adaptation (dl.acm.org)
    2 points 0
  17. Covid Mask Policy Simulator (github.com)
    1 points 0
  18. Show HN: TalkStuff.Online – If Hacker News used video calls instead of comments (talkstuff.online)
    2 points 0