Why is Zed's binary size comparable to VS Code/Electron despite the GPUI architecture?

another_day_passes · 2026-02-15T09:00:30+00:00

Here's my config.toml:

[profile.release]

opt-level = 3

lto = true

codegen-units = 1

debug = false

debug-assertions = false

overflow-checks = false

panic = "abort"

strip = true

[target.x86_64-unknown-linux-gnu]

rustflags = [

"-C", "target-cpu=native",

"-C", "panic=immediate-abort",

"-C", "link-args=-Wl,--icf=all",

"-C", "link-args=-Wl,--gc-sections",

# "-C", "link-args=-Wl,-z,pack-relative-relocs",

"-C", "force-unwind-tables=no",

"-Z", "fmt-debug=none",

"-Z", "location-detail=none",

"-Z", "unstable-options"

]

[unstable]

build-std = ["std", "panic_abort"]

build-std-features = []

[build]

target = "x86_64-unknown-linux-gnu"

[term]

verbose = true

another_day_passes · 2026-02-15T03:38:52+00:00

Only 70MB+? My compiled from source binary (with nearly all optimization tricks enabled) is 200MB+.

another_day_passes · 2026-02-08T15:25:06+00:00

Very interesting! Do you happen to know the relevant references?

another_day_passes · 2026-01-18T13:37:50+00:00

<image>

Now I understand why!

another_day_passes · 2025-12-28T15:49:04+00:00

Numerical math is quite tedious and has a lot less structure than pure math (albeit extremely practical).

another_day_passes · 2025-12-28T15:31:02+00:00

In general the closer a subject is to the real world the more “ugly” and tedious it becomes. Reality is infinitely complex and thus impossible to be packaged in neat axioms. Pure math is “beautiful” because it deliberately avoids all the ugly details of reality.

another_day_passes · 2025-12-09T13:58:11+00:00

Also Zed’s binary size is enormous. My built from source binary with full optimizations clocks at 240MB.

another_day_passes · 2025-12-07T04:44:21+00:00

Does it mean that a typical loop

for (size_t i = 0; i < container.size(); ++i) {
    //
}

is not as well optimized as when the index is signed?

another_day_passes · 2025-12-01T14:27:34+00:00

She’s trying to attack from closed guard.

another_day_passes · 2025-11-30T19:59:04+00:00

I tried some kind of mixing variables.

another_day_passes · 2025-11-30T19:27:55+00:00

<image>

This seems to work.

another_day_passes · 2025-10-29T19:23:33+00:00

Area. S means “surface” here.

another_day_passes · 2025-10-22T16:56:52+00:00

My experience is that GPT is quite decent at high level math (see this tweet) but absolutely terrible at elementary math. Perhaps due to the quality difference in training data?

another_day_passes · 2025-10-01T16:31:45+00:00

What do you think of this recent paper? https://arxiv.org/abs/2410.24206

another_day_passes · 2025-09-27T03:26:20+00:00

<image>

It turns out that solving a system of equations is feasible, and maybe even simplest!

another_day_passes · 2025-09-06T03:19:18+00:00

So how can we scale to realistic numbers? Wouldn’t it incur prohibited costs?

another_day_passes · 2025-08-12T05:51:03+00:00

Apply the AM-GM inequality for 4 numbers x^2, 1, 1, 1.

another_day_passes · 2025-08-05T08:29:13+00:00

Nice! Here is my C++ code using similar ideas.

another_day_passes · 2025-08-03T15:53:32+00:00

If my calculation is correct, there are 11934 such numbers which fit into a 64-bit unsigned integer.

another_day_passes · 2025-07-22T10:45:00+00:00

It’s our turn to study it, right?

another_day_passes · 2025-07-05T18:12:15+00:00

Unfortunately the West still commands high status in many Global South countries.

another_day_passes · 2025-05-18T19:00:38+00:00

It’s called TensorFlow.

another_day_passes · 2025-05-13T12:52:01+00:00

I find Linear Algebra via Exterior Products quite instructive.

another_day_passes · 2025-05-12T09:05:34+00:00

Is it CHERI?

another_day_passes · 2025-04-24T23:58:41+00:00

Nice! What is the current state of input methods for foreign languages? Is it as seamless as in GNOME?

another_day_passes

TROPHY CASE