HN user

olivergregory

67 karma
Posts1
Comments29
View on HN

I built codix because AI coding agents waste a lot of tokens grepping and guessing their way through codebases. They search for symbols by name, get imprecise results back, and sometimes just hallucinate definitions that don't exist.

codix indexes your code into a local SQLite database using tree-sitter, then provides precise symbol lookups, reference finding, and relationship queries (callers, callees, implementations, supertypes).

It also supports refactoring: `codix rename` finds every occurrence of a symbol across the codebase using AST analysis (not text search), shows you a dry-run diff, and applies it with --apply.

    cd your-project
    codix init
    codix find UserService
    codix callers save
    codix impls Repository
    codix rename save persist          # dry-run
    codix rename save persist --apply  # apply
It supports Go, Java, JavaScript/TypeScript, Python, and Rust. The index auto-refreshes on every query, so it's always current.

The output is designed to be token-efficient for agents, but it works fine for humans too. Adding it to your agent is one line in CLAUDE.md or AGENTS.md.

MIT licensed, written in Rust, ~5k lines. Contributions welcome — especially for new language plugins.

She allowed the law to pass by not voting against. There was enough abstention for her voice to matter.

She stole money from the EU, an act she did after being voted MP. She couldn’t have done it if she had not been elected. So, basically she was elected, stole money and she still should not be barred from the next presidential election after she allowed that ban law to be voted?

She chose the path, she should face the consequences.

ToS;DR 1 year ago

The grades are explained at the bottom of the page.

Regarding Startpage, It's not mandatory to show the cookie banner if you don't track. Startpage doesn't track you at all, so it's grade A.

Wikipedia has that all the bad things happen to your account except for the tracking, but you can still use Wikipedia without using an account. I agree that it's a B.

I'm not familiar enough with Tor to answer that grade.

They won't leave.

For 50 years in the US, the maximum tax rate was right below 80%. That didn't make the country poorer, on the contrary: that was the time the US asserted itself as the main planetary superpower. "The rich will leave" is a myth. Probably some opportunists like Elon Musk will, but he's just the (extremely) vocal minority. Most recently in Norway after a targeted tax, out of 230k+ millionnaires and billionnaires, a lot vocally said they would leave while only 30 actually did, which was just marginally over the usual migration rate for that category of people.

So even though no one ever proved that "the rich will leave" (while the opposing has been shown numerous times) over the last century, the simple workaround is to make the tax global or at least as wide as possible, which is what is attempted here.

Slig, I don't know how to reach you other than here.

Today's hardest puzzle (#110 @ 2024-03-23) says that "Theodore's favorite player is Italian".

The list comprises of the following players: Di Stefano (Argentina then Spain), Maradona (Argentina), Ronaldinho (Brazil), Ronaldo (Brazil or Portugal, depends on who the game speaks about), Rooney (England).

That's roughly what I don't like with your implementation: the grids cannot be solved by themselves. Some external knowledge is required, and in this case, the knowledge is incorrect. Basically, the hint here should say: "Theodore's favorite player is <whoever the AI thinks is Italian>".

It's very nice. I couldn't finish the hardest difficulty: I must be missing something.

I've found some issues: - when refreshing, all progress is lost, including previously solved puzzles. I guess that you could store the current state of the daily puzzles in a cookie or on the drive. -

And I've some suggestions: - maybe add a grid like this one[0] in a tool or something to help us solve the hardest puzzles. I don't know if it's relevant, but i feel it is. I didn't need to use this kind of grid until the hardest puzzle, but again, I couldn't finish it, so I'm not sure it's useful. - make the coloring of the grid optional: they're distracting when solving the puzzle, I think

Anyways, very nice! I can't wait for tomorrow's puzzles :)

[0] https://murdle.com/

Well, the deal is indeed they advertise to me. But they may not tell "you pay with your privacy or your money". That's the law. There are other forms of advertising that are not based on my private data. Those forms of advertising pay less? That's the problem of Meta, not mine.

I selected Java as programming language and got a lot of engines that are not usable in Java. But the two main Java engines, LWJGL & LibGDX, that are present in the database were not on the list.