Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

abetusk

5,353 karmajoined July 24, 2014On HN

https://abetusk.github.io

abetusk@mechaelephant.com

Recent submissions

Lean Game Server adam.math.hhu.de
3abetusk2ddiscuss
Natural Number Game (Lean4 Tutorial)adam.math.hhu.de
3abetusk2d1 comment
Leveraging Sparsity to Accelerate Automatic Differentiation (2025) [video]youtube.com
4abetusk16d1 comment
HydroGym: A Reinforcement Learning Platform for Fluid Dynamics [video]youtube.com
1abetusk21d1 comment
Sutton and Javed: Why AI Models Stop Learning, and How to Start It Again [video]youtube.com
2abetusk24ddiscuss
Openness Made All of This Possible opensource.org
1abetusk29ddiscuss
Conformance vs. Comprehension intertwingly.net
2abetusk1modiscuss
Lobste.rs is now running on SQLite lobste.rs
230abetusk1mo189 comments
We're Making an Open Source American Kei Truck [video]youtube.com
3abetusk2mo1 comment
Dig more coal – the PCs are coming (1999)forbes.com
2abetusk3mo1 comment

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.