Hacker News: ipnon

New comment by ipnon in "What I've Learned (So Far) Building Online Mini Games with Elixir and Swift"

ipnon — Wed, 27 May 2026 02:03:45 +0000

I’ve never thought about how the room model matches the LiveView socket model before. Which socket library are you using?

New comment by ipnon in "A look at Denver’s “Unlocking Housing Choices” plan"

ipnon — Tue, 12 May 2026 02:19:12 +0000

My neighborhood in California added plenty of these and it didn’t change the vibe of the neighborhood at all. It’s a great YIMBY solution because it satisfies both the pro and anti development crowds.

What's a mathematician to do? (2010)

ipnon — Sun, 10 May 2026 11:26:50 +0000

Article URL: https://mathoverflow.net/questions/43690/whats-a-mathematician-to-do

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

Points: 179

# Comments: 86

Mathematics Genealogy Project

ipnon — Fri, 08 May 2026 08:55:43 +0000

Article URL: https://www.mathgenealogy.org

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

Points: 1

# Comments: 0

New comment by ipnon in "A Theory of Deep Learning"

ipnon — Thu, 07 May 2026 01:12:36 +0000

A real theory would predict phenomena thus far unseen. We already know about this 4 part taxonomy.

New comment by ipnon in "From Supabase to Clerk to Better Auth"

ipnon — Thu, 07 May 2026 00:53:29 +0000

It’s not that crazy! Or hard. If you can store a hashed password in your users table, and keep the salt secret, you have working auth.

New comment by ipnon in "A couple million lines of Haskell: Production engineering at Mercury"

ipnon — Sun, 03 May 2026 03:30:14 +0000

I have noticed that everything in their app Just Works. It's very satisfying coming from other services!

New comment by ipnon in "Modern C++ Programming: Busato"

ipnon — Sun, 03 May 2026 02:33:13 +0000

CUDA is an extension of C++ just like C++ is an extension of C. Deployed CUDA is growing exponentially. C++ is definitely not a dying language!

New comment by ipnon in "Dabbling in Erlang, part 2: A minimal introduction (2013)"

ipnon — Sun, 03 May 2026 02:29:17 +0000

I don't know of any. People are really just selecting for the underlying runtime. And Elixir and Gleam are better targets here.

Fanspeak (1999)

ipnon — Thu, 30 Apr 2026 03:56:05 +0000

Article URL: https://www.fantasymaps.com/stuff/fanspeak.html

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

Points: 1

# Comments: 0

New comment by ipnon in "Scores decline again for 13-year-old students in reading and mathematics"

ipnon — Wed, 22 Apr 2026 21:17:50 +0000

It leads to K-shaped education where parents who recognize the deficiency of public education simply teach their kids math themselves or hire private tutors. Public education used to be a force for equality of knowledge in the country. Now it perversely does the opposite, all in the name of education!

New comment by ipnon in "Laws of Software Engineering"

ipnon — Tue, 21 Apr 2026 13:13:26 +0000

I usually invoke this by naming with POSIWID.

Nobel Lecture: On the possibility of progress (2019)

ipnon — Tue, 21 Apr 2026 13:12:44 +0000

Article URL: https://paulromer.net/prize/

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

Points: 2

# Comments: 0

Taiwan Market Cap Tops $4T on AI Boom, Overtaking UK

ipnon — Fri, 17 Apr 2026 03:36:09 +0000

Article URL: https://www.bloomberg.com/news/articles/2026-04-16/ai-driven-demand-pushes-taiwan-s-market-cap-ahead-of-the-uk

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

Points: 3

# Comments: 0

Teaching Mathematics (1997) [pdf]

ipnon — Wed, 15 Apr 2026 07:26:18 +0000

Article URL: https://www.maths.tcd.ie/pub/Maths/Courseware/ProblemSolving/Arnold/TeachingMathematics.pdf

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

Points: 2

# Comments: 0

New comment by ipnon in "US national level OS-level age verification bill proposed"

ipnon — Tue, 14 Apr 2026 23:16:13 +0000

My belief is that to a large extent the art of politics is the art of bothsidesing and rationalizing away your integrity for common aims. And that when applied correctly, these common aims can be used to benefit the public. Look at systems where you can't bothesides (also known as finding common ground and compromising) or rationalize the integrity of other members (also known as acting in good faith). I suspect you will not find the results of these political bodies to have preferable results to the American Congress!

New comment by ipnon in "US national level OS-level age verification bill proposed"

ipnon — Tue, 14 Apr 2026 22:56:15 +0000

I really think left-right and honest-dishonest are useless dimensions to evaluate Congress members on. The job practically requires ideological fuzziness and truth stretching to get anything done. This is a feature: legislatures that require high ideological purity tend to become rubber stamps. DPRK is a good example.

New comment by ipnon in "Show HN: Druids – Build your own software factory"

ipnon — Fri, 10 Apr 2026 01:53:20 +0000

Interesting. I like it. Now let's say I currently use the OS process as my primitive for agents, just spawning `claude "foo bar baz"`, and orchestrating this way, using perhaps Unix style of files for intermediate data and piping for transformations. What would you are some good use cases of Druid for someone like me?

New comment by ipnon in "Will I ever own a zettaflop?"

ipnon — Fri, 10 Apr 2026 01:50:52 +0000

Yes, to paraphrase Jobs, I'm only interested in the intersection of Technology Avenue and Liberal Arts Street.

Author's preface to the book: "PGP Source Code and Internals" (1995)

ipnon — Tue, 07 Apr 2026 22:48:49 +0000

Article URL: https://philzimmermann.com/EN/essays/BookPreface.html

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

Points: 5

# Comments: 0