Hacker News: throwaway81523

New comment by throwaway81523 in "Android CLI: Build Android apps 3x faster using any agent"

throwaway81523 — Thu, 16 Apr 2026 22:42:10 +0000

You're forgetting the installation ("sideloading", what everyone else calls installation) restrictions they are about to deploy. It will be a significant hassle to install anything without Google's approval. Many F-droid apps are showing warning notices about this upcoming change.

New comment by throwaway81523 in "Not all elementary functions can be expressed with exp-minus-log"

throwaway81523 — Thu, 16 Apr 2026 04:55:26 +0000

It's ok for elementary functions to have singularities, like 1/x at x=0. But I'm not sure what happens with your version of abs, since the log function has branches. log(1) is any of 0, 2*pi*i, 4*pi*i, etc.

New comment by throwaway81523 in "Not all elementary functions can be expressed with exp-minus-log"

throwaway81523 — Wed, 15 Apr 2026 08:40:59 +0000

I think the issue might be the branch cut in the sqrt function. Per the wiki article, elementary functions have to be differentiable in the complex plane at all but a finite number of points.

New comment by throwaway81523 in "Not all elementary functions can be expressed with exp-minus-log"

throwaway81523 — Wed, 15 Apr 2026 07:16:30 +0000

It's news to me that "elementary functions" include roots of arbitrary polynomials, but the wiki article in fact says that they're included at least some of the time. I remember reading about the Risch algorithm (for finding closed form antiderivatives) a long time ago and elementary functions were just the ordinary ones found on calculators.

Interestingly, the abs (absolute value) function is non-elementary. I wonder if exp-minus-log can represent it.

New comment by throwaway81523 in "A new spam policy for “back button hijacking”"

throwaway81523 — Tue, 14 Apr 2026 04:22:39 +0000

> When a user clicks the "back" button in the browser, they have a clear expectation: they want to return to the previous page. Back button hijacking breaks this fundamental expectation.

It seems pretty stupid. Instead of expanding the SEO policy bureaucracy to address a situation where a spammer hijacks the back button, the browser should have been designed in the first place to never allow that hijacking to happen. Second best approach is modify it now. While they're at it, they should also make it impossible to hijack the mode one.... oh yes, Google itself does that.

Automated Conjecture Resolution with Formal Verification

throwaway81523 — Tue, 14 Apr 2026 02:10:44 +0000

Article URL: https://arxiv.org/abs/2604.03789

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

Points: 2

# Comments: 0

New comment by throwaway81523 in "A Canonical Generalization of OBDD"

throwaway81523 — Tue, 14 Apr 2026 00:54:44 +0000

Thanks, I'll have to take your word that this TDD minimization is useful in practice, the way SAT solvers are useful despite SAT being NP-hard. The general problem of Boolean function minimization is of course horrendously intractable; as you say, way harder than SAT.

New comment by throwaway81523 in "A Canonical Generalization of OBDD"

throwaway81523 — Mon, 13 Apr 2026 07:24:31 +0000

Can someone give a quick explanation of why this is important? It looks interesting but that it would take a lot of background to really understand it.

New comment by throwaway81523 in "DRAM has a design flaw from 1966. I bypassed it [video]"

throwaway81523 — Sun, 12 Apr 2026 20:50:04 +0000

You're saying that the audio channel of that video has the useful information all by itself. The video channel, which consumes most of the bandwidth, is useless. You could go a little further and say about 80% of the 54 minute audio is also useless, and it could be cut to maybe 10 minutes. Keep going and say to post it as text instead of audio, so you can read it in 2 minutes. Now you don't have to put it in the background.

New comment by throwaway81523 in "DRAM has a design flaw from 1966. I bypassed it [video]"

throwaway81523 — Sun, 12 Apr 2026 05:55:46 +0000

In this case the useful info in the book could be distilled down to the cover blurb.

