Hacker News: sat_solver

New comment by sat_solver in "Are we the baddies?"

sat_solver — Sun, 06 Jul 2025 07:17:15 +0000

Play stupid games, win stupid prizes. I'm not talking about only dating apps. Wherever there's an algo, there's someone manipulating you. I just deleted and disabled my Youtube history. It's incredibly liberating!

New comment by sat_solver in "Is gravity just entropy rising? Long-shot idea gets another look"

sat_solver — Mon, 16 Jun 2025 11:10:30 +0000

You're thinking of information entropy, which is not the same concept as entropy in physics. An ice cube in a warm room can be described using a minimum description length as "ice cube in a warm room" (or a crystal structure inside a fluid space), but if you wait until the heat death of the universe, you just have "a warm room" (a smooth fluid space), which will have an even shorter mdl. Von Neuman should never have repurposed the term entropy from physics. Entropy confuses a lot of people, including me.

New comment by sat_solver in "AI-designed chips are so weird that 'humans cannot understand them'"

sat_solver — Mon, 24 Feb 2025 16:54:07 +0000

Bug zapper

I solved SAT (boolean satisfiability), what now?

sat_solver — Tue, 14 Nov 2023 06:31:54 +0000

Hi all, I discovered a solution to the SAT problem (boolean satisfiability) that runs in time complexity O(n*log(m)), and space O(2^n), where m is the number of inputs and n is the number of boolean operations. I have spent a few months solving various SAT problems with a program I wrote. I'm a senior in high school. What should I do? Advice would be appreciated. Thank you in advance.

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

Points: 1

# Comments: 3