i want smaller applications with fewer updates made by people who are paid more to produce less code and i'm not kidding

[Gast]

@daviddoes @datarama @eniko I remember NetBSD claiming to run on toasters, maybe 20 years ago. Probably gave the wrong people ideas. But I guess if I had to have software on my toaster I could do a lot worse.

[Gast]

@eniko can we also request the coders to have a nap time during the day? Rest is important, and I'm not kidding about that either.

[Gast]

@eniko don't forget to add doesn't require an always on Internet connection.

[Gast]

@kirtai @eniko That said the C programs I wrote in the early 90s still compile fine today

[Gast]

@eniko I want small chunks of well-specified code with machine supported proofs so I can be certain of my program's actual behavior across its whole domain.

I should probably just learn Ada/SPARK or Idris already.

[Gast]

@eniko i'm working on it

[Gast]

@MeaningfulBits @eniko should be illegal to call it an "app" if it does.
Maybe call it a "shim" instead.

[Gast]

@kirtai @badtux @eniko Right?

[Gast]

@eniko me too me too.

[Gast]

@badtux @eniko I'm so glad I don't typically work in Java.

[Gast]

@eniko in many cases i’d be willing to pay *more* for this approach.

[Gast]

@eniko and none of this broken shit

[Gast]

@badtux @eniko Maybe that's the appeal of VBA? I never made the move from VB6 to VB.net, so no idea how stable that is. VBA seems to keep on trucking as it is.

[Gast]

@eniko If you are asking for less you are asking too much

[Gast]

@me @eniko Substitute any other language or framework in large scale use for Java. Go? Rust? JavaScript/TypeScript? Even where the language is stable the frameworks you have to use to get work done are as firm as gelatin.

[Gast]

@eniko and at the same time, companies hire people who prefer AI, f̶a̶s̶t̶ ̶agile; or as the saying goes, seniors with salary of a junior

[Gast]

@eniko The dream that we deserve!

[Gast]

@eniko I picked up Tinystart for the Mac by @nileane which is probably exactly the sort of thing you’re after. It’s as useful as Raycast but without all the VC and AI bollocks, and only costs a fiver.

[Gast]

@eniko bring back rating code by size.

[Gast]

@eniko I would like fewer apps, please. More websites that function as apps.

This applies specifically to mobile use. For desktop, let me download everything.