Hacker News: woggy

New comment by woggy in "Show HN: OzBrain, a shared brain for knowledge between agents and your team"

woggy — Sat, 22 Aug 2026 08:08:46 +0000

100%! It is a real mental block!

New comment by woggy in "Canada will match US tariffs 'dollar for dollar' as trade talks break down"

woggy — Sat, 22 Aug 2026 08:07:33 +0000

Meanwhile Trump is pushing to rekindle his love affair with Kim Jong Un.

Agentic Proof-Oriented Programming

woggy — Thu, 13 Aug 2026 02:13:58 +0000

Article URL: https://fstar-lang.org/tutorial/book/agentic/agentic.html#agentic-proof-oriented-programming

Comments URL: https://news.ycombinator.com/item?id=49281080

Points: 1

# Comments: 0

New comment by woggy in "Go is an ideal language for AI-assisted software engineering"

woggy — Wed, 12 Aug 2026 00:48:06 +0000

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.

A field report of using Alloy with agent-based development

woggy — Sat, 01 Aug 2026 12:06:59 +0000

Article URL: https://alloytools.discourse.group/t/a-field-report-of-using-alloy-with-agent-based-development/555

Comments URL: https://news.ycombinator.com/item?id=49133703

Points: 1

# Comments: 0

The TLA+ Video Course

woggy — Mon, 27 Jul 2026 21:44:40 +0000

Article URL: https://lamport.azurewebsites.net/video/videos.htmlhttps://lamport.azurewebsites.net/video/videos.html

Comments URL: https://news.ycombinator.com/item?id=49075901

Points: 5

# Comments: 0

New comment by woggy in "“We have information that Moonshot distilled Fable for the development of K3”"

woggy — Thu, 23 Jul 2026 04:39:24 +0000

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

New comment by woggy in "Incremental – A library for incremental computations"

woggy — Tue, 21 Jul 2026 22:28:48 +0000

OCaml

New comment by woggy in "Mathematicians still don't know the fastest way to multiply numbers"

woggy — Sun, 19 Jul 2026 03:43:46 +0000

Ask Sol 5.6 for the answer

New comment by woggy in "Does Code Cleanliness Affect Coding Agents?"

woggy — Mon, 06 Jul 2026 04:43:01 +0000

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).

New comment by woggy in "The short leash AI coding method for beating Fable"

woggy — Fri, 03 Jul 2026 05:53:29 +0000

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

New comment by woggy in "Department of Commerce has lifted export controls on Claude Fable 5 and Mythos 5"

woggy — Wed, 01 Jul 2026 04:31:53 +0000

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

New comment by woggy in "Department of Commerce has lifted export controls on Claude Fable 5 and Mythos 5"

woggy — Wed, 01 Jul 2026 00:39:13 +0000

Hopefully GPT 5.6 soon

New comment by woggy in "Why eval startups fail (2025)"

woggy — Thu, 25 Jun 2026 03:42:37 +0000

Wtf is an eval startup?

How Agents Quietly Break Architecture [video]

woggy — Thu, 18 Jun 2026 00:41:46 +0000

Article URL: https://www.youtube.com/watch?v=oTDcJcvrfCU

Comments URL: https://news.ycombinator.com/item?id=48579051

Points: 2

# Comments: 0

New comment by woggy in "Launch HN: Adam (YC W25) – Open-Source AI CAD"

woggy — Thu, 18 Jun 2026 00:38:45 +0000

You need a geometry kernel

New comment by woggy in "There is a shadow hanging over this Fable thing"

woggy — Sat, 13 Jun 2026 06:37:27 +0000

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

New comment by woggy in "Ultrafast machine learning on FPGAs via Kolmogorov-Arnold Networks"

woggy — Wed, 10 Jun 2026 04:47:52 +0000

I love the name 'Kolmogorov'

New comment by woggy in "Israeli soldiers using sexual assault to force Palestinians out of West Bank"

woggy — Tue, 21 Apr 2026 06:21:42 +0000

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 now. Are you aware of this? https://static.972mag.com/www/uploads/2025/01/IMGL8385.jpg

New comment by woggy in "Israeli soldiers using sexual assault to force Palestinians out of West Bank"

woggy — Tue, 21 Apr 2026 06:17:47 +0000

Is this a joke?