sesm

I don't think that the company owning the trademark will accept a WALL-E analogy when damage is being done to their brand.

TypeScript has `Readonly<T>` for this purpose.

Did they abandon the commit modal? In 2024 line it's disabled by default (in favor of tool window) but you can enable it back.

Unfortunately, GPUs die in datacenters very quickly, and GPU manufacturers don't care about hardware longevity.

> feedback from tens of thousands of engineers writing tens of thousands of public projects in Rust and Zig

So, everybody with a toy Github repo gets a sit in a Rust/Zig design committee?

Not sure about Rust, but Zig seems to explicitly follow Cathedral-style development model.

Rust was created on a Mozilla payroll to provide a C++ alternative with better concurrency support for the purpose of browser engine rewrite. Also, Rust doesn't have a 'creator', the person tasked with leading the project didn't have the authority to make the decisions, see https://graydon2.dreamwidth.org/307291.html

Yes, we should have Jonathan's voice ranting about JavaScript instead.

Discrete Optimization by Pascal Van Hentenryck was a real gem.

The word 'falsifiable' comes from Popper's criterion, which is central to scientific methodology. What it means: if theory predicts something, and later observations show that prediction doesn't hold, then the theory is incorrect.

String theory doesn't work this way, whatever was measured will be explained as an afterthought by free parameter tuning.

Since that time HAMT was invented and successfully used in Scala and Clojure, so this talk didn't age well.

Looks great, I'll give it a try!

As far as I understand, VSCode browser can't install browser extensions and doesn't even have Dev Tools. For example, IntelliJ IDEs ship with CEF-based browser that has Chromium Dev Tools, but it still doesn't support browser extensions.

My dream workspace is a real browser (with all dev tools), with integrated terminal emulator and integrated editor. Editor plugins could be prototyped with web technology and debugged on the fly (like Obsidian plugins). Is there anything like this?

No, it does not.

Rust approach to shared memory is in-place mutation guarded by locks. This approach is old and well-know, and has known problems: deadlocks, lock contention, etc. Rust specifically encourages coarse-granular locks by design, so lock contention problem is very pressing.

There are other approaches to shared memory, like ML-style mutable pointers to immutable data (perfected in Clojure) and actors. Rust has nothing to do with them, and as far as I understand the core choices made by the language make implementing them very problematic.

We are back to color-sorted M&Ms bowls.

This book is also an accessible introduction to group theory, I managed to work through the first half of the book when I was 15 y.o.

How do you verify that the explanation is accurate? Mathematical definitions can be very subtle.

Will Storr would say that the author is playing a status game of virtue.

What's wrong with Zod validation errors?

Embedded CPU vendors not shipping C++ compilers is what usually stops people.

IDK about Fil-C, but in Java garbage collector actually speeds up memory management compared to C++ if you measure the throughput. The cost of this is increased worst-case latency.

A CLI tool (which most POSIX tools are) would pick throughput over latency any time.

In terms of programming language development, take a look at Clojure. The clarity of reasoning behind every decision is unmatched.

React-router is it's own separate project not affiliated with Meta. React library doesn't ship a router.

LLMs, by design, are making plausible guesses.

If the value proposition is internet drama, then it certainly does.

Ubuntu is built on top of Debian

The effort should rather be invested into learning how underlying hardware works and introducing redundancy and observability into the system.

To be fair, the same problem existed before AI tools, with people spitting out a ton of changes without explaining what problem are they trying to solve and what's the idea behind the solution. AI tools just made it worse.

I'm also using gitea, running on RPI5. Setup took like 15 mins, highly recommend.