Hacker News: stuartaxelowen

New comment by stuartaxelowen in "Building durable workflows on Postgres"

stuartaxelowen — Thu, 28 May 2026 20:01:02 +0000

My dream is, instead of separating data storage, state machines, valid state constraints, and the logic that transitions between valid states, we can actually unify these into some kernel of app state. Honestly, Postgres already has a lot of these capabilities, but I don’t see an obvious story on the app or product level, providing provably correct sets of states that apps can transition between, and which they can automatically expose to clients in informative ways (this user can like this post, but not edit). It looks colored Petri net shaped to me, but I don’t yet see a simple app state paradigm in the same way that the database has obvious successful boundaries.

New comment by stuartaxelowen in "Just Use Postgres for Durable Workflows"

stuartaxelowen — Thu, 28 May 2026 19:55:05 +0000

Why’s that?

New comment by stuartaxelowen in "Is it a pint?"

stuartaxelowen — Tue, 24 Mar 2026 00:24:12 +0000

In Taiwan the standard way to drink beer is to get it in large bottles, but shared with a small glass per person. Easy to not drink much that way, and promotes the social “let me fill your glass” behavior. (making it harder to not drink much)

New comment by stuartaxelowen in "Where things stand with the Department of War"

stuartaxelowen — Fri, 06 Mar 2026 18:05:35 +0000

Given the atomization and layering of work, this has become much harder to truly judge. Ten years ago I was excited to join a customer feedback platform - what could be better than helping companies understand their customers and provide better services and products? You can probably see where this is going, but inevitably the tools were just used to better tweak product profitability and eliminate end customer surplus, to the customer company’s benefit. And they were used by the likes of draft kings et al along with the Starbucks and Nikes of the world. I hear people claim that, in capitalism, no one hands are clean, and I am inclined to agree.

New comment by stuartaxelowen in "The only moat left is money?"

stuartaxelowen — Wed, 18 Feb 2026 21:29:32 +0000

It seems that we have forgotten how to distinguish between value and profit, and now celebrate the latter instead of the former. Currency enables ever broader and more niche markets, but the financialization of everything is the Faustian bargain; we gained niche hobbies but lost our souls?

New comment by stuartaxelowen in "Colored Petri Nets, LLMs, and distributed applications"

stuartaxelowen — Sun, 15 Feb 2026 00:45:53 +0000

I too am still investigating the space, but what's attractive to me about CPNs is that they can be both the specification and the implementation. How you describe the CPN in code matters, but I'm toying with a rust + SQL-macros version that makes describing invariants etc natural. My understanding is that for TLA+ you'd need to write the spec, and then write an implementation for it. This might be another path for "describe formally verifiable shape then agentic code it", but it smells to me a little like it wouldn't be doing as much work as it could. I think in this there's an opportunity to create a "state store" where the network topology and invariants ensure the consistency of the "marking" (e.g. state of the database here) and that its in a valid state based on the current network definition. You could say "well SQL databases already have check constraints", and we'd probably use those under the hood, but I am betting on the ergonomics of putting the constraints right next to the things/actions relevant to them.

Colored Petri Nets, LLMs, and distributed applications

stuartaxelowen — Sat, 14 Feb 2026 21:08:08 +0000

Article URL: https://blog.sao.dev/cpns-llms-distributed-apps/

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

Points: 53

# Comments: 6

New comment by stuartaxelowen in "Coding agents have replaced every framework I used"

stuartaxelowen — Sun, 08 Feb 2026 22:21:33 +0000

It is tempting to think that we can delegate describing the mental model to AI, but it seems like all of this boils down to humans making bets, and it also seems like the fundamental bets engineers are making are about the formalisms that encode the product and make it valuable.

Breaking the Spell of Vibe Coding

stuartaxelowen — Sun, 01 Feb 2026 14:28:31 +0000

Article URL: https://www.fast.ai/posts/2026-01-28-dark-flow/

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

Points: 1

# Comments: 0

New comment by stuartaxelowen in "Ask HN: Do you also "hoard" notes/links but struggle to turn them into actions?"

