Viewing profile — woggy

I think the right language for agentic coding is something that brings in more ideas from formal verification, in a way where the spec and executable code live in the same world. I…

Great engineering feat considering the small time window that Fable was available for.

OCaml

Ask Sol 5.6 for the answer

Asking it to apply the YAGNI principle also sems to work well for trimming codebases down. Generally ask it to review, generate a list of review points, then we go through each one…

Are you saying similar-level in terms of security scans or is this something you think is true across all capabilities?

Basically not usable if it's only available via usage pricing.

Hopefully GPT 5.6 soon

Wtf is an eval startup?

You need a geometry kernel

Any reason to think that open models will not catch up, given enough time?

I love the name 'Kolmogorov'

We don't fund Hamas with our tax dollars. Actually, Israelis were funding Hamas with their tax dollars not too long ago. I wonder why? Also, this is what most of Gaza looks like no…

Is this a joke?

Straight from IDF soliders: One incident did leave a scar. It happened at an army outpost in southern Gaza. "I was sitting there in the command room," Maya says. "Suddenly, the sol…

Look up the article in Ha'aretz recently "IDF Soldiers Talk About the 'Moral Injury' – and the Silence" for another example of this. I mean, I am glad they are talking about it, bu…

If only hell was real.

Based on recent stories on Ukraine signing agreements with GCC countries, it is Russian oil money vs Gulf oil money now.

Yes - now I actually have to wait for notepad to start up.

This makes no sense. Do you vote based on principles and policy or do you vote based on the behavior of people who have nothing to do with government?

Maybe time for Anthropic to leave the US. Come to Australia :)

You are exactly right. People on this site complaining how these topics are not tech related are absolute fools.