abetusk's submissions

1.		Lean Game Server (hhu.de)
		3 points by abetusk 7 days ago \| past \| discuss
2.		Natural Number Game (Lean4 Tutorial) (hhu.de)
		3 points by abetusk 7 days ago \| past \| 1 comment
3.		Leveraging Sparsity to Accelerate Automatic Differentiation (2025) [video] (youtube.com)
		4 points by abetusk 21 days ago \| past \| 1 comment
4.		HydroGym: A Reinforcement Learning Platform for Fluid Dynamics [video] (youtube.com)
		1 point by abetusk 26 days ago \| past \| 1 comment
5.		Sutton and Javed: Why AI Models Stop Learning, and How to Start It Again [video] (youtube.com)
		2 points by abetusk 29 days ago \| past
6.		Openness Made All of This Possible (opensource.org)
		1 point by abetusk 34 days ago \| past
7.		Conformance vs. Comprehension (intertwingly.net)
		2 points by abetusk 51 days ago \| past
8.		Lobste.rs is now running on SQLite (lobste.rs)
		230 points by abetusk 65 days ago \| past \| 189 comments
9.		We're Making an Open Source American Kei Truck [video] (youtube.com)
		3 points by abetusk 77 days ago \| past \| 1 comment
10.		Dig more coal – the PCs are coming (1999) (forbes.com)
		2 points by abetusk 3 months ago \| past \| 1 comment
11.		Derelict Corridor – Unreal to Gaussian Splat Plugin (superspl.at)
		1 point by abetusk 4 months ago \| past
12.		Tindie Now Owned by EETree (adafruit.com)
		2 points by abetusk 4 months ago \| past \| 1 comment
13.		The Iranian Teens Behind Lego Trump [video] (youtube.com)
		5 points by abetusk 5 months ago \| past
14.		Iran's Lego Slopaganda Creator [video] (youtube.com)
		4 points by abetusk 5 months ago \| past \| 1 comment
15.		Let's Not Confuse Labor's Problems with White-Collar AI Doomerism (damagemag.com)
		3 points by abetusk 5 months ago \| past
16.		Mozilla Data Collective (mozillafoundation.org)
		1 point by abetusk 6 months ago \| past
17.		Graphics Programming Resources (develop--gpvm-website.netlify.app)
		193 points by abetusk 6 months ago \| past \| 25 comments
18.		Why Bluey Doesn't Sound Like a Cartoon with Bluey's Sound Designer [video] (youtube.com)
		1 point by abetusk 6 months ago \| past
19.		No Tools for You: A Century of Men Policing Women's Tools (adafruit.com)
		6 points by abetusk 7 months ago \| past \| 2 comments
20.		Terrence Tao: Why I Co-Founded SAIR [video] (youtube.com)
		2 points by abetusk 7 months ago \| past
21.		Terence Tao: Machine Assistance and the Future of Research Mathematics [video] (youtube.com)
		2 points by abetusk 7 months ago \| past \| 1 comment
22.		Effective Nihilism (effectivenihilism.org)
		2 points by abetusk 7 months ago \| past \| 1 comment
23.		'Depths of Wikipedia' Creator Annie Rauwerda on 'Fragile' Internet Citations (blog.archive.org)
		3 points by abetusk 7 months ago \| past
24.		Single Page Lunar Calendar (codebox.net)
		1 point by abetusk 8 months ago \| past \| 3 comments
25.		Toward Generalist Humanoid Robots [video] (youtube.com)
		2 points by abetusk 10 months ago \| past
26.		Automatic differentiation can be incorrect (stochasticlifestyle.com)
		74 points by abetusk 12 months ago \| past \| 51 comments
27.		Information is Beautiful Awards 2024 (informationisbeautifulawards.com)
		1 point by abetusk on July 22, 2025 \| past
28.		Banksy Fights with Greeting Card Company for Control of His Trademark (robbreport.com)
		54 points by abetusk on Feb 13, 2025 \| past \| 20 comments
29.		Out-of-warranty battery almost left this paralyzed man's exoskeleton useless (theverge.com)
		2 points by abetusk on Feb 5, 2025 \| past \| 1 comment
30.		Jack Dorsey talk at FOSDEM 2025 may lead to protest (cnx-software.com)
		11 points by abetusk on Jan 22, 2025 \| past \| 2 comments
		More