Readit News logoReadit News
repsilat commented on DeepSeek-Prover-V2   github.com/deepseek-ai/De... · Posted by u/meetpateltech
someguy101010 · 4 months ago
The No Free Lunch Theorem implies that something like this is inevitable https://en.wikipedia.org/wiki/No_free_lunch_in_search_and_op...
repsilat · 4 months ago
A system of n experts is no different to a single expert wrt the NFLT. The theorem is entirely indifferent to (ie "equally skeptical of") the idea.
repsilat commented on Roo or Cline? We're building a superset   blog.kilocode.ai/p/roo-or... · Posted by u/boleary-gl
bluelightning2k · 5 months ago
I do not respect this project. "We are stealing and adding no value" is not a good pitch, borders on anti open source, and just fundamentally why would anyone support you or choose you over the original(s).
repsilat · 5 months ago
Releasing an open source product that improves on alternatives doesn't sound like ”stealing” or ”adding no value" to me.

They're giving away something valuable, same as the people whose work they're building on top of.

Deleted Comment

repsilat commented on JesseSort: A novel sorting algorithm that is faster than Python's default sort.   github.com/lewj85/jesseso... · Posted by u/amichail
prirun · 7 months ago
"We find that for smaller n≲ 262144, JesseSort is slower than Python’s default sort."
repsilat · 7 months ago
I wonder about the global statistics of sorted data... Is the most common number of elements to sort zero? Certainly less than ten?

What about the median? Two elements to sort? One? Zero again?

repsilat commented on Ask HN: Why are banks charging so many fees for accounts and cards?    · Posted by u/Lopsii
Glyptodon · 7 months ago
Doesn't sound normal unless the fee is being charged by the landlord and not the bank. (Landlords seem to love payment fees.)
repsilat · 7 months ago
It's the bank. One of the biggest US retail banks. Maybe other big ones don't, maybe I should change banks.
repsilat commented on Ask HN: Why are banks charging so many fees for accounts and cards?    · Posted by u/Lopsii
Vaslo · 7 months ago
Nobody with good credit ratings is paying these fees. Exception maybe being those folks who want those fancy AMEX Black Card or whatever those cards are with concierges, etc.
repsilat · 7 months ago
I have great credit and my bank charges me $3 every month to pay my rent. (They will send a cheque in the mail for free, but it wasn't reliable for me so I stopped doing that.) Third world stuff.

Deleted Comment

repsilat commented on Reformatting 100k Files at Google in 2011   laurent.le-brun.eu/blog/t... · Posted by u/laurentlb
aiuto · a year ago
I want to start by saying that I do not want to diminish or disparage the work that Russ, Rob, Laurent, and others have done. It has made the Google code base better. That is an inarguable fact. Nor do I want to pick on buildifier or gofmt or any other tool as a singleton problem. I'll talk about buildifier because that is what I personally fight with. Others may have different demons. (YDMV - "your daemon may vary". I'm taking the authorship of that one now, in case it ever takes off).

But back to the point... formatting rules without firm, incredibly strict enforcement ends up being a tax on the janitors - the people who clean the code base and do large scale changes. That makes me sad. These are the people who care a great deal about code health, and their work is hindered by the lint checks that we have imposed.

Let me give an example.

I'm trying to eliminate a constraint in the build system. It's a "small" large change - only O(30K) instances. (Yeah, Google scale is different). I have an incredible wealth of tools available to me to automate the process. For the benefit of the Googlers, I can identify Blaze targets to change, use buildozer to fix them, and ship off CLs to review. But the changes I want to make are often ones which should be reviewed by the code owners, and not globally approved. So possibly O(10K) individuals might be involved in reviews.

Let's explore the problem. First, shouts to y2mango for bringing up incremental formatters. This should be the default for all tools. And another to flymasterv for raising the question of "why not just format as each person touches a BUILD file". Here's the situation.

1. buildozer is really good at rewriting BUILD files syntactically correctly. 2. It has an unfortunate side effect of not being incremental. It calls buildifier to rewrite the entire file. 3. We update the formatting rules to make them stricter over time. That means that a "correct" BUILD file on January 1, might require changes on March 1. 4. Buildifier findings are advisory, rather than mandatory. 5. No team is staffed with repeating the monumental work this post started with.

The reality on the ground is that little touched BUILD files become stale, and would require a formatting update over time. It is actually worse than that, because many teams take the path of ignoring buildifier warnings and committing their working code anyway. Without continual BUILD file reformatting there is a lot of stale floating around. [Root cause: We could fix this by promoting people for doing that repeat work. But we don't. We promote for the initial sprint.]

And then a janitor comes along.

I use bulldozer to fix a problem. It reformats an ancient BUILD file completely (not incremental). I send it to the code owner. They see changes far beyond my 2 line fix. They reject it, or ask for a change to only the two lines that actually mattered. Sure. I can hand build the change once or twice. But not for a few hundred, or thousands files. So.... I have to hack up an incremental format. Or, it turns out that users are very happy if I don't bother with formatting at all, and just change single lines. It's not that any individual is right or wrong. It is that they all have a choice and a preference and Google created a policy that allowed individual teams to have a choice of strict compliance or not. That is the failure.

If you are going to have a policy about code formatting: - make it hard mandatory for everything except a "break glass" situation - if the policy can evolve, staff a team with enforcing it globally

The fact that Google, as a company, does not reward this behavior does not take away from any individual's accomplishments. This post may sound grumpy to an outsider, but I am constantly amazed at the tools I have available to fix things on an enormous scale. The friction is usually only where we have good intentions, without the policy teeth to enforce alignment with the intentions. That's a management problem, not a technical one.

repsilat · a year ago
For this sort of change I think the best strategy is "two passes".

Auto-format those O(30k) files and get global approval. Then, separately, make your two-line semantic change and seek approval from local owners.

repsilat commented on Ask HN: Help me find spreadsheet software I found on HN    · Posted by u/pbowyer
repsilat · a year ago
Maybe it was 6gu.nz (site broken) https://www.youtube.com/watch?v=afXzeCuUuhU. I wrote it about 5 years ago and probably mentioned it in a couple of comments here. It had draggable tables on the normal 2d grid, with references between them.
repsilat commented on Wuffs: Wrangling Untrusted File Formats Safely   github.com/google/wuffs... · Posted by u/nequo
Ono-Sendai · a year ago
Wuffs is great. I use it in Substrata (https://substrata.info/) for loading PNGs. It is both faster and safer than LibPNG. It's something around 2x faster than LibPNG in my tests (depending on the PNG file), see timings here: https://github.com/google/wuffs/issues/13#issuecomment-17325...

So generally Wuffs is great and you should use it to decode your PNGs. There are some downsides: not all of the obscure bit depths and formats that PNG supports are loaded as-is, some are converted to more standard formats.

Also the Wuffs documentation is a bit hard to understand. It's a litle bit of a mission getting PNG decoding working. You can see my code for that here though: https://github.com/glaretechnologies/glare-core/blob/2c7174c...

repsilat · a year ago
The "mango" lib [1] claims to be even faster for PNGs. Actively maintained but doesn't have as much buzz, I think the devs haven't advertised it as much on places like this.

Also, it has the funniest testimonials.

1: https://github.com/t0rakka/mango

u/repsilat

KarmaCake day3462January 1, 2010View Original