HNHacker News
TopNewBestAskShowJobs

seer

3,073 karma · joined June 14, 2007

Ivan Kerin, ok at programming

meet.hn/city/in-Mumbai

Socials: - github.com/ivank

---

submissionscomments
seer··on LLMs are making formal software verification feasible at a much larger scale
I think this is indeed the direction, but am wondering is anyone actually trying it right now? Love to explore it.

I think for now the answer to adaerlangsql+++ is just Rust - but its semantics have always been about human usability.

Humans have this thing where we can only keep 7 things at once and have to juggle our context, but recall seems much more broad than model contexts.

If we were to start designing a language and toolkit based around LLM context sizes, limitations and quirks - how would that look?

Also terseness and operators are one thing, but what if it’s the other way around - English words etc - can have a much bigger vocabulary of things that can be done but can easily be generated on the fly.

For a new LLM language realistically you would need to probably either write or convert a shit ton of software to it first if you are to train an adequate model on top of it …

And also what about “IDEs” for agents? So far they are clumsily using human tools - just looking Claude string along bash loops and greps to try to eek out meaning form code _it itself had written a week ago_ is frankly frustrating.

There must be a better way and some rich agent specific tooling for code exploration and verification.

Anthropic stance has always been “yeah we tested them all, grep is better” but I still am not convinced - just by the fact that it constantly fails one or two attempts before “figuring it out” yeah it’s fast anyway but it could be _faster_ and could allow the agent to “think” in code space more and not have to validate itself at every minute step …

seer··on The Other Epidemic: Trying to get off benzodiazepines
Funny how all of this changes with agentic development - once you setup your agents and the initial productivity euphoria , most of the time you spend in deep brainstorming and leave agents to “handle the details”.

Which is both liberating - a lot less punishing mentally and not requiring so much flow focus, but on the other hand you have to keep more loosely held context in your head.

And agents need you attention constantly throughout the day, you leave them working overnight. While you are not in the office etc, and it’s hard to justify when an agent just needs “a quick look” or some confirmation and direction. You leave being paged all the time so you never really relax.

I think a lot of developers will end up feeling what founders actually go through, for better or worse, but also without actually getting the golden ticket option founders usually hold.

It’s just a very different mindset for work, though maybe requiring less chemicals to actually make work

seer··on DeepInfer: High-performance inference framework for DeepSeek models
Isn’t “sandbox capitalism” - real capitalism and what the us is trending towards is the “Wild West” capitalism with monopolies, trusts, and all the other anti competitive things that arise in the free market if there is no external force that tries to keep the market “fair”?

I mean this is not the case for either, but the systems are setup to drift in these directions - a market needs some sort of regulation to keep things sane, otherwise you end up with standard oil and the like.

You want the people with guns controlling things to be at least nominally interested in “the people” and produce more than just “return on investment”.

Not saying that China is like this or that US is bad, but saying that China is bad because it is “controlled capitalism” is kinda missing the point of what it should be in the best case.

seer··on Ask HN: How to deal with shipping AI-written code you don't understand?
I always try to think how product owners deal with this. I used to write a lot of code, so did my colleagues, but the product owner was the one driving the effort - they definitely didn’t know how to code, but they “shipped” results regardless - they develop relationships with individual engineers, make sure to understand their strengths and weaknesses, insist on automated testing and then hand verify results, whenever on assumption the engineer expressed but turned out to be not true they push to extract the uncertainties.

Slowly build understanding of what is possible, push back on engineers suggestions and don’t approve stuff blindly, but relying on results to guide them not the implementation.

It is very very similar feeling. -you need to know your models and harnesses (e.g. your … team). You don’t need to know the specifics of the code but doublecheck with different personalities if the assumptions are correct, test them.

And ultimately shipping bugs is a given , human engineers do it _constantly_ it’s the resilience systems you build around that which saves you, tests, canaries, rollbacks, feature flags, everything we already know how to do - just use that and imagine yourself the product owner.

seer··on Waymo in Toronto
I apologise for the tangent but doesn’t this “future” feel off? We’re improving the experience with navigating all of these noisy, nasty, ugly, toxic and dangerous car sewers (aka car streets) that actively robs us from our humanity and leads to isolation?

