Hacker News: chasingbrainshttps://news.ycombinator.com/user?id=chasingbrainsHacker News RSShttps://hnrss.org/hnrss v2.1.1Fri, 30 Oct 2026 03:13:15 +0000<![CDATA[Neuron Persona Library]]>Article URL: https://neuronpersonas.com/#qwen

Comments URL: https://news.ycombinator.com/item?id=50276612

Points: 3

# Comments: 1

]]>Wed, 28 Oct 2026 16:48:16 +0000https://neuronpersonas.com/#qwenchasingbrainshttps://news.ycombinator.com/item?id=50276612https://news.ycombinator.com/item?id=50276612<![CDATA[Eulogy for the Software Engineer [video]]]>Article URL: https://www.youtube.com/watch?v=uuKOXGVIP8I

Comments URL: https://news.ycombinator.com/item?id=50250847

Points: 2

# Comments: 0

]]>Mon, 26 Oct 2026 20:58:57 +0000https://www.youtube.com/watch?v=uuKOXGVIP8Ichasingbrainshttps://news.ycombinator.com/item?id=50250847https://news.ycombinator.com/item?id=50250847<![CDATA[New comment by chasingbrains in "Lean now ships with verified kernels"]]>Sorry for almost completely unrelated shower thought but: there is an opportunity to name your blog “Leanardo”

]]>Sun, 18 Oct 2026 08:30:56 +0000https://news.ycombinator.com/item?id=50139128chasingbrainshttps://news.ycombinator.com/item?id=50139128https://news.ycombinator.com/item?id=50139128<![CDATA[Blessed.rs/Crates – Recommended Crate Directory]]>Article URL: https://blessed.rs/crates

Comments URL: https://news.ycombinator.com/item?id=45608147

Points: 2

# Comments: 0

]]>Thu, 16 Oct 2025 17:27:06 +0000https://blessed.rs/crateschasingbrainshttps://news.ycombinator.com/item?id=45608147https://news.ycombinator.com/item?id=45608147<![CDATA[iPad Pro with M5 chip]]>Article URL: https://www.apple.com/newsroom/2025/10/apple-introduces-the-powerful-new-ipad-pro-with-the-m5-chip/

Comments URL: https://news.ycombinator.com/item?id=45591905

Points: 218

# Comments: 280

]]>Wed, 15 Oct 2025 13:10:31 +0000https://www.apple.com/newsroom/2025/10/apple-introduces-the-powerful-new-ipad-pro-with-the-m5-chip/chasingbrainshttps://news.ycombinator.com/item?id=45591905https://news.ycombinator.com/item?id=45591905<![CDATA[New comment by chasingbrains in "Making any integer with four 2s"]]>Is 7 really notoriously difficult to define?

7 = 2/2 + 2 + 2 + 2

]]>Mon, 24 Feb 2025 08:58:00 +0000https://news.ycombinator.com/item?id=43157272chasingbrainshttps://news.ycombinator.com/item?id=43157272https://news.ycombinator.com/item?id=43157272