This video really should have been two videos anyway. One to describe how DRAM works (old hat to some of us nerds, but interesting and new to lots of others), and the second one to explain how she got around the refresh interval. Then nerds could skip the first one completely. In reality the two videos could be about 5 minutes each.

New comment by throwaway81523 in "How much linear memory access is enough?"

throwaway81523 — Sun, 12 Apr 2026 05:32:55 +0000

Doesn't it depend what you're doing? xz data compression or some video codecs? Retrograde chess analysis (endgame tablebases)? Number Field Sieve factorization in the linear algebra phase?

New comment by throwaway81523 in "DRAM has a design flaw from 1966. I bypassed it [video]"

throwaway81523 — Sat, 11 Apr 2026 21:05:45 +0000

I don't want an AI summary, I just want the author to write concisely, and hopefully make a text post instead of a video.

New comment by throwaway81523 in "Today Is CSS Naked Day"

throwaway81523 — Fri, 10 Apr 2026 08:44:00 +0000

Every day should be CSS Naked Day and also Javascript Naked Day.

New comment by throwaway81523 in "DRAM has a design flaw from 1966. I bypassed it [video]"

throwaway81523 — Fri, 10 Apr 2026 07:12:50 +0000

This is a 54 minute video. I watched about 3 minutes and it seemed like some potentially interesting info wrapped in useless visuals. I thought about downloading and reading the transcript (that's faster than watching videos), but it seems to me that it's another video that would be much better as a blog post. Could someone summarize in a sentence or two? Yes we know about the refresh interval. What is the bypass?

Update: found the bypass via the youtube blurb: https://github.com/LaurieWired/tailslayer

"Tailslayer is a C++ library that reduces tail latency in RAM reads caused by DRAM refresh stalls.

"It replicates data across multiple, independent DRAM channels with uncorrelated refresh schedules, using (undocumented!) channel scrambling offsets that works on AMD, Intel, and Graviton. Once the request comes in, Tailslayer issues hedged reads across all replicas, allowing the work to be performed on whichever result responds first."

New comment by throwaway81523 in "BunnyCDN has been silently losing our production files for 15 months"

throwaway81523 — Fri, 10 Apr 2026 07:03:25 +0000

I've exchanged emails with Dejan (Bunny CEO) about Bunny-related stuff. It's not THAT hard to contact him, or at least wasn't, some years back. Maybe he's a bigger cheese now.

New comment by throwaway81523 in "Show HN: Guruka.com – free guided mediations. No signup, private, works offline"

throwaway81523 — Fri, 10 Apr 2026 04:15:21 +0000

These are audio recordings right? Could they just say so?

New comment by throwaway81523 in "Breaking Enigma with Index of Coincidence on a Commodore 64"

throwaway81523 — Mon, 06 Apr 2026 02:11:53 +0000

Yeah something is wrong there, and I don't see actual breaks in the post, though maybe I missed something. Solving the rotors to get to the plugboard isn't so easy! The permutation changes every character, as the rotors advance.

New comment by throwaway81523 in "Delve removed from Y Combinator"

throwaway81523 — Sat, 04 Apr 2026 04:07:17 +0000

Fraud as a service! The next big thing!!!

New comment by throwaway81523 in "George Goble has died"

throwaway81523 — Fri, 03 Apr 2026 04:13:35 +0000

He smashed together two VAX 11/780's that were million dollar(?) machines at the time, to make the world's first dual processor VAX. Ok not literally "smashed", but he did some astounding hack involving putting the cpu cabinets adjacent and connecting the MASSBUS backplanes together or something like that. I'm not a hardware guy but the sheer brass of that operation amazed me. DEC later did their own version which they sold as the 11/782.

I see now, this is described in the Wikipedia article as well.

New comment by throwaway81523 in "Ask HN: Who is hiring? (April 2026)"

throwaway81523 — Thu, 02 Apr 2026 02:39:57 +0000

213 comments as of $TIMESTAMP, 11 hours after thread opened. Lower than I've seen in quite a while.