Hacker News: tzury

New comment by tzury in "Tell HN: Anthropic no longer allowing Claude Code subscriptions to use OpenClaw"

tzury — Sat, 04 Apr 2026 05:32:50 +0000

Boris Cherny on this

https://x.com/bcherny/status/2040206440556826908?s=20

New comment by tzury in "Automatic Textbook Formalization"

tzury — Fri, 03 Apr 2026 20:15:06 +0000

More details: https://x.com/FabianGloeckle/status/2040082785851904401

Automatic Textbook Formalization

tzury — Fri, 03 Apr 2026 20:13:50 +0000

Article URL: https://github.com/facebookresearch/repoprover

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

Points: 44

# Comments: 18

Gemma 4 reports, configs, and code, here are the takeaways

tzury — Thu, 02 Apr 2026 20:28:07 +0000

Article URL: https://twitter.com/rasbt/status/2039780905619705902

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

Points: 3

# Comments: 0

Gemma 4 Just Released

tzury — Thu, 02 Apr 2026 16:37:35 +0000

Article URL: https://twitter.com/demishassabis/status/2039736628659269901

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

Points: 1

# Comments: 1

Claude Code No Flicker Mode

tzury — Thu, 02 Apr 2026 01:37:07 +0000

Article URL: https://twitter.com/bcherny/status/2039421575422980329

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

Points: 2

# Comments: 0

He Helped Stop Iran from Getting the Bomb

tzury — Tue, 31 Mar 2026 11:18:03 +0000

Article URL: https://www.newyorker.com/magazine/2026/04/06/he-helped-stop-iran-from-getting-the-bomb

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

Points: 1

# Comments: 0

Under-utilized features in Claude Code

tzury — Mon, 30 Mar 2026 03:36:59 +0000

Article URL: https://twitter.com/bcherny/status/2038454336355999749

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

Points: 2

# Comments: 0

New comment by tzury in "We rewrote JSONata with AI in a day, saved $500k/year"

tzury — Fri, 27 Mar 2026 21:01:23 +0000

One day a kid came home breathing heavily, to his father’s surprise face he tells, daddy daddy, I saved a dollar fifty!

How did you do it? ask the father

Instead of taking the bus, I ran after it all the way home.

If you were smarter, you could have save us $22 by running after a taxi!

This old joke came to mind while reading this post.

A tech company spends hundreds of thousands of dollars per year, “for years”, on a piece of software that could have been replaced by a month of coding top? (prior to LLM and all), you sit and write and save the money.

If I was an investor in this company I would have hire a team to look through their entire stack. See, if this JSON thingy alone is half a million a year, their entire cloud is at least $35MM annually.

Perhaps this is not even a bad business idea. One can offer companies to provide drop-in replacement for their costly “micro services that no one dares to touch” and share the cost savings.

China Learned to Love the Classics

tzury — Thu, 26 Mar 2026 17:55:59 +0000

Article URL: https://www.newyorker.com/news/annals-of-education/how-china-learned-to-love-the-classics

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

Points: 6

# Comments: 2

In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far?

tzury — Wed, 25 Mar 2026 16:01:17 +0000

Article URL: https://www.quantamagazine.org/in-math-rigor-is-vital-but-are-digitized-proofs-taking-it-too-far-20260325/

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

Points: 6

# Comments: 1

New comment by tzury in "You can run a DNS server (2025)"

tzury — Wed, 25 Mar 2026 12:57:22 +0000

May or may not. You open the UDP ports, you get flooded, they block all incoming traffic, and this way or another your assets are not resolvable.

One must distinguish between application layer attacks HTTP/S and UDP, cloud vendors won’t protect you implicitly for network layer attacks unless you purchased such service from them.

New comment by tzury in "You can run a DNS server (2025)"

tzury — Wed, 25 Mar 2026 11:49:55 +0000

Large scale dns vendors have a multi million dollars worth of network layer traffic filtering equipment pipelined in front of their DNS servers (or in house solutions such as Google).

New comment by tzury in "You can run a DNS server (2025)"

tzury — Wed, 25 Mar 2026 08:59:06 +0000

Just remember, if you run your own DNS, and you do so for a mission critical platform, the platform is exposed to a udp DDoS that will be hard to detect let alone prevent.

Unless of course you will invest 5-6 figures worth of US dollars worth of equipment, which by then you can look back and ask yourself, was I better off with Google Cloud DNS, AWS Route 53 and the likes.