Go doesn’t have sum types as a first class primitive.

software packages are computation... whilst software takes time and effort (and money) to make, the finished product is virtually free to store and distribute. i see it similarly against the spirit of science. how is there more free software in the laymen space?

Within science, participants have always published descriptions of methodology and results for review and replication. Within the same science, participants have never made access to laboratories free for everyone. You get blueprints for how to build a lab and what to do in it, you don't get the building.

Same for computation. I'm fairly sure almost all (if not all) algorithms in these suites are documented somewhere and you can implement them if you want. No one is restricting you from the knowledge. You just don't get the implementation for free.

> ...

> Writing good code remains significantly more expensive

I think this is a bad argument. Code was expensive because you were trying to write the expensive good code in the first place.

When you drop your standards, then writing generated code is quick, easy and cheap. Unless you're willing to change your standard, getting it back to "good code" is still an equivalent effort.

There are alternative ways to define the argument for agentic coding, this is just a really really bad argument to kick it off.

Easily readable URLs is something I learned in the 90s and I still try to enforce in everything I create.

It's already battle-tested in super popular applications (like OpenClaw for example and many others), has 100s of extensions, is already built in a type-safe language, excellent community. And it also includes a full TUI and WebUI for interface support.

Also Pydantic is a VC backed business now trying to funnel people into using their paid cloud services. No thanks.

Wasn't writing code always cheap? I see this more like a strawmen argument. What is clean code? Tested code? Should each execution path of a function be tested with each possible input?

I think writing tests is important but you can over do it. Testing code for every possible platform takes of course much time and money.

Another cost factor for code is organization overhead, if adding a new feature needs to go through each layer of the organization signing it off before a user can actually see it. Its of course more costly than the alternative of just pushing to production with all its faults.

There is a big difference of short term cost and long term ones. I think LLMs reduce the short time cost immensely but may increase the long term costs. It will take some real long studies to really show the impact.

Sum types are a type definition defining something as A or B. Not “anything that quacks like a duck”. But concretely “one of this or one of that”. This enables different syntax, like the match expression to be used, in which you exhaustively list all the variants. The compiler doesn’t need to heap allocate enums because it knows the maximum size of a single value. The compiler and programmer can take advantage of the knowledge that there’s a closed set of values the type can hold. It’s not an open type class.

Result and Option are quite beautiful as sum types. But they’re horrible as type classes. Try implementing them using interface{} in Go. It’s not the same.

  - Flock decision-makers and customers holding ethics as a priority, and not taking the actions they are due to sense of duty, community, morals etc
  - Peer pressure resulting in ostracization of Flock execs and decision makers until they stop the unethical behavior
  - Governments using legislation and law enforcement to prevent the cameras being used in the way they are

There are of course power tools with obnoxious protections that make them difficult to use, but since we are dealing with software here, we are not bound by the laws of physics. I believe that we can create a better tool that is both powerful and easy to use.

While Terence is -without a doubt- born with prodigious abilities, I think credit should also be given to his parents Billy and Grace who seem to have managed to simultaneously nurture these special abilities while still letting Terence have a happy (?) childhood. This is not easy to do.

Because it's an airborne virus and Africa isn't 1) as connected with the world to begin with and 2) as closely concentrated as urban areas. That's before really looking into Africa's response compared to other countries.

>Why was the death rate pretty much the same in Florida and California?

Because we didn't isolate fast enough between Trump trying to claim it being a hoax early on and desperate political attempts to keep "essential workers" running business. The locality doesn't matter for an airorne virus; just that people continue to go outside and not develop herd immunity.

>Did the EU really need to buy enough vaccine for ten-plus years?

I don't have a crystal ball into 2030. But yes, people still can catch COVID in 2026. Buying only enough for 2020-2022 would be reckless.

Any other questions?

These massive privacy issues have all been raised on their Github, and the team behind the wallet have been ignoring them.

A compromise/synthesis: everyone should absolutely learn how git works internally, but not necessarily how to use the git-specific porcelain/tooling/CLI

Planning markdown files are critical for any large LLM task.

- SNAP which is only managed and supported by them

- Tried to reinvent the wheel with sudo-rs

- They are heavily focused into cloud, servers and business

- Following the Rust hype train

I used Ubuntu for 13y or so, it is a Windows within Linux world. Bloated, kernel panic, heavy, privacy issues.

Debian still the king to be used as servers, Mint Cinnamon is the king for desktop, gaming, video editing, 3D design, coding,it just works.

But can also define a closed set of types, perfectly satisfying "sum types".

> This enables different syntax, like the match expression to be used, in which you exhaustively list all the variants.

Go does not provide this out of the box, but that is not prerequisite for sum types. The mathematical theory says nothing about "the compiler must produce an error if the user doesn't match call cases". There is sufficient information provided by the sum types if you wish to add this to your build chain yourself, of course.