HNHacker News
TopNewBestAskShowJobs

erichocean

5,482 karma · joined September 19, 2011

CTO at Xy Group
submissionscomments
erichocean··on Launch HN: IonRouter (YC W26) – High-throughput, low-cost inference
> what would make this actually useful for you?

A privacy policy that's at least as good as Vertex.ai at Google.

Otherwise it's a non-starter at any price.

erichocean··on Faster asin() was hiding in plain sight
Ideal HN content, thanks!
erichocean··on No, it doesn't cost Anthropic $5k per Claude Code user
Partially true, you can predict multiple tokens and confirm, which typically gives a 2-3x speedup in practice.

(Confirmation is faster than prediction.)

Many models architectures are specifically designed to make this efficient.

---

Separately, your statement is only true for the same gen hardware, interconnects, and quantization.

erichocean··on The changing goalposts of AGI and timelines
> "something about which no conclusions can be drawn because the proposed definitions lack sufficient precision and completeness."

The same problem exists defining human intelligence, it's a problem with "intelligence" in general, artificial or not.

erichocean··on Triumph of the toons: how animation came to rule the box office
Saying CGI is animation is a bit like saying a photo printer prints paintings, because the latter uses pigments (just like painters!).
erichocean··on Show HN: I built a real-time OSINT dashboard pulling 15 live global feeds
Yup, I had Claude write a tool to auto-fix those diagrams. :D
erichocean··on Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI)
I would give it every example TLA+ file you can find, including PlusCal stuff (as reference). Also provide an up to date language manual and/or grammar if you have one.
erichocean··on America vs. Singapore: You can't save your way out of economic shocks
> When you move to live and work in Vienna you become part of the system

Your entire original complaint was that this doesn't happen. I agree. The difference is I don't think merely moving somewhere should give you political representation there, and the corresponding benefits you would get. You would need to gain citizenship.

"Paying taxes" has nothing to do with it. I pay taxes whenever I travel on anything I buy. I pay taxes when I export products. I don't magically get to vote or apply for social housing because of those taxes, because I'm not a citizen.

But I do have a place where I am a citizen, and if I'm upset about "my taxes" going to foreign political systems, get this, I can just choose to not pay them. No one is forcing me to travel or work in a foreign country or export products or pay taxes to people who don't represent me politically.

---

As to "anti-immigrant", my position is straightforward: citizens of Country A should not be treated as if they were citizens of Country B merely by voluntarily "paying taxes" to Country B, for goods, labor, visas, exports, or any other reason. They must actually be a citizen of a country to get the benefit of being a citizen of that country.

This is a rule that applies to every country and all people, whether an immigrant or not: you get the benefits of citizenship when you are a citizen, and not a day before.

That's pro-citizenship, not anti-immigrant. Hope that helps.

erichocean··on America vs. Singapore: You can't save your way out of economic shocks
> I meant foreign workers

So did I. Being foreign, they can work at home and not pay into a system they have no part of. Problem solved.

erichocean··on America vs. Singapore: You can't save your way out of economic shocks
> outsiders will end up paying into the system

By definition, outsiders don't have to pay into the system since they already have a gov't somewhere else that is dedicated to them, just like the Viennese do.

erichocean··on I’m joining OpenAI
Do you have a link to any of the JVM clones? Perplexity and Google came up empty.
erichocean··on ai;dr
OpenClaw agents will begin posting to HN in five, four, three…
erichocean··on Apple patches decade-old iOS zero-day, possibly exploited by commercial spyware
I wonder if Fil-C would have prevented this.
erichocean··on Finland looks to introduce Australia-style ban on social media
Parents can give their kids alcohol and cigarettes, that's fully legal.

Driving involves danger to other. We restrict adults from doing things that are a danger to others, it has nothing to do with being "vulnerable."

erichocean··on Finland looks to introduce Australia-style ban on social media
"Citizens should be free to make their own choices for themselves and their children, especially benign ones about how to socialize and who to socialize with."

It's interesting how few governments believe this. Your rulers know what's best for you, and it's not freedom.

erichocean··on Cloudflare claimed they implemented Matrix on Cloudflare workers. They didn't
I eliminated the ability to run multiple home servers and forced clients to submit to the server so that every update was a git-style fast forward, eliminating the ability to have merges. (This means that messages could "fail", requiring a rebase + retry, just like git. Anyway, it works.)

