HN user

inerte

2,880 karma

I am doing a thing at https://gallotails.com

"inerte" is also my gmail username

I downvote anyone replying "correlation is not causation" to almost any scientific news. If you think the half a dozen PhDs with decades of experience involved in the study don't know that, you just wanna sound smart for internet points.

Posts28
Comments809
View on HN
inerte.github.io 2mo ago

Sigil Review: Semantic Diffs for Agents and Reviewers

inerte
2pts0
inerte.github.io 3mo ago

I embedded Sigil's docs in its CLI so LLMs can write Sigil

inerte
2pts0
inerte.github.io 3mo ago

Prevent confidential data leaks at compile time with labelled types in Sigil

inerte
1pts2
news.ycombinator.com 3mo ago

Show HN: Sigil – A new programming language for AI agents

inerte
5pts5
www.bbc.com 9mo ago

How the US got left behind in the electric car race

inerte
72pts143
www.moonbitlang.com 1y ago

MoonBit: Exploring the Design of an AI-Native Language Toolchain

inerte
1pts0
www.technologyreview.com 1y ago

Inside the story that enraged OpenAI

inerte
4pts0
charlespetzold.com 1y ago

Does Visual Studio rot the mind? (2005)

inerte
105pts100
www.nytimes.com 6y ago

Big Companies Harvest Our Data. This Is Who They Think I Am

inerte
2pts0
news.ycombinator.com 6y ago

Ask HN: My mom is a pediatrician. Best temporary remote consultation ideas?

inerte
2pts0
www.godaddy.com 6y ago

Is My Host Fast Yet?

inerte
2pts0
sethrobertson.github.io 9y ago

A Git choose-your-own-adventure

inerte
2pts0
yahooeng.tumblr.com 9y ago

Refactoring React Components for Redux Performance

inerte
3pts0
www.gamesindustry.biz 11y ago

Breaking Away: Brazil's indie developers are thinking globally

inerte
1pts0
yahoohadoop.tumblr.com 11y ago

The Evolution of Storm at Yahoo and Apache

inerte
6pts0
nicolas.perriault.net 12y ago

Functional JavaScript for crawling the Web

inerte
1pts0
mathiasbynens.be 12y ago

JavaScript has a Unicode problem (2013)

inerte
83pts35
ycorpblog.com 13y ago

Introducing the New Yahoo Mail

inerte
81pts74
knorrium.info 13y ago

Bug or Feature? The Instagram vs Foursquare case

inerte
2pts0
finance.yahoo.com 14y ago

Yahoo announces 2,000 job cuts

inerte
182pts144
www.inerciasensorial.com.br 15y ago

Pong in Clojure - Please review our code

inerte
1pts0
code.google.com 15y ago

Django Dynamic Fixture

inerte
4pts5
www.inerciasensorial.com.br 15y ago

Crowd review a resume

inerte
1pts0
www.ribbonfarm.com 15y ago

Down with Innovation, Up with Imitation

inerte
8pts1
bitbucket.org 16y ago

Django MVT - My recent project, looking for suggestions, criticisms, testers...

inerte
2pts1
www.gamasutra.com 17y ago

The Social Network Game Boom

inerte
1pts0
yuiblog.com 17y ago

Event-Driven Web Application Design

inerte
3pts0
www.inerciasensorial.com.br 17y ago

How the fuck is trim in Python?

inerte
57pts71

I've done a version of "world" for Sigil, a programming language I was kinda doing but stopped, also for agents. LLM generated article here https://inerte.github.io/sigil/articles/worlds-not-mocks/

But basically world is a bit more narrow, that moment where your code touches the outside world (logging, http, etc), you can swap that. It's sorta like DI but deliberately narrower, only the moments where code touches the outside world are swappable.. With DI in theory you can replace anything, which has its benefits, but at least personally I am not a big fan of mocks, except when they touch the outside world. So that's what's replaceable.

GPT-5.6 12 days ago

I honestly interpreted and agreed with the version "this saves money".

I learned in Brazil. Here in the California I asked my son's kindergarten teacher if she would teach cursive, and she said they don't teach calligraphy and I've never seen it described this way, but she's right.

Reporting on percentage of AI generated lines of code is very different from total lines of code. Yes I know both of them are missing what's the value delivered, but the later assumes the value is the number of lines, while the former assumes value is at least the same but delivered faster.

GitHub Copilot App 2 months ago

I know it has the same functionality, but it also looks like the Codex app which looks like Cursor Agents! Are they sharing some VS Code primitive here?

Same for me. I applied for engineering manager. Was told it was going to be a code review. I found a bunch of things that it could be improved, detected a very slow part / quadratic loop, but couldn't come up with the best algo to use. It was just leetcode in disguise.

I am getting so confused when to use what... agents, sub-agents, tasks, team mates, /goal, /loop, and now workflow. Each with different degrees of effort.

Don't make me think.

All these knobs are also exposed in ChatGPT, which I am more familiar when chatting. Which one of the models? Do I go Instant, Thinking, Pro? Extended Pro? Oh no, maybe I need Deep Research.

Sometimes I think it's on purpose. I fear if I try a lowest knob, it will miss something. So turn everything up. And token usage goes up.

Dead Internet Theory and all. There is no going back. I don't think an online space can be designed to be safe from this. The AI agents can fully control our computers. All solutions that involve technology (software or hardware) are or will be flawed.

If I steal your luggage, do you expect to be paid to get it or that I return to you?

Waymo should have white-gloved this and sent Larry Page himself to deliver the luggage. This is horrible PR. Airlines will send you their luggage if misplaced. One day Waymo will drive-off with your toddler and ask you to file for adoption if you want them back.

Probably because the goal is to have more users, not necessarily profit per user. Netflix once had that "problem" and every lockdown increased the stock price.

Google Flow Music 3 months ago

I've tried and couldn't make it sound like Angine de Poitrine, it completely ignores the microtones. Sounds more like Polyphia. It does look like AdP is the answer to AI.... or we haven't trained the models with sufficient microtones, likely due to western music influence.

They have to be generic because it's a generic tool. If they write "this tool can arrange student field trips", people might ignore thinking it has a narrow purpose.

Yes, work is being trivialized, but the symptom here isn't caused by that.

Like any interview, randomly. Some of them will think it's amazing, clever person, chose the best tool for the job. Other will think it's weird, person is too clever, chose the worst tool for the job.

It totally depends for WHAT you're interviewing, but unlikely the company will want Z3-backed code, so most reactions would be the later.

Can you design text data specifically to mess with LLM training?

Maybe text that costs a LOT of tokens. Very, very verbose. I think if there are rules and on the internet, LLMs can eventually figure it out, so you have to make it expensive.

Another way would be to go offline. Never write it down, only talk about it at least 50 meters away from your phone. Transmitted through memory and whisper.

GitHub Stacked PRs 3 months ago

Looks interesting, but it seems you need to know the final shape of the stack before you start creating Pull Requests. So it's useful if you create Pull Request A, then immediately start working on something that builds on top of A, create a Pull Request for that (while A is still a PR), then you can do A->B->C

Here's something that would be useful: To break down an already big PR into multiples that make up a stack. So people can create a stack and add layers, but somehow re-order them (including adding something new at the first position).

Probably the same way a lot of Trump supporters when they see him or his administration saying dumb stuff. They think he doesn't really _mean_ that. It's hyperbole or just for giggles, or a negotiation tactic. They filter what he says, for 2 reasons. Some it's so insane they can't really believe a president would actually do that, and anyway he's always saying something and doing another thing.