This all feels kinda like the Soviet Union building a shit ton of concrete “monuments” everywhere, pretending that was what people “wanted”

The tech is truly impressive but I wish we were able to step out of the local maxima of “optimising this shitty experience until it is less shitty” and start taking “optimising live in cities so it feels nice again” as an actual goal?

Some countries seem to have stumbled on it and the science of urbanism is progressing, but man if that amount of ingenuity that went into self driving cars had went into green and efficient cities…

seer··on Things to know when you get cancer
I thought a second opinion for big life affecting things is just standard practice.

A friend of mine was diagnosed with leukaemia, and the doctor literally told her - get your affairs in order, you got 6months to live, tops.

She spend a day in a daze not knowing what to do, and her parents were like - get a second opinion.

That one turned out negative. The original doctor was like - ah sorry, my bad.

seer··on Gemini 4 Argon
The switch in mindset I experienced was to go from "Working on a feature" to "curating a board" to "overseeing angets curating boards".

So that I'm not just relying on one or a few agents to accomplish a task. I work on the whole product and just drive the direction of tickets and their "what done looks like" requirements, and let the machine organize things on its own, usually 10-20 independent agents (each spawning their own subagents). I think i might have capacity to handle more, just don't have the subscription tokens to fuel it and the budget for the hardware to run it.

Haven't worked in BigCo so no idea how that compares to their tooling. I'm sure it works much more efficiently and on a bigger scale, just being curious about how it all plays out.

seer··on I built a tool to track what AI leaders say and how their views change on video
Hmm I feel like the social media aspect would be way more useful for democracies in general.

I remember reading about Switzerland’s government service that tracks each politician, their political actions - which positions they take, which laws they promote, etc. and comparing that with which companies and investments they, their famalies and their close connections have.

All quantifiable data. I always thought something like this was _essential_ for any democracy in general - follow the money and “qui bono” and all that, thought it would be cool to build one. But of course prohibitively expensive for individuals small teams. But with all the ai - this could definitely be a thing.

If it all boils down to “verifiable corruption rating” as a single sound bite, it could seriously affect public opinion I feel. Hope someone gets on that idea someday.

seer··on Gemini 4 Argon
To be honest I’m not sure - the tooling around it has processes to start things, and gourds around tool usage to remind Claude of proper procedure.

But ultimately I find it a silver lining more than a problem. I am building and changing tooling so fast, and the models tooling itself is changing so fast, that by the time I establish a workflow, I either A) have solved the original problem so no longer needed, B) have built other tooling that distorts the picture, or C) the labs have released something new and cool that changes the equation drastically so your previous setup is gone anyway.

For example I built some procedure on how to split work between fable and opus and sonnet to optimise token usage, then opus 5.5 came along and made all of this obsolete.

Not per “token usage” mind you, opus is still expensive, but more “effort per task time finish” kind of metric. If I want to close things faster while still being relatively within budget, it is just easier to send all to opus - it will now just solve thigns quicker so you still use similar amount of tokens / money, but quicker, which is a trade I’ll make any day.

And every time “the system is working” I either just stumble onto the next resource constraint, or I feel uncomfortable and start refactoring to make things better and inevitably destabilise the whole “machine”

seer··on Gemini 4 Argon
Hmm how does your custom harness compare to Claude’s?

I’ve tried the various alternatives (opencode, pi.dev) but for “have several physical machines, each running an orchestrator and 5-10 agents, and each agent spawning its own subagents to do work in parallel, all of that on a tanky GitHub project boards” level of work only Claude was doing work dependably.

I can have a few orchestrator leads which I talk to and brainstorm, and let them file tickets, organize them and assemble teams of agents to work of the various problems. And all of that with just a smidge of custom tooling on top of Claude Code’s default.

Plus don’t have a budget to spin all of this on cloud runners so I made sure to do as much as I can with local work on several machines I own. Was quite easy to achieve with Claude.

Do you have something similar built on top of a open source harness, or is it from scratch?

