woggy
woggy on Hacker News
I had no idea people could conjure images in their head.
I thought Australia was especially sensitive to climate risks
100%! It is a real mental block!
Meanwhile Trump is pushing to rekindle his love affair with Kim Jong Un.
Posted by
woggy on Wednesday August 12, 2026 @10:13PM
from the fstar-lang.org dept.
I don't touch anything associated with Musk.
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 don't really know what that will look like but that's my gut feeling as a non-expert. Specs can be written in a higher level language (not english) that verifies the lower level code at compile time. I think Dafny might be the closest we have at the moment.
Posted by
woggy on Saturday August 01, 2026 @08:06AM
from the alloytools.discourse.group dept.
Posted by
woggy on Monday July 27, 2026 @05:44PM
from the lamport.azurewebsites.net dept.
Great engineering feat considering the small time window that Fable was available for.
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 together and I make a decision yes/no on each one (or suggest further modifications).
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.
Posted by
woggy on Wednesday June 17, 2026 @08:41PM
from the youtube.com dept.
You need a geometry kernel
Any reason to think that open models will not catch up, given enough time?
I love the name 'Kolmogorov'
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 soldiers on watch noticed five Palestinians crossing the line they weren't allowed to cross, heading for northern Gaza.
"Everybody went crazy. There was a big mess. The battalion commander gave an order to overwhelm them with fire, even though they hadn't been confirmed as armed or anything like that. A tank started shooting at them with its machine gun. Hundreds of bullets."
She says four of the five Palestinians were killed. "A few hours later, a D9 [Caterpillar armored bulldozer] buried them in the sand. When I asked why, they said that it was so the dogs wouldn't eat them and spread disease. The one who survived was put in a cage at the outpost, and they said we had to wait for a Shin Bet man to interrogate him."
The Palestinian sat there, cuffed and blindfolded, and seemed to be freezing from the cold. "Suddenly, one of the soldiers took out his penis and started pissing on him. He told him, 'This is for Be'eri, you asshole, this is for Nova'"– Kibbutz Be'eri and the Nova music festival, two of the sites attacked by Hamas on October 7, 2023. "Nobody could stop laughing. I might have laughed too."
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, but the way it is framed is maddening.
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 :)