HackerLangs
TopNewTrendsCommentsPastAskShowJobs

inerte

2,859 karmajoined قبل 18 سنة
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.

Submissions

Sigil Review: Semantic Diffs for Agents and Reviewers

inerte.github.io
2 points·by inerte·قبل شهرين·0 comments

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

inerte.github.io
2 points·by inerte·قبل 3 أشهر·0 comments

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

inerte.github.io
1 points·by inerte·قبل 3 أشهر·2 comments

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

5 points·by inerte·قبل 3 أشهر·5 comments

How the US got left behind in the electric car race

bbc.com
72 points·by inerte·قبل 9 أشهر·143 comments

comments

inerte
·قبل 17 ساعة·discuss
I honestly interpreted and agreed with the version "this saves money".
inerte
·قبل 18 يومًا·discuss
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.
inerte
·قبل 30 يومًا·discuss
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.
inerte
·الشهر الماضي·discuss
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?
inerte
·الشهر الماضي·discuss
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.
inerte
·الشهر الماضي·discuss
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.
inerte
·قبل شهرين·discuss
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.
inerte
·قبل شهرين·discuss
If you haven't seen They Live... that's next level.
inerte
·قبل شهرين·discuss
I think martin_henk is fully aware of that and it's why of all the examples of how a government can use your data, he picked this one...
inerte
·قبل شهرين·discuss
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.
inerte
·قبل شهرين·discuss
Yes but also we don't want people live streaming murder and suicide, so there's detection and moderation in place.
inerte
·قبل شهرين·discuss
To be fair my expectations is that those apps have done the prompt engineering, and schema, and tools (to query nutrition database), etc... and although they're not 100% consistent, the margin of errors should be narrow to the point that barely matter, and they should do a bit better than a random ChatGPT chat session.
inerte
·قبل 3 أشهر·discuss
I would question at $60k. At $100k is a steal.
inerte
·قبل 3 أشهر·discuss
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.
inerte
·قبل 3 أشهر·discuss
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.
inerte
·قبل 3 أشهر·discuss
Because of ads and background music for YouTube.
inerte
·قبل 3 أشهر·discuss
Same here, and it made me wonder, why did I go back to drinking coffee?

My best explanation is that there are effects, I just suck at self-awareness :)
inerte
·قبل 3 أشهر·discuss
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.
inerte
·قبل 3 أشهر·discuss
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.
inerte
·قبل 3 أشهر·discuss
> 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.