ibobev's submissions | Hacker News

1.		CKKS – Polynomials, the Canonical Embedding, and Encoding (jeremykun.com)
		3 points by ibobev 4 hours ago \| past \| discuss
2.		Turning a Trick into a Technique (johndcook.com)
		1 point by ibobev 6 hours ago \| past \| discuss
3.		Fast Tight Spectral-Norm Bounds (jiha-kim.github.io)
		1 point by ibobev 6 hours ago \| past \| discuss
4.		Moscow Economics School That Helped Produce Revolut, XTX (valeman.medium.com)
		2 points by ibobev 6 hours ago \| past \| discuss
5.		Scroll-Driven Animations (joshwcomeau.com)
		2 points by ibobev 8 hours ago \| past \| discuss
6.		C++26: String and String_view Improvements (sandordargo.com)
		1 point by ibobev 8 hours ago \| past \| discuss
7.		10Gb Ethernet: what I had to (re)learn (gilesthomas.com)
		2 points by ibobev 8 hours ago \| past \| discuss
8.		Building a Fast Multilingual OCR Model with Synthetic Data (huggingface.co)
		3 points by ibobev 1 day ago \| past \| discuss
9.		DeepSeek-V4: a million-token context that agents can use (huggingface.co)
		13 points by ibobev 1 day ago \| past \| discuss
10.		Adaptive Ultrasound Imaging with Physics (huggingface.co)
		2 points by ibobev 1 day ago \| past \| discuss
11.		From Convergence to Confidence: Push-Button Verification for RDTs (kcsrk.info)
		1 point by ibobev 1 day ago \| past \| discuss
12.		Physicists Discover the Most Complex Forms of Ice Yet (quantamagazine.org)
		29 points by ibobev 1 day ago \| past \| 7 comments
13.		Circular Arc Approximation (johndcook.com)
		3 points by ibobev 1 day ago \| past \| discuss
14.		The West Talks About "Distillation." Fine. Let's Talk About Project Azorian (valeman.medium.com)
		2 points by ibobev 1 day ago \| past \| discuss
15.		Clojure on Fennel part three: parsing (andreyor.st)
		2 points by ibobev 1 day ago \| past \| discuss
16.		Understanding Systems (entropicthoughts.com)
		3 points by ibobev 1 day ago \| past \| discuss
17.		Where Optimizations Come From (buttondown.com/jaffray)
		2 points by ibobev 1 day ago \| past \| discuss
18.		Ray's Arithmetic (raysarithmetic.wordpress.com)
		2 points by ibobev 1 day ago \| past \| discuss
19.		Let's Talk About the Time the CIA Kidnapped Lunik (valeman.medium.com)
		2 points by ibobev 2 days ago \| past \| discuss
20.		Nonlinearity Affects a Pendulum (johndcook.com)
		39 points by ibobev 2 days ago \| past \| 4 comments
21.		Nth Derivative of a Quotient (johndcook.com)
		4 points by ibobev 2 days ago \| past \| discuss
22.		Closed-form solution nonlinear pendulum with Jacobi functions (johndcook.com)
		1 point by ibobev 2 days ago \| past \| discuss
23.		“Why not just use Lean?” (lawrencecpaulson.github.io)
		300 points by ibobev 2 days ago \| past \| 206 comments
24.		My Workflow for Understanding LLM Architectures (sebastianraschka.com)
		4 points by ibobev 2 days ago \| past \| discuss
25.		Nim Version 2.2.10 Released (nim-lang.org)
		4 points by ibobev 2 days ago \| past \| discuss
26.		Behavioral timescale synaptic plasticity rewires the brain after an experience (quantamagazine.org)
		158 points by ibobev 2 days ago \| past \| 10 comments
27.		At Long Last, the Bard (analog-antiquarian.net)
		1 point by ibobev 2 days ago \| past \| discuss
28.		WASM is not quite a stack machine (purplesyringa.moe)
		2 points by ibobev 2 days ago \| past \| discuss
29.		Sophie's Grids (solhsa.com)
		2 points by ibobev 2 days ago \| past \| discuss
30.		Making UIs like text adventure games (andros.dev)
		3 points by ibobev 2 days ago \| past \| 1 comment
		More