HN Explorer

abetusk

↗ HN profile [ 86.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Lean Game Server (adam.math.hhu.de)
    3 points 0
  2. Natural Number Game (Lean4 Tutorial) (adam.math.hhu.de)
    3 points 1
  3. Leveraging Sparsity to Accelerate Automatic Differentiation (2025) [video] (youtube.com)
    3 points 1
  4. HydroGym: A Reinforcement Learning Platform for Fluid Dynamics [video] (youtube.com)
    1 points 1
  5. Sutton and Javed: Why AI Models Stop Learning, and How to Start It Again [video] (youtube.com)
    1 points 0
  6. Openness Made All of This Possible (opensource.org)
    1 points 0
  7. Conformance vs. Comprehension (intertwingly.net)
    2 points 0
  8. Lobste.rs is now running on SQLite (lobste.rs)
    230 points 45
  9. We're Making an Open Source American Kei Truck [video] (youtube.com)
    3 points 1
  10. Dig more coal – the PCs are coming (1999) (forbes.com)
    2 points 1
  11. Derelict Corridor – Unreal to Gaussian Splat Plugin (superspl.at)
    1 points 0
  12. Tindie Now Owned by EETree (blog.adafruit.com)
    2 points 1
  13. The Iranian Teens Behind Lego Trump [video] (youtube.com)
    5 points 0
  14. Iran's Lego Slopaganda Creator [video] (youtube.com)
    4 points 1
  15. Let's Not Confuse Labor's Problems with White-Collar AI Doomerism (damagemag.com)
    3 points 0
  16. Mozilla Data Collective (datacollective.mozillafoundation.org)
    1 points 0
  17. Graphics Programming Resources (develop--gpvm-website.netlify.app)
    193 points 7
  18. Why Bluey Doesn't Sound Like a Cartoon with Bluey's Sound Designer [video] (youtube.com)
    1 points 0
  19. No Tools for You: A Century of Men Policing Women's Tools (blog.adafruit.com)
    6 points 3
  20. Terrence Tao: Why I Co-Founded SAIR [video] (youtube.com)
    2 points 0
  21. Terence Tao: Machine Assistance and the Future of Research Mathematics [video] (youtube.com)
    2 points 1
  22. Effective Nihilism (effectivenihilism.org)
    2 points 1
  23. 'Depths of Wikipedia' Creator Annie Rauwerda on 'Fragile' Internet Citations (blog.archive.org)
    3 points 0
  24. Single Page Lunar Calendar (codebox.net)
    1 points 3
  25. Toward Generalist Humanoid Robots [video] (youtube.com)
    2 points 0