Viewing profile — gamegoblin

It occasionally leads to kinda ambiguous headlines, e.g. "China opens world's longest undersea tunnel" vs "China opens longest undersea tunnel" It's a little unclear if it's the lo…

I learned a few years ago that HN also editorializes by dropping "world's" from titles Before: Teens break record for world's longest kickball game After: Teens break record for lo…

I use Codex CLI or Claude Code I don't even necessarily ask it to fix the bug — just identify the bug Like if I've made a change that is causing some unit test to fail, it can just…

I routinely leave codex running for a few hours overnight to debug stuff If you have a deterministic unit test that can reproduce the bug through your app front door, but you have …

AI detectors in general are unreliable, but there are a few made by serious researchers that have only 1-in-10000 false positive rate, e.g. https://arxiv.org/pdf/2402.14873 Having …

While reading the text, my mental AI alarm bells were going off, sent it all to pangram.com and it flags both the layoff post and his campaign website text as being 100% AI generat…

Weird to me that nobody ever posts the actual alleged false positive text in these criticisms I've yet to see a single real Pangram false positive that was provably published when …

I sent the text through an AI detector with 0.1% false positive rate and it was highly confident the Zig book introduction was fully AI-written

The other pangram mention elsewhere in this comment section is also me -- I'm totally unaffiliated with them, just a fan of their tool I specify the accuracy and false positive rat…

pangram.com, the most accurate and lowest false positive AI detector https://www.pangram.com/blog/third-party-pangram-evals

Yes, it's a false claim

It's AI-written FWIW though maybe AI is getting to the point it can do stuff like this somewhat decently

Pangram[1] flags the introduction as totally AI-written, which I also suspected for the same reasons you did [1] one of the only AI detectors that actually works, 99.9% accuracy, 0…

I started with basic Newton-Raphson solver too but found cases where it diverges but Excel somehow doesn't, so concluded that Excel has some kind of extra logic to handle more case…

I work on an Excel-compatible spreadsheet startup (rowzero.com) and had to implement these. One tricky part is RATE involves zero-finding with an initial guess. The syntax is: RATE…

Searched around and found it. It was actually Ashton Kutcher's interview with Eric Schmidt. Kutcher mentions the establishing shots, and I'd forgotten also points out the utility f…

I saw a famous actor-director (can't remember who, but an A-list guy) said it would be super valuable even if you only use it for establishing shots. Like you have an exterior shot…

Where would you make make the cut that takes advantage of object store parallelism? That is, at what layer of the stack do you start migrating some stuff to the new strongly consis…

The part about S3 using lightweight formal methods in their ShardStore rust codebase is ongoing and operates on the system itself, not a model

Our startup, rowzero.io, easily handles tens of millions of rows and is a subset of Excel. Leave us feedback in the app if there are any missing features you need.

In general if you actually do the erasure coding math, almost all distributed storage systems that use erasure coding will have waaaaay more than 11 9s of theoretical durability S3…

Beta Technologies is already shuttling cargo between bases/depots for the US military with their eVTOL aircraft. Demonstrated range of over 300 nautical miles. Significantly higher…

Played this back in the day It's neat how teens & amateurs will reinvent classic techniques — e.g. there was a technique in the community known as "dynamic clustering" which was re…

Industry standard word, e.g. "consumption pricing" etc But yeah if you're in the industry it's easy to forget how certain jargon sounds based on its dictionary definition