ibobev's submissions | Hacker News

1.		Let's Talk About the Time the CIA Kidnapped Lunik (valeman.medium.com)
		2 points by ibobev 4 hours ago \| past \| discuss
2.		Nonlinearity Affects a Pendulum (johndcook.com)
		1 point by ibobev 4 hours ago \| past \| discuss
3.		Nth Derivative of a Quotient (johndcook.com)
		4 points by ibobev 4 hours ago \| past \| discuss
4.		Closed-form solution nonlinear pendulum with Jacobi functions (johndcook.com)
		1 point by ibobev 4 hours ago \| past \| discuss
5.		“Why not just use Lean?” (lawrencecpaulson.github.io)
		198 points by ibobev 5 hours ago \| past \| 116 comments
6.		My Workflow for Understanding LLM Architectures (sebastianraschka.com)
		4 points by ibobev 5 hours ago \| past \| discuss
7.		Nim Version 2.2.10 Released (nim-lang.org)
		4 points by ibobev 5 hours ago \| past \| discuss
8.		A New Type of Neuroplasticity Rewires the Brain After a Single Experience (quantamagazine.org)
		1 point by ibobev 5 hours ago \| past \| discuss
9.		At Long Last, the Bard (analog-antiquarian.net)
		1 point by ibobev 5 hours ago \| past \| discuss
10.		WASM is not quite a stack machine (purplesyringa.moe)
		2 points by ibobev 5 hours ago \| past \| discuss
11.		Sophie's Grids (solhsa.com)
		2 points by ibobev 6 hours ago \| past \| discuss
12.		Making UIs like text adventure games (andros.dev)
		3 points by ibobev 6 hours ago \| past \| 1 comment
13.		Building a Hamiltonian Path Puzzle (4rknova.com)
		1 point by ibobev 6 hours ago \| past \| discuss
14.		My brave new code-signing world (nullprogram.com)
		3 points by ibobev 1 day ago \| past \| discuss
15.		Quick tutorial to get a blog online from Org Mode thanks to Org Social (andros.dev)
		2 points by ibobev 1 day ago \| past \| discuss
16.		Toolchain Horizons: Exploring Rust Dependency-Toolchain Compatibility (tigerbeetle.com)
		1 point by ibobev 1 day ago \| past \| discuss
17.		Staying a Spell with the Exidy Sorcerer (bumbershootsoft.wordpress.com)
		1 point by ibobev 1 day ago \| past \| discuss
18.		Finishing Things (ratfactor.com)
		2 points by ibobev 3 days ago \| past \| discuss
19.		Game Frame Breakdown Articles (4rknova.com)
		2 points by ibobev 3 days ago \| past \| discuss
20.		Pale Blue Dot (4rknova.com)
		1 point by ibobev 3 days ago \| past \| discuss
21.		Profunctor Equipment (bartoszmilewski.com)
		1 point by ibobev 3 days ago \| past \| discuss
22.		Proximal Policy Optimization with Clojure and PyTorch (wedesoft.de)
		1 point by ibobev 3 days ago \| past \| discuss
23.		Wait, if (flags and O_SYNC) is wrong? (purplesyringa.moe)
		1 point by ibobev 3 days ago \| past \| discuss
24.		More on Newton's Diameter Theorem (johndcook.com)
		5 points by ibobev 3 days ago \| past \| discuss
25.		Gaussian Distributed Weights for LLMs (johndcook.com)
		3 points by ibobev 3 days ago \| past \| discuss
26.		Men Who Translated the Machine (valeman.medium.com)
		2 points by ibobev 3 days ago \| past \| discuss
27.		C++26: Structured Bindings can introduce a Pack (sandordargo.com)
		1 point by ibobev 4 days ago \| past \| discuss
28.		Lines or Less: Test Case Minimization (matklad.github.io)
		1 point by ibobev 4 days ago \| past \| discuss
29.		Gecko: A fast GLR parser with automatic syntax error recovery (vnmakarov.github.io)
		1 point by ibobev 4 days ago \| past \| discuss
30.		RGC-Basic v2.0: Mod Tracker Music and Modern Games Capabilities (retrogamecoders.com)
		2 points by ibobev 4 days ago \| past \| discuss
		More