seer··on GLM-Legal
I think the new batch of engineers are going to think faster on their feet, but less precise.

We humans are _amazing_ pattern matching machines and learning “if you do this thing this other thing occurs” is literally what our brains were built for.

It’s just the current few thousand years of technical progress that have been a departure from this reality - we found out about analytical thinking and that by deeply analysing something you can do a shit ton more.

If you look at scientific progress before Industrial Revolution it’s all trial and error between patterns. And I feel like the new crop of devs are silently settling in into this very human and familiar pattern.

On the one hand I think it will probably be good for the “mental health” of people in this profession - you become more like an alchemist acquiring bags of tricks on what works, sharing incantations with others, because sitting down and learning _why_ it works in detail would be a time luxury few would be able to afford.

But that would mean the people under the hood that build the LLMs and who debug the really broken system would be charging the premium.

I honestly don’t think that in and off itself would be such a bad thing.

What I personally am really scared about is the price for labour that is sharply declining. I don’t worry about ASI too much, but when you read history it is absolutely full of stories of great human suffering because “labour was cheap” no need to improve working conditions because there is always someone else willing to take it up.

We had the Industrial Revolution _because_ of the plague making labour expensive and driving the benefit for innovation. Before that nobody really cared. With LLMs doing things becomes vastly cheaper, so the labour itself becomes cheap with it.

Now looking at the state of the engineered world - how absolutely shitty everything is (as opposed to what it technically could be) - there is a shit ton of stuff to be done so the work should be there to fill it. But maybe the capital will move in another direction - nobody can predict the future, I just hope we don’t end up in a dystopian hellscape for the sake of my children.

seer··on AI agents in a stand-up call
Honestly Claude code with agent teams and opus 5.5 is good enough for this by default no need for a custom harness / skill
seer··on How Delhi cut electricity loss from 50 to 5 percent
You are right, Indians travel a lot, no other nation does that at all.

And calling someone stupid is right and generally accepted way to lead a fruitful conversation, thank you.

Modi has been the great hero that India wanted and is deserving of every accolade he and his close advisors bring to bear.

I have been now convinced by your argument and steely demeanour. It is truly a joy to talk to someone so charismatic and I feel elevated just from reading these messages.

And you are absolutely correct in assuming that India’s current leadership has no problems, they sample all possible solutions that could be done and select only the best one for their entire people, pulling absolutely everyone from poverty and policing that no entrenched elites capture any of the wealth of the nation.

Of course there are NO protests in this model of a country where the young feel empowered in their future, and even if there were, they would be met with only joyous approval by the elites and all measure would be taken to incorporate any complaints raised by the people to make everybody prosperous.

And elections are absolutely fair and there is never even a hint of any fraud or corruption, because if there ever was that is for sure the cause of evil Chinese spies or British investigative journalist saboteurs.

It is courteous people like you who make me stay in the country and provide my totally undesired technical expertise to bring the living standards of everyone up and pay my incredible fair and not at all inflated taxes for doing so.

I will from now on shut my fuck up and praise the unerring elites at the top.

seer··on Why Common Lisp is now the best programming language
I remember the old discussion between clojure programmers and someone who works in a strongly typed language. The argument was “types allow you to be certain that if you change some code, an unrelated but affected part of the codebase will also be flagged and it is not missed” the clojure guy response was “why would you ever design a program where a change in one place affects the other”.

I do think this is an unrelated win of functional languages that hasn’t yet been “discovered” by the vibe coder crowd - FP’s whole premise was that it makes your code depend on much much less things so you can “fit it in your head and reason about”… that’s like the perfect sweet spot for agentic as well, we just haven’t seen tools utilize that in earnest.

seer··on Friendship ended with Deno, now Node is my best friend
I wonder what the future of all three is mode bun and deno, their original goal has always been to be able to code in one language across frontend and backend, and typescript itself is a hell of a good language too.

But now that people seldom even look at the code, does it even matter? Our shared language now is English - across tests, frontend, backend, product briefs and design systems.

I have written a crap ton of node code before, because I liked it, but now I do everything in specialized stacks where each tech is chosen to best fit its environment. Backend - use Go, frontend - react/svelte/custom ,game simulation code - C#.

