inerte

6 ms·

31.
by inerte 5mo ago
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 o
32.
by inerte 5mo ago
If you haven't seen They Live... that's next level.
33.
Sigil Review: Semantic Diffs for Agents and Reviewers(inerte.github.io)
2 points by inerte 5mo ago|0 comments
34.
by inerte 5mo ago
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...
35.
by inerte 5mo ago
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 mispla
36.
by inerte 5mo ago
Yes but also we don't want people live streaming murder and suicide, so there's detection and moderation in place.
37.
by inerte 5mo ago
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 th
38.
by inerte 5mo ago
I would question at $60k. At $100k is a steal.
39.
by inerte 6mo ago
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.
40.
by inerte 6mo 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 mi
41.
by inerte 6mo ago
Because of ads and background music for YouTube.
42.
by inerte 6mo ago
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 :)
43.
by inerte 6mo ago
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&#x
44.
by inerte 6mo ago
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 y
45.
by inerte 6mo ago
> 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 expen
46.
I embedded Sigil's docs in its CLI so LLMs can write Sigil(inerte.github.io)
2 points by inerte 6mo ago|0 comments
47.
by inerte 6mo 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, cr
48.
by inerte 6mo ago
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
49.
by inerte 6mo ago
Yeah, definitely. IFC is part of the background here. What I’m doing in Sigil is a lot narrower: labelled types and explicit boundary rules, not a full-blown IFC system. Curious what you think that misses.
50.
by inerte 6mo ago
So, an update, I took at stab and came up with this: https://inerte.github.io/sigil/articles/labelled-types-and-b...
51.
Prevent confidential data leaks at compile time with labelled types in Sigil(inerte.github.io)
1 points by inerte 6mo ago|2 comments
52.
by inerte 6mo ago
Ah, Steve Jobs vs Bill Gates. Designer vs 41 shades of blue. This is nothing new. There's space for everybody.
53.
by inerte 6mo ago
Yes, very different from Sigil other than targeting coding agents. Mog seems to enhance coding agents by offering a (very fast) way for them to write quick scripts or apply hooks. Also, the security features are great, explicit capabilities
54.
by inerte 6mo ago
I haven't solved runtime data yet. Every time I try, my tendency to demand everything during compile time ends up with me adding an additional compiler rule, and kicking off the can down the road. When I added type constraints, it fit
55.
Show HN: Sigil – A new programming language for AI agents
5 points by inerte 6mo ago|5 comments
56.
by inerte 6mo ago
Cool. I've been thinking about tools to help coding agents lately, and I've always wondered if I could do a better job than actual Claude Code / Codex. They can do the `rg`s and kick off multiple agents and the skills, etc, a
57.
by inerte 6mo ago
So... does it work? Good description of what it does, but, does it actually make agents better, or use less tokens? What's the benchmark?
58.
by inerte 7mo ago
It's volume of tokens consumed x number of agents x rack space. Basically agentic computation density.
59.
by inerte 7mo ago
A big problem with this video is the sycophant nature of LLMs (I am absolutely right on this one). As soon as you say "I am Bernie Sanders", it might align responses to what you already believe. I wish there was a version with an
60.
by inerte 7mo ago
It made me think if Anthropic themselves didn't have a finger here. They know nothing will happen, and adding what happened with DoD, this is good marketing for them, in a sorta of "we're the good guys" way. I don't

More ›