stuartaxelowen — Sat, 31 Jan 2026 00:44:39 +0000

Notes are options. Sometimes options for taking action later, sometimes as reference for related action. The bet when writing a note is that its risk adjusted return for those avenues is higher than the opportunity cost.

I also have similar thoughts on turning writing into action and re-entrance, would be interested to hear your thoughts:

https://blog.sao.dev/2025-threads/

This has proven to work well for me, but I’m chafing with git and agentic coding abstractions and looking for a unifying concept. Agent of empires doesn’t feel quite right, but is in the right direction.

New comment by stuartaxelowen in ""Anyone else out there vibe circuit-building?""

stuartaxelowen — Mon, 19 Jan 2026 16:39:04 +0000

I’m curious why you don’t target an HDL, which seems like it should match very well to llm capabilities, and rely on existing layout solvers for describing the last physical layout step?

New comment by stuartaxelowen in "Ask HN: Share your personal website"

stuartaxelowen — Wed, 14 Jan 2026 21:17:01 +0000

https://blog.sao.dev

Threads – A context strategy for humans and LLMs

stuartaxelowen — Tue, 30 Dec 2025 07:40:38 +0000

Article URL: https://blog.sao.dev/2025-threads/

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

Points: 3

# Comments: 0

New comment by stuartaxelowen in "I tried Gleam for Advent of Code"

stuartaxelowen — Sun, 14 Dec 2025 06:23:42 +0000

Does that mean pass every needed function as a parameter? Or just don’t write generic functionality?

New comment by stuartaxelowen in "I tried Gleam for Advent of Code"

stuartaxelowen — Sat, 13 Dec 2025 19:18:06 +0000

The answer I’ve seen is “just pass structs of functions around”, which is just one step more explicit than the implicit version we’re all use to, but honestly I kinda like it to free ourselves of all the ceremony around generics.

New comment by stuartaxelowen in "Ask HN: What are you working on? (September 2025)"

stuartaxelowen — Tue, 30 Sep 2025 05:38:05 +0000

I think this is where it gets interesting. With partition dependency propagation, backfills are just “hey this range of partitions should exist”. Or, your “wants” partitions are probably still active, and you can just taint the existing partitions. This invalidates the existing partitions, so the wants trigger builds again, and existing consumers don’t see the tainted partitions as live. I think things actually get a lot simpler when you stop trying to reason about those data relationships manually!

New comment by stuartaxelowen in "Ask HN: What are you working on? (September 2025)"

stuartaxelowen — Tue, 30 Sep 2025 05:33:22 +0000

Definitely open source!

New comment by stuartaxelowen in "Ask HN: What are you working on? (September 2025)"

stuartaxelowen — Mon, 29 Sep 2025 22:03:03 +0000

I'm working on a partition-oriented declarative data build system. The inspiration comes from working with systems like Airflow and AWS step functions, where data orchestration is described explicitly, and the dependency relationships between input and produced data partitions is complex. Put simply, writing orchestration code for this case sucks - the goal of the project is to enable whole data platforms to be made up of jobs that declare their input and output partition deps, so that they can be automatically fulfilled, enabling kubernetes-like continuous reconciliation of desired partitions.

This means, instead of the answer to "how do we produce this output data" being "trigger and pray everything upstream is still working", we can answer with "the system was asked to produce this output data partition and its dependencies were automatically built for it". My hope is that this allows the interface with the system to instead be continuously telling it what partitions we want to exist, and letting it figure out the rest, instead of the byzantine DAGs that get built in airflow/etc.

This comes out of a big feeling that even more recent orchestrators like Prefect, Dagster, etc are still solving the wrong problem, and not internalizing the right complexity.

New comment by stuartaxelowen in "Immich mobile app sync V2"

stuartaxelowen — Thu, 25 Sep 2025 23:33:54 +0000

Live Photos work for me on iOS.

New comment by stuartaxelowen in "How to Lead in a Room Full of Experts"

stuartaxelowen — Wed, 24 Sep 2025 23:00:03 +0000

I love the distribution of answers to this.