I just debate what would be best fit with an agent, do a few pilots to prove it and just go. Languages I’ve never coded in are super fast to execute - just insist on following best practice, modern conventions and do some spot checks against o(n) problems, architecture and parallelism - and it works, and vibe coded codebase with strict linting rules vastly outperforms fine tuned code in a shared language (node).

I honestly don’t see a bright future for them, and tbh I was surprised at Claude’s migration _to_ bun - why not just make the jump to something like ocamel that would let their agents have even more performance, context and linting tools, but I guess if they did it once the will do it again when they feel like it.

seer··on How Delhi cut electricity loss from 50 to 5 percent
Have you been to China? Taiwan? Singapore? Thailand? Vietnam? Republic of Korea?

India is “growing” and it is “growing fast” nobody is denying that.

But if you go to the other places in Asia and see what they have accomplished, some after literally being bombed to the Stone Age by the Americans …

Bangkok is a bustling modern industrial clean and livable metropolis.

Delhi just recently “almost fixed its electricity blackout problems” … 2026…

Once you step out of the propaganda bubble, walk the streets and talk to the people on these streets it’s a very different picture.

I’ve overheard women talking to each other how one of them fell asleep in a cab at night, and the other one mentioned “OMG you are so lucky to live in Mumbai, you were safe” … like wtf place are you coming from. Turns out only in Mumbai women are safe in India…

You can _drink_ the tap water everywhere in Taipei. In Mumbai even the super mega ultra rich people need to buy filters for their water …

India is growing fast, it’s just that under Modi it has grown so much less than everybody around them, so you can start asking questions - where does all that generated wealth flowing into.

40 years ago Seoul was a shit hole, today it is just as virtually unaffordable for the locals as Mumbai, but it’s a city that makes the US and most of Europe jealous. No mineral wealth, no hydrocarbons, literal war at their border, and the people still built that marvel.

> Go back to Europe then

Great attitude dude, great attitude, slow clap.

seer··on How Delhi cut electricity loss from 50 to 5 percent
I assume you are sincere in holding these beliefs and not just a bot inflaming politics.

