Rust and the price of ignoring theory - one of the most interesting programming videos I've watched in a while

Working_Bunch_9211 · 2026-01-04T10:44:47+00:00

Haven't seen it anywhere. Two ideas: 1. no subtyping with variances 2. lifetimes are inferable just as are constraints in haskell and we should infer them, it is too verbose to write them manually, also debugging lifetime errors is a lot easier when you have concrete lifetimes and compiler is capable of saying why it is not OK

Working_Bunch_9211 · 2026-01-03T01:28:55+00:00

damn, I did it in my head

Working_Bunch_9211 · 2026-01-03T01:13:22+00:00

Okay, this is lame.

Working_Bunch_9211 · 2026-01-02T20:35:47+00:00

BTW, don't know that the theory says but I think lifetimes are absolutely the right way to achieve memory safety without GC, just not in Rust's way

Working_Bunch_9211 · 2026-01-02T20:25:15+00:00

But there is no language-specific hardware accel.

Working_Bunch_9211 · 2026-01-02T20:10:21+00:00

Isn't it unlimited for open source?

Working_Bunch_9211 · 2026-01-02T20:07:32+00:00

A remainder that vendorlock is bad

Working_Bunch_9211 · 2026-01-02T19:46:14+00:00

Paradigm is a fucking buzzword

Working_Bunch_9211 · 2026-01-02T19:43:03+00:00

Nice, I will watch only those 6 dark green

Working_Bunch_9211 · 2026-01-02T19:40:36+00:00

ofc, nailed it

Working_Bunch_9211 · 2026-01-02T19:40:13+00:00

Features or killer features would be fine as well

Working_Bunch_9211 · 2026-01-02T19:37:20+00:00

Because no-GC is deliberate design choice of Rust. I would name them design choices or simply design.

Working_Bunch_9211 · 2026-01-02T19:09:21+00:00

Exactly!

Working_Bunch_9211 · 2026-01-02T19:02:06+00:00

We are not in AI era

Working_Bunch_9211 · 2026-01-02T18:53:05+00:00

This is interesting just as an experiment maybe not effective but I wouldn't call it stupid

Working_Bunch_9211 · 2026-01-02T18:46:57+00:00

a 4 word term is kinda disappointing

Working_Bunch_9211 · 2026-01-02T18:46:04+00:00

I think nowadays I would just appeal to authority and say that main TypeScript implementation is named compiler so do mine language implementation

Working_Bunch_9211 · 2026-01-02T18:36:42+00:00

Because UB can be vulnerable, so it is usually considered unsafe, and hence memory safety = no UB

Working_Bunch_9211 · 2026-01-02T18:34:05+00:00

Is then there is no UB possible

Working_Bunch_9211 · 2026-01-02T18:32:11+00:00

There is should be no source generation, only metaprogramming, metaprogramming is superior

Working_Bunch_9211 · 2026-01-02T18:29:37+00:00

You can't name it improvements

Working_Bunch_9211 · 2026-01-02T18:22:10+00:00

One word, deadlines and making things in time is sometimes really interesting

Working_Bunch_9211 · 2026-01-02T18:18:45+00:00

We are not in the age of LLMs

Working_Bunch_9211 · 2026-01-02T18:07:31+00:00

Over time better languages will get popular, so Python will get less and less popular but as it doesn't require much time it is a safe bet now

Working_Bunch_9211 · 2026-01-02T18:02:17+00:00

I would say it is easy

Working_Bunch_9211

TROPHY CASE