Hacker News: zaxioms

New comment by zaxioms in "Show HN: Lofi Cities – Pixel-art city nights with browser-generated lofi"

zaxioms — Sun, 27 Sep 2026 20:35:13 +0000

I've been thinking about this a lot lately. I feel very averse to consuming AI media, but it's not super obvious to me why. In some sense, I agree with what you're saying, but in reality no pixel art of a city I've never been to would elicit that feeling in me. Maybe I would feel differently if it were art of the city I live in and had some pixels dedicated to specific things I think are cool about the city, but for this website in particular it could be the best pixel art of SF ever made and I don't think it would be all that meaningful to me.

The main conclusion I've come to is that it's less that I dislike AI art inherently, and rather that I value the human decisions in media that I personally care about, and AI media threatens both its creation and how much other people value such things.

New comment by zaxioms in "Show HN: Lofi Cities – Pixel-art city nights with browser-generated lofi"

zaxioms — Sun, 27 Sep 2026 20:04:07 +0000

There's a lot of AI on the author's github, so I would assume so. I have no idea how I feel about these sorts of things. On the one hand I think it's objectively a super neat idea, but it makes me sad that a human (probably) didn't make the art/songs.

New comment by zaxioms in "Discord will require a face scan or ID for full access next month"

zaxioms — Tue, 10 Feb 2026 14:30:13 +0000

If you wanted to implement this in real life, who plays the role of Alice?

New comment by zaxioms in "Dude, where's my supersonic jet?"

zaxioms — Tue, 06 Jan 2026 19:50:13 +0000

> Blake embodies the “bits to atoms” shift underway in America. Before founding Boom, he was designing internet coupons for Groupon.

What is this? I can't find easily the meaning of "bits to atoms." Is this meaning that US is going away from digital "exports"?

New comment by zaxioms in "DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf]"

zaxioms — Fri, 28 Nov 2025 01:48:47 +0000

Ok I guess I could have told you that. What I really meant is that in the future where LLMs are doing new math (which I'm skeptical of, but I digress) I would not trust any of it unless it was formally verified.

New comment by zaxioms in "DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf]"

zaxioms — Thu, 27 Nov 2025 20:38:24 +0000

It's cool, but I genuinely cannot fathom why they are targeting natural language proofs instead of a proof assistant.

New comment by zaxioms in "The Linux Boot Process: From Power Button to Kernel"

zaxioms — Sun, 26 Oct 2025 03:29:07 +0000

Does anyone have a similar article with more detail? I don't quite want to read the datasheet of your favorite microprocessor, but I would like a decent amount more detail than what's provided. Especially before UEFI/BIOS.

New comment by zaxioms in "Many hard LeetCode problems are easy constraint problems"

zaxioms — Sat, 13 Sep 2025 04:28:53 +0000

Rice's theorem is about decidability, not difficulty. But you are right that assuming P != NP there is no algorithm for efficient SAT (and other constraint) solving.

New comment by zaxioms in "Many hard LeetCode problems are easy constraint problems"

zaxioms — Sat, 13 Sep 2025 04:24:45 +0000

I'm surprised to hear this. Modern SAT solvers can easily handle many problems with hundreds of thousands of variables and clauses. Of course, there are adversarial problems where CDCL solvers fail, but I would be fascinated if you can find industrial (e.g. human written for a specific purpose) formulas with "dozens of variables" that a solver can't solve fairly quickly.

New comment by zaxioms in "The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf]"

zaxioms — Sun, 25 May 2025 02:37:43 +0000

I'm fascinated that Epic Games are the authors. Does anyone know what their motivation for this research would be?