In that case the general reason you are being dismissed now is you are doing a classic [whataboutism](https://en.wikipedia.org/wiki/Whataboutism) - dismissing one wrong by pointing out another.

You should consider things in context, yes, but one wrong doesn’t make another wrong go away. If I kill your spouse, the fact that my spouse was killed (even by you) still makes it a murder. A country that doesn’t guard its sovereignty of violence famously stops being a country by definition - https://acoup.blog/2024/04/12/fireside-friday-april-12-2024/

As someone who moved to India for personal reasons from Europe, this whole defending of Modi and his party policies seems so bizarre - there _are_ examples of countries in the region that got worse in the last 30 years (Pakistan) in the region, but there are soo many examples of others that got much much better. If you look what’s happening to all the other countries in Asia - India seems to be falling behind so hard it’s not even funny. And all thanks to the great leader. It could have been worse - yes, but it could easily have been so so much better.

And I usually go back to the “why nations fail” book that outlined the reasons of countries success and failure - it’s not rocket science - build and strengthen institutions and your country prospers, waken institutions for personal gain to you and your allies - country goes to the dumpster eventually.

The US are going a similar road btw, and it would be a very interesting example to point to eventually for the next editions of that book.

seer··on California farmers are struggling to sell grapes as demand for wine drops
I think different types of alcohol have quite a different effect on me now (40yo) - wine will get me mellow and sleepy, beer would get me to be more social, whiskey will make me more energetic / risk taking.

Knowing that I can tune my level of enjoyment of whatever is happening.

Though there is an old saying from where I grew up - alcohol is stealing happiness from tomorrow to have it today.

And that has always stuck with me - whenever I drink I get a bit happier that instant and feel worse more tired the next day.

And that is ok if I am going to a social event and I want to get the most out of it, and I know next day will be chill anyway - who’ll can make the “chill” time even more chill.

seer··on How I changed teaching after AI managed to do all my homework assignments
Hmm people can now do a lot more than they were supposed to be able to without LLMs - shouldn’t we lean into that?

Force people to go all in with “impossible” tasks and see how they do with the power of LLMs. Then spend some significant time teaching people _with_ that solution in place what was actually built and what would have been a better architecture? A … software archeology session if you will.

That’s what most of what people do would be anyway - building PoC fast and then figuring out how to scale them?

seer··on What happened to the Snowden archive
Why do we need to go to the Stone Age, maybe we go to Pre-cold war diversity of said windows? Or to Cold War stalemate with just a lot more actors?

I think the cheapening of labour that AI is doing globally will be much more impactful on culture, economy and life in general.

Our whole world order was _built_ on the Black Death making labour expensive which lead to the Industrial Revolution (among other factors, but this was an important one).

If we get to cheap labour - then we go to where South Asia is today - low education (why invest when you have ai?) big stratification of society, populist politics, etc.

India is portraying to its people how it’s racing to overtake the west and China … I think the other way around is more likely, with AI you get everyone closer to India’s case.

Prepare for ultra-ultra-ultra rich - like you have in India - honestly the gap between the wealthy and the poor there is astronomically higher than anything you’ve seen in the west.

Silver lining is though - societies like this end up “high Kinship” and more “stable” - maybe even lower large scale conflict?

seer··on Show HN: Redis City – Explore how Redis works in an interactive 3D model
Looks beautiful thank you! Looking at it though I keep thinking - would understand it better if it was factorio :-D
seer··on 4,400-Year-Old Tomb of Egyptian Judge Found at Saqqara with Colors on Walls
Hah absolutely, after of a very intense project I’ve undertaken with Claude agent teams for a few months now, I have caught myself using opus expressions, since they come to mind now naturally because that’s most of the text I’ve read since then … I’m catching myself so far, but in a year or two maybe I will not, fable doesn’t do as much “mannerisms” and speaks plainly, so maybe by then we will all be running fable level models on hour local machines and just not notice it anymore?
seer··on Ask HN: How do you manage skills files?
Hah I think if a repo is “standard” enough that an agent can navigate it freely without any help or direction, maybe it’s not worth having altogether?

Even fable _regularly_ stumbles as big repos or custom configurations, even for projects that fable itself built with high dev quality standards and modern design direction.

It just can’t hold it all in its context and will be forced to do “software archeology” all the time to figure things out - yeah it will work _most_ of the time, but to truly be able to scale and have autonomous agents reliably work and mold your codebase you need a lot more structure - tests, lints, compilers, validators etc. Your “skills” or policy files are there so agents can resolve issues and heal things themselves without your explicit direction.

If I have several tabs, each holding an agent team, with each agent spawning subagents as it sees fit, all of that apparatus has to ground itself _somewhere_ and if you don’t make decisions yourself, it will make decisions for you, save them in its own skill files, but some of these you might not like.

seer··on AI handles incidents, engineers lose touch with their systems
Hmm that’s strange, in my experience it is the other way around - Claude is super diligent with infra and will _insist_ on double checking and trying everything for real before committing.

When I was doing this myself I would read the docs and just implement them - claud is going about doing real software archeology to figure if what is said is actually the truth or it’s stale/inaccurate/buggy.

I’ve become 10 times more diligent because it is a lot easier to do. It’s no longer Urgh it’s good enough let’s ship it, now it’s “sure put a leg on it to figure it out and double check it”.

Backups are _tested regularly_ now because LLMs make it cheap to do so.

The only problem is when new engineers who haven’t learned these things Pre-ai now don’t really get why it is needed in the first place and will often lead the agent astray.

I think to address this we need to change or improve our training routines in general for humans. I think a lot of companies nowadays just skip that and deploy a company wide skill/policy for the agents, but don’t transfer the underlying skills to the devs themselves.

seer··on Don't paste the AI, please
You are right - and this has been the case for me before, but unfortunately human resource constraints are not something most orgs optimise for, including my current one.

I would love to spend more time and talk to the people with their issues so we can come to a common understanding… but neither have the capacity for this, and now things are getting worse I think.

Maybe someday agents are good enough that we just discuss direction and implementation details, and every “developer” becomes more of an executive in a company, free to chat about more than just work, focusing on building human relationships and leaving “the tech stuff” to their agent teams…

And old geezers like us who actually know how to write ourself out of a for loop would be the premium - wizards holding forgotten knowledge, incomprehensible to mere uninitiated mortals. I wonder what distinctive dress and hair styles will we develop :-D

seer··on Don't Paste the AI, please
Hah, I guess we are not far away from the “Avogadro Corp” future - and that book was written just _before_ LLM, chatgpt and the attention is all you need paper :) That author had quite the insight
seer··on Don't paste the AI, please
I’m not convinced tbh, a lot of my colleagues messages are “x broken” or “I do y” … no context whatsoever, and then I have to coax their context for making these decisions.

