ibobev's submissions | Hacker News

1.		A text editor as a user interface (ratfactor.com)
		3 points by ibobev 11 hours ago \| past \| 1 comment
2.		Nvidia Nemotron 3 Nano Omni (huggingface.co)
		1 point by ibobev 11 hours ago \| past \| discuss
3.		AI evals are becoming the new compute bottleneck (huggingface.co)
		1 point by ibobev 11 hours ago \| past \| discuss
4.		Why Math's Final Axiom Proved So Controversial (quantamagazine.org)
		6 points by ibobev 15 hours ago \| past \| discuss
5.		Contributor Poker and Zig's AI Ban (kristoff.it)
		1 point by ibobev 15 hours ago \| past \| discuss
6.		CKKS – Polynomials, the Canonical Embedding, and Encoding (jeremykun.com)
		3 points by ibobev 1 day ago \| past \| discuss
7.		Turning a Trick into a Technique (johndcook.com)
		1 point by ibobev 1 day ago \| past \| discuss
8.		Fast Tight Spectral-Norm Bounds (jiha-kim.github.io)
		1 point by ibobev 1 day ago \| past \| discuss
9.		Moscow Economics School That Helped Produce Revolut, XTX (valeman.medium.com)
		2 points by ibobev 1 day ago \| past \| discuss
10.		Scroll-Driven Animations (joshwcomeau.com)
		2 points by ibobev 1 day ago \| past \| discuss
11.		C++26: String and String_view Improvements (sandordargo.com)
		3 points by ibobev 1 day ago \| past \| discuss
12.		10Gb Ethernet: what I had to (re)learn (gilesthomas.com)
		2 points by ibobev 1 day ago \| past \| discuss
13.		Building a Fast Multilingual OCR Model with Synthetic Data (huggingface.co)
		3 points by ibobev 2 days ago \| past \| discuss
14.		DeepSeek-V4: a million-token context that agents can use (huggingface.co)
		13 points by ibobev 2 days ago \| past \| discuss
15.		Adaptive Ultrasound Imaging with Physics (huggingface.co)
		2 points by ibobev 2 days ago \| past \| discuss
16.		From Convergence to Confidence: Push-Button Verification for RDTs (kcsrk.info)
		1 point by ibobev 2 days ago \| past \| discuss
17.		Physicists Discover the Most Complex Forms of Ice Yet (quantamagazine.org)
		29 points by ibobev 2 days ago \| past \| 7 comments
18.		Circular Arc Approximation (johndcook.com)
		3 points by ibobev 2 days ago \| past \| discuss
19.		The West Talks About "Distillation." Fine. Let's Talk About Project Azorian (valeman.medium.com)
		2 points by ibobev 2 days ago \| past \| discuss
20.		Clojure on Fennel part three: parsing (andreyor.st)
		2 points by ibobev 2 days ago \| past \| discuss
21.		Understanding Systems (entropicthoughts.com)
		3 points by ibobev 2 days ago \| past \| discuss
22.		Where Optimizations Come From (buttondown.com/jaffray)
		2 points by ibobev 2 days ago \| past \| discuss
23.		Ray's Arithmetic (raysarithmetic.wordpress.com)
		2 points by ibobev 2 days ago \| past \| discuss
24.		Let's Talk About the Time the CIA Kidnapped Lunik (valeman.medium.com)
		2 points by ibobev 3 days ago \| past \| discuss
25.		Nonlinearity Affects a Pendulum (johndcook.com)
		39 points by ibobev 3 days ago \| past \| 4 comments
26.		Nth Derivative of a Quotient (johndcook.com)
		4 points by ibobev 3 days ago \| past \| discuss
27.		Closed-form solution nonlinear pendulum with Jacobi functions (johndcook.com)
		1 point by ibobev 3 days ago \| past \| discuss
28.		“Why not just use Lean?” (lawrencecpaulson.github.io)
		302 points by ibobev 3 days ago \| past \| 208 comments
29.		My Workflow for Understanding LLM Architectures (sebastianraschka.com)
		4 points by ibobev 3 days ago \| past \| discuss
30.		Nim Version 2.2.10 Released (nim-lang.org)
		4 points by ibobev 3 days ago \| past \| discuss
		More