You need a custom Matrix client to do that, which I built on top of the Rust crate.

But I didn't release any of it because MLS is exactly that + better (faster) crypto due to how key ratchets work for group members. So I added MLS' crypto to an existing chat implementation I had which already had all of the Matrix-style chat sync implemented, and dropped my Matrix client and backend. Haven't looked back.

erichocean··on Cloudflare claimed they implemented Matrix on Cloudflare workers. They didn't
If Matrix now supports MLS, you should ask the site owner to update this: https://arewemlsyet.com/

Based on my inspection of the Rust crate [0] as of today, it does not. YMMV.

Separately, as you well know, Matrix has its own encryption (Olm, Megolm) that competes with MLS for group chat use-cases. Why you are acting like it doesn't is beyond me.

[0] https://github.com/matrix-org/matrix-rust-sdk

erichocean··on Cloudflare claimed they implemented Matrix on Cloudflare workers. They didn't
Terrible analogy.

MLS is an IETF standard. The server is easy to write, and easy to make scalable (no complicated merge algorithm required, unlike Matrix). Finally, individual chatrooms scale to an order of magnitude larger size vs. Matrix.

MLS is superior in every way to Matrix as it exists today if you need to implement encrypted chat rooms for your app.

Source: Guy who has implemented both, including extending Matrix to scale the server to Twitter scale (by, in essence, making it working like MLS, only worse due to the merge algorithm).

erichocean··on Kimi Released Kimi K2.5, Open-Source Visual SOTA-Agentic Model
Running on Apple Silicon: https://x.com/awnihannun/status/2016221496084205965
erichocean··on Cloudflare claimed they implemented Matrix on Cloudflare workers. They didn't
In 2026, you should be implementing MLS instead of Matrix.
erichocean··on Extracting verified C++ from the Rocq theorem prover at Bloomberg
Getting the AI to work with Rocq is a useful goal, Lean has been useful so far.
erichocean··on I was banned from Claude for scaffolding a Claude.md file?
Whoops, I literally did the same thing as this guy earlier this week, but did the testing using `claude -p` so I can identify when Claude Code would (or would not) load Skills for a particular prompt, so that I could improve the skill definition.

Who knew that using Claude to introspect on itself was against the ToS?

erichocean··on Ask HN: Do you have any evidence that agentic coding works?
I've had AI write ~100% of my code for the last 7 months, but I acted as the "agent" so the AI had very high levels of direction, and I approved all code changes at every step, including during debugging.

Mostly Gemini Pro 2.5 (and now Gemini Pro 3) and mostly Clojure and/or Java, with some JavaScript/Python. I require Gemini's long context size because my approach leans heavily on in context learning to produce correct code.

I've recently found Claude Code with Opus 4.5 can relieve me of some of the "agent" stuff I've done, allowing the AI to work for 10-20 minutes at a time on its own. But for anything difficult, I still do it the old way, intervening every 1-3 minutes.

Each interaction with the AI costs at least a $1, usually more (except Claude Code, where I use the $200/month plan), so my workflow is not cheap. But it 100% works and I developed more high-quality code in 2025 than in any previous year.

erichocean··on Show HN: I figured out how to get consistent UI from Claude Code
Just share your skill folder (with the SKILL.md file). Your description is unclear.
erichocean··on The coming industrialisation of exploit generation with LLMs
The reverse is also true: secure code is difficult to write, and LLMs at scale will make it much easier to develop secure code.
erichocean··on The recurring dream of replacing developers
Spreadsheets replaced developers for that kind of work, while simultaneously enabling multiple magnitudes more work of that type to be performed.
erichocean··on The Dilbert Afterlife
The WIDGET model of "working geniuses" is one possible answer, it does explain a lot of team dynamics in my experience.

Since no one has all six working geniuses, and you're only a genius at two, it takes a collection of people, proportional to the work that needs to be done, of each type.

erichocean··on Org Mode syntax is one of the most reasonable markup languages for text (2017)
Is a link in the README to an example PDF really too much to ask?

I don't think so, but again, it's a nit.

erichocean··on Influencers and OnlyFans models are dominating U.S. O-1 visa requests
Seeing as how it's is trivial to buy followers, that metric should be completely abandoned, it's not legitimate.
erichocean··on The UK is shaping a future of precrime and dissent management (2025)
Total Reform + Conservative vote was at historical lows as a percentage of the electorate.
← PreviousPage 4 of 34Next →