Profile avatar
taras.glek.net
LLMs, system programming https://taras.glek.net
331 posts 153 followers 310 following
Regular Contributor
Active Commenter

LOL. The Rocky Linux legal way to obtain RHEL sources is so ridiculous www.theregister.com/2023/07/04/r...

"They [modern productivity tools] are not evaluated on how well they work. They are evaluated on how well they symbolize your membership in the right epistemic tribe." www.joanwestenberg.com/p/the-cult-o...

Fun reference on how claude code works on prompt level. Hard to believe people pay for this kirshatrov.com/posts/claude...

poor linear

I wrote something inflammatory taras.glek.net/posts/focus-...

Snowflake is a 64-bit unique id, alternative to UUID. They are compact, unique, trivially sortable by date, deterministic and you can easily extract the data used to create the id. en.wikipedia.org/wiki/Snowfla...

(from valtown newsletter) probablycorey (who started Atom and Electron at GitHub!) made mini-remix, which lets you write server side and client side react code in the same file and render it to a val. https://www.val.town/x/probablycorey/mini-remix

I love Kenton's thoughts and effort he puts into informing people https://news.ycombinator.com/item?id=44159166#44172304

Finally did something with rust and wasm like a proper nerd. Managed to make it play all the same linker tricks as C++, but it was so much more humane

At first I guessed gemini pro putting excessive layers of error checks is result of google code it was trained on. now I suspect it's a behavior to increase pass numbers in benchmarks returns might be diminishing and writing shittier code to increase chances of tests passing is a plausible strategy.

My fav thing about ai coding is watching thinking process of ai models bitch and whine about linker errors

i suspect this one will be easier to port to web via wasm too

We noticed a CPU bug on Raptor Lake because the bounds checking in our Rust zlib implementation was hitting "impossible" bounds checks: github.com/trifectatech... The Oodle devs noticed similar issues in their decompressors and managed to root cause it: fgiesen.wordpress.com/2025/05/21/o...

Et tu, YouTube?

Take a moment to imagine what might have happened if Gabbard was DNI in late 2021. How would she have dealt with analysts who predicted a Russian invasion of Ukraine? What incentives would this have set for collection and assessment? www.washingtonpost.com/opinions/202...

The main problem with tablets is lack of task-specific buttons. Tablets + macro-enabled membrane keypads are a match made in heaven

crazy that jail can lead to better outcomes

Made a little web server to unlock and mount encrypted ZFS datasets using passkeys and age. What's neat is that the password never touches the client! Attackers need to compromise *first* the server, and *then* the passkey. It's delightfully little code. https://github.com/FiloSottile/mostly-harml

Blogged about automating some lenovo misery in my e-ink laptop taras.glek.net/posts/my-e-i...

Tried to blog, but @cloudflare.social settings are broken wont let me update my hugo version. So much for outsourcing complexity :( We'll see how their support is

I see VSOCK sockets everywhere. I thought this was a niche feature, who is doing this and for what?

Happy Birthday Objective Caml 🎂🐫 First announced 9 May 1996 web.archive.org/web/20210509... ocaml.org

This wasm/JS interop on promises is v8.dev/blog/jspi is finally hitting chrome beta. Looks remarkably simple to use, given that this was the single biggest wasm/js interop obstacle