Since people started using Claude now I get full context of everything… might be too much sure, but to be honest over-communicating seems better than under-communicating - sure it’s boring and tedious but that shifts the blockage to me.

Otherwise each of these coaxing sessions is something I have to keep in my head until resolved, which is a load in and off itself.

And even better - I can point Claude to that message and gives me a summary. You might say this is silly because we are paying the LLM tax, but knowing what to share, and then verifying against my situation are two different things.

Sometimes they have checked the wrong thing, sometimes they need guidance, sometimes I need to investigate before I can answer. A full LLM message with context is like “summary of their working context that I can resume on my end” so I don’t waste cycles asking or rechecking etc.

And it is still possible to be a learning experience for both of us since the initial message is the start, we can then talk to each other like humans, both much more in sync than before…

It is kinda ironic but I think it does push things in a better direction. Would I have loved it if the message was human, direct and to the point - obviously, but we are all busy, we got shit to do, and this is a useful “resume” mechanic

seer··on Remote workers report the highest well-being in study of 7,700 employees
Don’t coworking spaces solve some of the issues? I am one of these people that hates working from home and loves going to the office - the chat with colleagues, the exercise of bicycling to the office and back, the context switching between work and not work - otherwise I loose myself in the work. All of that is awesome for me.

When I was playing around with remote work, (before the pandemic and before it was cool) - I figured most of this can be offset by just going to a coworking place - and even better - friendships you form from there seem stronger, because people are less anchored to the company and more to the “place” - more open to friendships. Plus you can pick and switch your “office” as desired for your mode of travel and preferences (or even switch cities, travel around)

seer··on Israel creates fake think tank in likely attempt to dupe AI chatbots
Tel-aviv is honestly incredibly impressive, I’ve been there and the place is amazing - that it was just a sand dune and without the Arab oil wealth still managed to make this land into an amazing place to live…

Don’t think anyone is faulting people for that - it’s the other side of the coin that the whole world is kinda not really liking.

And it’s not like there aren’t examples of successful integrations - even with internal tensions some places do manage to just make people live together, it’s hard yes but not impossible… just have to have the will and smarts for it, wonder what the current Israeli government is lacking…

seer··on Israel creates fake think tank in likely attempt to dupe AI chatbots
Everyone is always a squatter on someone else’s land, for millennia now.

The question is how do you deal with it. Israel “dealing” with its “Palestinian problem” by taking a book out of nazis and Ottoman Empire is both ironic and incredibly sad.

Also kinda inevitable if you think about it just from a game theory point of view. Every act of violence, every war, won or lost, increases support for a radical party. Every act of terror Hamas / Hezbollah promote strengthens Netanyahu’s position, every act of terror Israeli government does strengthens Hamas / Hezbollah.

It’s just game theory - either respective positions are not to “solve the actual problem” it’s to perpetuate their own existence. If the terror stops, all three lose power, so which leader would ever do it?

There has to be either an outside enemy to drive people together, or an outside force of peace doing the same (EUs role in the Northern Ireland’s case). And this becomes even harder if you have external powers that are _driving_ the division (Iran for example in be middle eastern case).

It’s just humans being greedy and thinking of local political problems and not the bigger picture, a “premature optimisation” if your will…

Page 1 of 21Next →