Unfortunately, very few texts and tutorials on property-based testing actually tell you how to see what properties are. I have it on paper somewhere in some workshop materials. But online I think this is one of the very few that describe what they are: https://fsharpforfunandprofit.com/posts/property-based-testi...

Almost anythijg now requires internet access. Banking, schools, parking, transport tickets, almost any form of communication with almost any organization (besides phone, but some companies don't even have phone numbers anymore) etc.

Well, these will fail for a large amount of cli tools. Any and all combinations of the following are possible, and not all of them will be available, or work at all:

    tool                    some tools may output usage when no arguments are supplied
    tool -h                 some tools may have a short switch for help
    tool --help             some tools may have a long switch for help
    tool help               some tools may have help as a subcommand
    tool command            some tools may output usage for a command with no arguments
    tool command -h         some tools may have a short switch for command help
    tool command --help     some tools may have a long switch for command help
    tool help command       some tools may have a help command
    man tool                some tools may have man pages
    

    grep                    one-line usage and "type grep --help"
    grep -h                 one-line usage and "type grep --help"
    grep --help             extended usage docs
    man grep                very extended usage docs


    python                  starts interactive python shell
    python -h
    python --help           equivalent help output


    ps                      short list of processes
    ps -h                   longer list of processes
    ps --help               short help saying you can do, for example, `ps --help a`
    ps --help a             gives an extended help, nothing about a

    erl                     
    erl -h
    erl --help              all three start Erlang shell
    man erl                 No manual entry for erl

Not to say that MCPs are any better. They are written by people, after all. So they are as messy.

---

Before the pitchforks and downvotes:

- yes, it's a deliberate simplification

- yes, the issue is complex because you can also argue that you can't blame authors of encyclopedias and chemistry books for bombs and poisons, so why would we blame providers of LLMs

- and no, this bill is only introduced to cover everyone's assess when, not if, LLMs use results in large scale issues.

2. Still doesn't support your "Most of those opportunities involve getting hit by a car."

> Yes, and city kids also eat, poop, and talk. :)

> I think it's the degree that matters.

The degree is easy to measure. What happens on a cold winter night or generally on a day with bad weather when "play outside" and "visit friends on foot" is out of the question?

City kids can still visit friends (because they are not beholden to adults with cars) and can chose about a billion different activities (because, once again, they are not beholden to adults with cars).

Even socially city kids have a greater degree of freedom because they are not stuck with the same group of people for all eternity. A friend's kid has a more varied social life with his basketball friends than with people from his school, for example. And half of the time we don't even know where he is at any given moment because, once again, he does not depend on having an adult to drive him everywhere for any activity that is not "playing outside".

You want a modern life with some light manual labor on the side as a hobby.

Tell that to crop failures of sustinance farmers. "Oh you just chose the weather to be bad/a fast soreading disease/a severe drought. Live with your choices".

> I feel sorry when I see kids today depressed, lonely, and distrusts society.

I feel like you live in the US where everything is just dysfunctional.

I live in Stockholm. Kids play with each other and run around freely. And they have significantly more freedom because they can get anywhere on their own and not rely on an adult with a car.

It's not a slight against you personally. It's a reflection of how completely dysfunctional United States are.

Why? Honest question.

A kid in a town/city has access to a billion opportunities many of which exist only because there are enough people interested.

Even with my eyes constantly in the logs window, credo + ex_dna + ash_credo [1] and looking at all the output, I still miss a bunch of shit that LLMs produce. Can't imagine just ssh'ing from a phone and letting an LLM lose (though I've tried it once or twice).

[1] Tools for Elixir to catch various code smells:

- Credo https://hexdocs.pm/credo/overview.html

- ex_dna https://hexdocs.pm/ex_dna/readme.html

- ash_credo https://hexdocs.pm/ash_credo/readme.html

I haven't seen the short film, so cannot compare.

Then, unfortunately, apps are a better choice for such phones (unless the app itself is just a thin webview wrapper). These days too many websites would fry a budget phone.

Obligatory: The Performance Inequality Gap https://infrequently.org/2025/11/performance-inequality-gap-...

Indeed. That's why Anthropic had to hire real engineers to make sure their vibe-coded shit doesn't consume 68GB of RAM. Because real world: https://x.com/jarredsumner/status/2026497606575398987

Edit: let's look at a paper like Some Linear Transformations on Symmetric Functions Arising From a Formula of Thiel and Williams https://ecajournal.haifa.ac.il/Volume2023/ECA2023_S2A24.pdf and try and guess how many of trivial things were completely unneeded to write a paper like this.