<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: zero_k</title><link>https://news.ycombinator.com/user?id=zero_k</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 30 Apr 2026 10:32:29 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=zero_k" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by zero_k in "Apple accelerates eco progress with highest-ever recycled materials"]]></title><description><![CDATA[
<p>If they want "eco progress" they should make their devices repairable.<p>Reduce, Reuse, Recycle. *In that priority*<p>Reduce & Reuse by making it repairable!<p>See: <a href="https://www.epa.gov/recycle" rel="nofollow">https://www.epa.gov/recycle</a></p>
]]></description><pubDate>Thu, 16 Apr 2026 14:06:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=47793177</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=47793177</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47793177</guid></item><item><title><![CDATA[New comment by zero_k in "Exploiting the most prominent AI agent benchmarks"]]></title><description><![CDATA[
<p>Yes, agree. At the same time, it's what these top-tier universities are known for: presenting something relatively simple as if it was ground-breaking, but in a way that the average person can (or has a better chance to) understand it. I am still unsure whether the communication quality has such added value. But people seem to like it, so here we are.</p>
]]></description><pubDate>Sun, 12 Apr 2026 14:00:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=47739753</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=47739753</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47739753</guid></item><item><title><![CDATA[New comment by zero_k in "Ganak: The making of a high-performance model counter"]]></title><description><![CDATA[
<p>Code & Readme: <a href="https://github.com/meelgroup/ganak/" rel="nofollow">https://github.com/meelgroup/ganak/</a></p>
]]></description><pubDate>Mon, 02 Mar 2026 09:51:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=47215801</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=47215801</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47215801</guid></item><item><title><![CDATA[Ganak: The making of a high-performance model counter]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.msoos.org/2026/03/ganak-the-making-of-a-versatile-high-performance-model-counter/">https://www.msoos.org/2026/03/ganak-the-making-of-a-versatile-high-performance-model-counter/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=47215800">https://news.ycombinator.com/item?id=47215800</a></p>
<p>Points: 2</p>
<p># Comments: 1</p>
]]></description><pubDate>Mon, 02 Mar 2026 09:51:01 +0000</pubDate><link>https://www.msoos.org/2026/03/ganak-the-making-of-a-versatile-high-performance-model-counter/</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=47215800</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47215800</guid></item><item><title><![CDATA[New comment by zero_k in "Evaluating AGENTS.md: are they helpful for coding agents?"]]></title><description><![CDATA[
<p>It's not only about the token cost! It's also my TIME cost! Much-much more expensive than tokens, it turns out ;)</p>
]]></description><pubDate>Tue, 17 Feb 2026 09:44:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=47045494</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=47045494</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47045494</guid></item><item><title><![CDATA[New comment by zero_k in "Evaluating AGENTS.md: are they helpful for coding agents?"]]></title><description><![CDATA[
<p>Honestly, the more research papers I read, the more I am suspicious. This "surprisingly" and other hyperbole is just to make reviewers think the authors actually did something interesting/exciting. But the more "surprises" there are in a paper, the more I am suspicious of it. Often such hyperbole ought to be at best ignored, at worst the exact opposite needs to be examined.<p>It seems like the best students/people eventually end up doing CS research in their spare time while working as engineers. This is not the case for many other disciplines, where you need e.g. a lab to do research. But in CS, you can just do it from your basement, all you need is a laptop.</p>
]]></description><pubDate>Tue, 17 Feb 2026 09:43:20 +0000</pubDate><link>https://news.ycombinator.com/item?id=47045486</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=47045486</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47045486</guid></item><item><title><![CDATA[New comment by zero_k in "Broken Proofs and Broken Provers"]]></title><description><![CDATA[
<p>I still remember the time when a gcc bug caused MiniSat to output UNSAT for a satisfiable problem [1]. I was the author of a SAT solver, and I was chasing my tail trying to figure out why I was getting UNSAT for a satsifiable problem. I have to admit I didn't expect it to be a gcc bug... (note: bug was found by Vegard Nossum on the CryptoMiniSat mailing list)<p>[1] <a href="https://www.msoos.org/2013/04/gcc-4-5-2-at-sat-competition-201/" rel="nofollow">https://www.msoos.org/2013/04/gcc-4-5-2-at-sat-competition-2...</a></p>
]]></description><pubDate>Wed, 04 Feb 2026 16:49:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=46888180</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=46888180</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46888180</guid></item><item><title><![CDATA[New comment by zero_k in "Eurostar AI vulnerability: When a chatbot goes off the rails"]]></title><description><![CDATA[
<p>I worked at a company that wanted to implement an AI chatbot. I was helping to review the potential issues. On the first try I realised it was given full access to all past orders, for all customers via an API it could query in the background. So I could cajole it to look up other people's orders. It took less than 3 minutes of checking to figure this out.<p>Often engineers and especially non-technical people don't have the immediate thought of "let's see how I can exploit this" or if they do, they don't have the expertise to exploit it enough to see the issue(s). This is why companies have processes where all serious external changes need to go through a set of checks, in particular, by the IT security department. Yes, it's tedious and annoying, but it saves you from public blunders.<p>Such processes also make sure that the IT security department knows of the new feature, and can give guidance and help to the engineers about IT security issues related to the new feature. So if they get feedback about security issues from users they won't freak out and know who to contact for support. This way, things like accusing the reporter for "blackmailing" don't happen.<p>In general, this fiasco seems to show that Eurostar haven't integrated their IT security department into their processes. If there was trust and understanding among the engineers about what the IT department does, they would have (1) likely not released the tool with such issues and (2) would have known how to react when they got feedback from security researchers.</p>
]]></description><pubDate>Mon, 05 Jan 2026 12:54:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=46498228</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=46498228</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46498228</guid></item><item><title><![CDATA[New comment by zero_k in "Accepting US car standards would risk European lives"]]></title><description><![CDATA[
<p>Honestly US standards can go to hell. I absolutely abhor these monstrosities. They should be outright banned except if specific need can be shown. They are dangerous, take up way too much space, and excessively damage the road.<p>Your freedom to do stuff stops where my freedom to walk & cycle around without undue fear of death begins.</p>
]]></description><pubDate>Wed, 03 Dec 2025 10:36:30 +0000</pubDate><link>https://news.ycombinator.com/item?id=46132875</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=46132875</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46132875</guid></item><item><title><![CDATA[New comment by zero_k in "Tom Stoppard has died"]]></title><description><![CDATA[
<p>My favourite quote from him:<p>“Because children grow up, we think a child's purpose is to grow up. But a child's purpose is to be a child. Nature doesn't disdain what lives only for a day. It pours the whole of itself into the each moment. We don't value the lily less for not being made of flint and built to last. Life's bounty is in its flow, later is too late. Where is the song when it's been sung? The dance when it's been danced? It's only we humans who want to own the future, too. We persuade ourselves that the universe is modestly employed in unfolding our destination. We note the haphazard chaos of history by the day, by the hour, but there is something wrong with the picture. Where is the unity, the meaning, of nature's highest creation? Surely those millions of little streams of accident and wilfulness have their correction in the vast underground river which, without a doubt, is carrying us to the place where we're expected! But there is no such place, that's why it's called utopia. The death of a child has no more meaning than the death of armies, of nations. Was the child happy while he lived? That is a proper question, the only question. If we can't arrange our own happiness, it's a conceit beyond vulgarity to arrange the happiness of those who come after us.”</p>
]]></description><pubDate>Tue, 02 Dec 2025 13:29:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=46120990</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=46120990</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46120990</guid></item><item><title><![CDATA[New comment by zero_k in "I don't care how well your "AI" works"]]></title><description><![CDATA[
<p>YES. The "This is evidenced by the new set of hacker values being almost purely performative" is so incredibly true. I went to a privacy event about Web3, and the event organisers hired a photographer who took photos of everyone (no "no photo" stickers available), and they even flew a drone above our heads to take overarching videos of everyone :D I guess "privacy" should have been in quotes. All the values and aesthetics of the original set of people who actually cared about privacy (and were attracted to it) has been evaporated. All that remained are the hype. It was wild.</p>
]]></description><pubDate>Wed, 26 Nov 2025 18:07:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=46060500</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=46060500</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46060500</guid></item><item><title><![CDATA[New comment by zero_k in "SATisfying Solutions to Difficult Problems"]]></title><description><![CDATA[
<p>SAT solvers are used _everywhere_. Your local public transport is likely scheduled with it. International trains are scheduled with it. Industrial automation is scheduled with it. Your parcel is likely not only scheduled with it, but even its placement on the ship is likely optimised with it. Hell, it's even used in the deep depths of cryptocurrencies, where the most optimal block composition is computed with it. Even your friendly local nuclear reactor may have had its failure probability computed with (a variation of) it. In other words, it's being used to make your life cheaper/better/safer/easier. Google a bit around, open your eyes Neo ;)<p>PS: Yes, I develop a propositional SAT solver that used to be SOTA [1]. I nowadays develop a propositional model counter (for computing probabilities), that is currently SOTA [2]<p>[1] <a href="https://github.com/msoos/cryptominisat/" rel="nofollow">https://github.com/msoos/cryptominisat/</a>
[2] <a href="https://github.com/meelgroup/ganak/" rel="nofollow">https://github.com/meelgroup/ganak/</a></p>
]]></description><pubDate>Tue, 28 Oct 2025 15:44:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=45734352</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=45734352</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45734352</guid></item><item><title><![CDATA[New comment by zero_k in "SATisfying Solutions to Difficult Problems"]]></title><description><![CDATA[
<p>Author of CryptoMiniSat here :) XOR+CNF is indeed supported by CryptoMiniSat. Which is cool, but if you _really_ think about it, the resolution operator over these two are gonna give you multivariate polynomials over GF(2). So resolution is poor in CryptoMiniSat, because it only encodes one of the constraints that this polynomial implies (i.e. one that can be encoded in a single disjunctive clause). And if you wanna do the _real_ deal, i.e. "properly" solve multivariate polynomials over GF(2) then you are in for a ride -- the all-powerful, much-feared, Grobner basis algorithms, and I am not touching those with a 100m pole, because they are hell on wheels :) I mean... it's possible to contribute to them, and I know of two people who did: <a href="https://theory.stanford.edu/~barrett/fmcad/slides/5_Kaufmann.pdf" rel="nofollow">https://theory.stanford.edu/~barrett/fmcad/slides/5_Kaufmann...</a> and of course, <a href="https://link.springer.com/chapter/10.1007/978-3-031-37703-7_8" rel="nofollow">https://link.springer.com/chapter/10.1007/978-3-031-37703-7_...</a> i.e. Daniela and Alex. It's... rough :D<p>Just my 2 cents.</p>
]]></description><pubDate>Tue, 28 Oct 2025 15:34:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=45734234</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=45734234</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45734234</guid></item><item><title><![CDATA[New comment by zero_k in "Willow quantum chip demonstrates verifiable quantum advantage on hardware"]]></title><description><![CDATA[
<p>Wait, is this another algorithm where they didn't bother even cursorily looking at the classical algorithm for even a minute, then compare it with their stuff? Last time they pulled this, it was my field, and I could only laugh. Just stop this nonsense and start doing some real work. Yeah, I know their "work" seems to be "how to extract money using buzzwords" but it's getting tiring, and I don't consider that "work".</p>
]]></description><pubDate>Thu, 23 Oct 2025 13:58:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=45681888</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=45681888</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45681888</guid></item><item><title><![CDATA[New comment by zero_k in "Asked to do something illegal at work? Here's what these software engineers did"]]></title><description><![CDATA[
<p>I wish I could tell a story. Alas, I can't. It turns out that large corporations are excellent at hiding evidence of wrongdoing, and will do everything to cover the backside of high-level execs, because stock price matters. When it's bad, the exec leaves for a "better opportunity", and none will be wiser. The stress of the honest, serious engineer(s) remain, and the exec gets a free ride to their next big beautiful step up the ladder. In retrospect, don't follow internal reporting guidelines, and don't talk to internal lawyers. They either are incompetent or competent, but paid to swipe stuff under the rug -- you'll never find out either way. Instead, go to the relevant regulatory agency, write a detailed report to them, and let it play out.</p>
]]></description><pubDate>Thu, 02 Oct 2025 10:41:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=45448067</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=45448067</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45448067</guid></item><item><title><![CDATA[New comment by zero_k in "Hosting a website on a disposable vape"]]></title><description><![CDATA[
<p>I am happy they demonstrated how useful these devices are. Marking these as "disposable" is a kind of insanity. I recovered a few of them "disposed" (i.e. "randomly thrown away into") in an empty flower pot, and took out the LiPo batteries from them -- which are rechargeable, and have charge circuitry (non-trivial for LiPos). That we somehow decided that it's OK to design these to be used only once feels wrong.<p>This is the opposite of repairability. We specifically made them impossible to reuse and refill. Makes my tinkerer (and eco-friendly) heart very sad.</p>
]]></description><pubDate>Mon, 15 Sep 2025 15:08:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=45250588</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=45250588</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45250588</guid></item><item><title><![CDATA[New comment by zero_k in "Some thoughts on journals, refereeing, and the P vs NP problem"]]></title><description><![CDATA[
<p>Ah, interesting. Thanks, I'll look into it!</p>
]]></description><pubDate>Wed, 06 Aug 2025 11:42:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=44810692</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=44810692</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44810692</guid></item><item><title><![CDATA[New comment by zero_k in "Some thoughts on journals, refereeing, and the P vs NP problem"]]></title><description><![CDATA[
<p>I work on a (once top-of-the-line) SAT solver [1] and a (currently top-of-the-line) model counter [2]. Actually, I am very interested in the part of the rebuttal of "when each constraint has at most two variables, then the constraint satisfaction problem (and even the more difficult problem of counting the number of solutions) can be solved in time less than the lower bound that is claimed" -- in the model counting competition [3] there are actually problems that are binary-clause only, and I have to admit I am having trouble counting them any smarter than I already do normal (i.e. >=3 length clause) problems. Is there some very fun algorithm I'm missing that I could use for only-binary clause solution counting? I have thought about it, but I just... can't come up with anything smarter than compiling it into a d-DNNF form, which most SOTA model counters (and so I as well) do.<p>[1] <a href="https://github.com/msoos/cryptominisat/" rel="nofollow">https://github.com/msoos/cryptominisat/</a>
[2] <a href="https://github.com/meelgroup/ganak/" rel="nofollow">https://github.com/meelgroup/ganak/</a>
[3] <a href="https://mccompetition.org/" rel="nofollow">https://mccompetition.org/</a></p>
]]></description><pubDate>Wed, 06 Aug 2025 10:30:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=44810216</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=44810216</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44810216</guid></item><item><title><![CDATA[New comment by zero_k in "My bank keeps on undermining anti-phishing education"]]></title><description><![CDATA[
<p>I'm also with Sparkasse and it's the worst. Their digital systems and their technical understanding is the bottom of the barrel. On the other hand, the "most digital bank" in Germany, N26, a so called "neobank" has laughable security [1]. It's a huge mess over here. I used to also bank in Singapore, the difference is night and day. Fun story: Sparkasse has an integration with a stock brokerage, and the stock charts are PNGs generated at the backend. It's literally 1995-level HTML usage, One can only laugh.<p>[1] <a href="https://archive.org/details/33C3-Shut_Up_and_Take_My_Money" rel="nofollow">https://archive.org/details/33C3-Shut_Up_and_Take_My_Money</a></p>
]]></description><pubDate>Thu, 17 Jul 2025 16:57:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=44595443</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=44595443</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44595443</guid></item><item><title><![CDATA[New comment by zero_k in "Taking over 60k spyware user accounts with SQL injection"]]></title><description><![CDATA[
<p>Sometimes, I wish engineers running backend services were not hindered by management nonsense and would just nuke these systems when they are reported, sufficiently backed up with evidence (like here -- though I'd do a personal check first to verify). Seems like some did (congrats), others didn't (Firebase). I can assure you if I was on the other end, I would have escalated until I got fired or the service was down. Unimaginable that some let these run, wake up in the morning, look in the mirror and aren't ashamed of themselves.<p>People will continue doing their unethical behaviour not because we aren't on the streets fighting for the right thing, but because we just don't care enough, and let them continue.</p>
]]></description><pubDate>Wed, 09 Jul 2025 10:20:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=44508194</link><dc:creator>zero_k</dc:creator><comments>https://news.ycombinator.com/item?id=44508194</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44508194</guid></item></channel></rss>