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.
Sigil is a general purpose programming language, with tooling to help the AI agents write and fix programs.
In theory it seems both of them could be used together, suppose you're writing a new big app using Sigil, you could then plug in Mog to speed up that even more.
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 really well with validating values. If you specify:
t BirthYear=Int where value>1800
Then it's pretty obvious if you get 1500 you can throw an error, and I considered doing it, but didn't want to tackle runtime validation at the time.
Maybe dealing specifically with "never send PII to the outside world", there are possible 3 things Sigil could have.
Since Effects are explicit (and Http and Filesystem are effects in Sigil), maybe validate before the effect is performed by calling a function to see if a particular type (Ssn) is not empty or straight up validate the value of every field.
Or with topologies, which is Sigil's way to specify external dependencies (I am not considering the filesystem one here). Same idea as effects, somewhere during the data flow some kinda of validation happens.
Maybe a third way would be to be able on a Type, specify where the data can go to. Something like:
t Ssn=String where isValidSsn(value) transit logApi
`transit` in this case can tell where this type can live. Then, we can validate during compilation time if `Ssn` is only going to `logApi`, and not to the `mailApi` or any other external dependency.
Thanks for the suggestion, I will explore this idea.
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, and I couldn't find a way to actually prove there's a ROI of using something like Agent Lattice. Curious to see the results!
One anecdote: I added lat to quickjs codebase and asked questions like "how does quickjs gc circular object graphs" and was able to get an answer in 12 seconds vs 2 minutes without lat. But take this with a grain of salt, I need better benchmark harness. Benchmarks are hard to do in general, for LLMs it's its own hell. :)
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 opposite of Sanders.
Also, the AI was kinda stupid at the end. If it agrees ~bribery~ lobbying will never allow the government to do much, then why would suggest a government action (pausing new datacenters). Sycophantly agreeing, "oh yeah, YOUR idea is the only one that works, Senator!"
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 ACTUALLY think this happened, but for the first few minutes I was 50/50
Sure, but then basically whatever it was, it was not "us". "Us" and our intelligence had to appear at some point. It's 100% not "anti-evolutionary" to say some years ago humans became as mentally capable as a baby born today. We just have to figure out how many years ago that was. It wasn't last decade. As far as I know most anthropologists agree it was around ~70k years ago (not 200k).
It's also hard to have 3 independent outlets report on all the thing.s This seems like a small story that only some people in Polymarket cared about I guess? It's not like 3 different news outlets were calling authorities to confirm what really happened here. It wasn't big enough to deserve more than 1 journalist going to the source and doing all this work.
Israel doesn't have a free press, so it stays largely suppressed. If it did, surely more local news outlets would cover it. Israel strongly censors domestic war news.
This always seems like such a lazy way of thinking. How do you know more local news outlets didn't report it? More to the point, do you even speak Hebrew? If not, how would you be able to tell whether or not it was reported on, or what the local outlets are in the first place?
Also, how does a large, national newspaper reporting on it indicate a lack of free press?
reply