HNHacker News
TopNewBestAskShowJobs

vichoiglesias

3 karma · joined February 8, 2014

Chilean Living in Basel, Switzerland. Currently SE at Genedata.

vichoiglesias.com vichoiglesias@hey.com

submissionscomments
vichoiglesias··on I Have Thoughts on the iPhone Air
Got the iPhone Pro Max in beautiful orange... and could't get use to it. It feels heavier that the previous titanium versions, so sold it and got the Air. The lack of telephoto is indeed one of the things i miss the most, but the single speaker is surprisingly good IMO. Really enjoying the design of it, feels like what i remember felt holding one of this really cool iPod nano back in the day, like old Apple magic.
vichoiglesias··on An agent in 100 lines of Lisp
I always had this idea after reading so much about Lisp that I was designed for AI, but kinda forgot about it with all the craziness of the last years. When I read on the article the eval and the implications of agents self generating their code, it just clicked. Looking forward to experiment with this! kudos to the author!
vichoiglesias··on Ask HN: What are you working on? (June 2026)
Yes, exactly! I want to explore if ai workflows can be treated like unix treated programs, small composable transformations over artifacts.
vichoiglesias··on Ask HN: What are you working on? (June 2026)
I’m working on Kern, a small, git native, make and unix inspired llm workflow.

Modules are simply folders, and the tool just reads from stdio and outputs to stdout. Runs are stored in simple text files with all the info of inputs, outputs and other metadata.

https://github.com/vichoiglesias/kern

vichoiglesias··on Show HN: Mnemo – local-first AI memory layer for any LLM (Rust, SQLite,petgraph)
I think we are all experiencing more or less the same kind of pain regarding memory+llms, and love to see how different approaches exist this problem.

How does mnemo decides when to forget something? So old history wont pollute the new answers?

vichoiglesias··on Ask HN: Who is using OpenClaw?
I managed to run a council using OpenClaw twice a day of different models that would discuss my personal projects, and send me to telegram ideas or suggestions for the next steps. It was quite cool and got very nice insights, but was burning tokens like crazy, so I stopped it.
vichoiglesias··on Making Autonomous Agent Execution Bisectable
The self-extending part is wild! agent mutating its own tools mid-run makes trajectory fidelity even more make-or-break.

On git hooks: checkpointing state is easy, but if replay isn’t deterministic, bisect over checkpoints is unreliable... you can get different states on replay.

Tool evolution is a brutal test case: if the predicate is “does this tool still handle edge X?”, it needs to stay violated once flipped, or binary search happily lies about the origin tick.

Genuine question: when a self-built tool regresses, can you actually reconstruct the exact chain of reasoning/commitments that led to it? The artifact is simple to diff, the decision trail behind it is where it gets nasty.

vichoiglesias··on Making Autonomous Agent Execution Bisectable
When an autonomous agent fails at step 40, the bug was usually introduced at step 12. The hard part is finding it. Logs tell you what happened, but they don’t let you bisect a trajectory the way you’d bisect code.

I started thinking about what it would actually take to make that kind of debugging mechanical. It seems to require three things: immutable traces, pure reducers, and violation predicates that don’t flip back once they become true.

The interesting part: remove any one of those invariants, and there exists an execution where binary search over the trajectory cannot be guaranteed to return the correct onset tick. I tried to sketch a proof of that.

Once that substrate exists, though, you get something fun: fork, diff, and cherry-pick over agent reasoning. The same operations Git gave us over code but applied to trajectories.

Curious what breaks in the argument, especially the impossibility claim and whether the predicate regularity assumption is actually realistic.