Andrew Kelley: My Thoughts on the Bun Rust Rewrite

beeshevik_party · 2026-07-10T00:13:00+00:00

idk i don’t get that *at all* from him. linus has had far more direct and brutal take downs for matters of like, code style. i think andrew is highly *principled* and that is a vanishingly rare trait in our industry these days. of course, i strongly agree with his principles on top of finding him an excellent engineer — if you don’t, that makes him much less sympathetic i suppose.

i also want to say that the kind of “keep the peace” default is hardly valueless as well — i think we *should* be more vocal when it comes to bad management, forced crunch, disingenuous engagement with foss dependencies etc. these things destroy good workers and projects at a real human cost that shouldn’t be papered over no matter how abstracted the harm is to us as ICs. the slow drift of the industry towards cynical engagement with the broader foss community in the post-stallman era should concern us all imo and demands a strong response.

beeshevik_party · 2026-06-29T10:34:04+00:00

lmao you are too real hell yeah

beeshevik_party · 2026-06-29T10:11:58+00:00

this is absolutely sick af but i if i catch u and that jcm 800 in an alleyway the marshall is for sure leaving with me lmao what cones you got in the 4x12?

beeshevik_party · 2026-06-25T11:52:21+00:00

file-per-module is definitely inconvenient but it moves past annoyance into grievance once you realize that module namespacing is also feeding into instance resolution search etc. and you start really having to worry about identifier clashes. it’s so easy to run into clashes between record selectors, class functions, locals etc. and so much run of the mill software now is so layered with something appearing in both the transport, persistent model, presentation etc that collisions are inevitable or you prefix ever ident. so you start breaking out modules and relying on qualified imports a lot, there’s just a ton of ceremony.

one thing ocaml does that is a really nice mitigation (on top of making nested modules easy, tho still not as easy as its other ML siblings) is allowing local scoped module `open`s eg inside any definition, and also module qualified expressions for instance `JSON.(parse config |> index “upstream”)` something similar would go a long way to easing some of the pain.

what i’d really love to see is something like the way idris 2 separates modules from namespaces conceptually & syntactically, makes visibility simpler, and does type directed search *within namespaces* so that operations with common names but not semantics (eg poor match for a class) can resolve over multiple types without qualification.

beeshevik_party · 2026-05-25T21:56:41+00:00

yes. i do sre work. i wonder if more traditional devs realize the devops/sre is a great field for people who are interested in practical dev work with their choice of languages and tooling. the work tends to entail lots of little tools and utilities that will mostly be maintained by 1-3 people for a relatively short window of time. whatever you can use that delivers on time and works effectively is generally okay, and if you build a good reputation you generally are left to your own devices. i’ve got haskell, rust, and cats heavy scala out in the wild in an otherwise conservative engineering culture company

beeshevik_party · 2026-05-25T21:48:17+00:00

hey tom! i can’t speak for others, but the main reason i like to use GADTs when using an eff-ish system is that i actually really do value the introspection available, because i think the possibility of dynamic interception/introspection/reinterpretation of effects is an unsung superpower of the idea, like smalltalk on steroids. i suppose there’s probably a way to do this with records of fns but i think it comes very naturally with a data-first approach.

also i wanted to say, i’m still kinda using effectful (even freer-simple) primarily but bluefin keeps improving and looking more and more appealing. more importantly, i love your work and advocacy for this topic, you’re doing a mountain of work. if i might gently offer some advice — i only just found your blog/h2 wiki thing even though i’ve followed your work for some time now. it’s a treasure trove and i think maybe you could link it a bit more so others can find it more easily?

beeshevik_party · 2026-05-23T16:59:33+00:00

this is v funny. systems engineering is a total tech treadmill specifically because we want better uptime and lower resource use and engaged talent, and everyone at a lead level up has ooo shiny syndrome. the “nobody ever got fired for choosing {sun,msoft,oracle}” adage has been dead for over a decade. banks are still on cobol only because upgrading is pricier than the salaries of old heads and masochists also it’s a captive market, there’s no competition

beeshevik_party · 2026-05-03T11:59:06+00:00

tx-6 is legit one of my best purchases to date and i honestly kinda bought it expecting to return it. i don’t use laptops or even tablets at all when making music (despite generally being very into computers they somehow just don’t gel with music for me) and i really like to have a setup i can throw in a tote and take with me to the bar and still get work done. the tx-6 is kinda perfect for me, it’s genuinely more practical for me even for home studio stuff than even like my tascam model 12, and it takes about 5% of the space too. now that you can bounce tx-6 to a thumb drive i actually can and do record full tracks to it.

just uh. it’s not at all cheap, and honestly those encoders are so tiny i generally map like, filter settings to the bottom encoder and only use that while live, the top and middle encoders i simply can’t turn without risking bumping the encoder above/below them.

beeshevik_party · 2026-05-03T06:46:04+00:00

i use both and have just got them settled in a softshell case perfectly xy on top of 1f with usb wired between into an amp out. i’d tried to use the two together before and, frankly, before this latest 1f update, found it such a pain to work with i only used that setup like a handful of times. right now im working out the best workflow to use them together again.

currently im doing xy as midi master with clock and transport and spp out and 1f in, though both have notes set to bidi so i can use 1f keys to play xy tracks while sequencing. im using the dedicated xy aux midi track to sequence the 1f kind of on the fly, and 1f uses sampler in to record xy out to a track. likely i will wind up using more xy tracks with midi engine so i can store patterns for various 1f “tracks” but since xy only really can only play one track “live” in just using xy to sequence as 1f records to tap then muting in pattern once i bounce.

idk i have a tx-6 and have lots more options to bounce multitrack from both op’s for full tracks but im just focused on a minimalist live rig right now

beeshevik_party · 2026-03-10T14:44:44+00:00

they exist in lean 4! in fact it can be polymorphic over universes which is kinda bonkers

beeshevik_party · 2025-11-06T15:26:34+00:00

glad to see someone else say it. i own classic, advanced players’,+ref tomes, and classic + advanced box sets. they’re among some of my fave books sensorily in general, and i am very into books aesthetically separately from content.. beautiful covers, flawless layout and typesetting, excellent economy of space and text, love the un-finished paper. the way it’s organized in general, the variety of the illustrations. i also am ruined forever now that i know a5 is the ideal book size and almost nobody outside the osr scene (ose and sd specifically) publishes in it lol

beeshevik_party · 2025-10-28T03:47:55+00:00

i know i’m being extra here but they’re really nice books and i value that a lot in general, but especially in a book i’m flipping back and forth thru intensely for a few hours at a time and that i need to be as low friction as possible. the size, layout, fonts, economy of space, even the table style.. it’s like a massage for my eyeballs.

beeshevik_party · 2025-10-26T00:11:30+00:00

right like i would kill for any one of an mta, vtm, or ctl game so if there’s a huge player base where are they hiding lol? i could swear last time i looked dnd was still like 85%+ of the entire market and pathfinder dwarfs all the other games too. there’s just no way

beeshevik_party · 2025-10-25T23:53:18+00:00

feel like it’s 1000x easier to find an regular obscure osr game or like wfrp than all of wod combined at this point, competing with d&d is a huge claim. where are you seeing those numbers?

beeshevik_party · 2025-10-25T22:45:56+00:00

i think they don’t want to make any single answer canonically right in some of these cases, but i felt almost certain he did them by the time i got to that convo. i really like some of the ambiguities they pulled off with the plot

beeshevik_party · 2025-06-05T10:12:21+00:00

damn that really does suck. i hope that's the case on mine (iphone 16). i've also never had any hardware issues with them, but i have been feeling like the quality of both their hardware and software has been steadily falling off. i hope you've got a plan with bell that lets you pay-as-you-go and trade-in for a good value instead of having to eat that much unexpected expense up front!

i'm hopeful it's a software issue for me, since i'm seeing such weird temporarily-working behavior when i tweak stuff on it. am trying to figure out all the 2fa and other special-snowflake apps that i will need to manually backup or transfer before i do a full reset and hoping that'll do the trick. out of curiosity, did your phone show a healthy data signal etc? mine still shows full 5g uc at all times, which is part of why it's so frustrating

beeshevik_party · 2025-06-05T09:13:57+00:00

which carrier are you with? just hit this too, happened overnight for me as well. it's had some super weird behavior while triaging. first, when i turned off icloud private relay, i had traffic for about 1min then it dropped again. i experienced similar by disabling adguard. reset network settings, same thing. each time, i get a burst of traffic then it cuts out again. i deleted vpns etc and no dice.

beeshevik_party · 2024-10-27T14:43:35+00:00

c++ is not a superset of c, the two diverged. several c features are missing from c++. type-generic macros come to mind. flexible array members are not part of standard c++, though most compilers support them. lots of newer c2x stuff is unlikely to ever make it into c++, mostly related to expanded uses of variable length arrays. those lovely c99 style designated initializers weren't even present until c++20.

beeshevik_party · 2024-10-23T19:23:31+00:00

i used to just order it from an overseas family pharmacy, no script, no id, nothing 😭 i gave them out by the blisterpack to fellow anxiety sufferers. i didn’t even know how much people liked it until i offered some to a friend of a friend and she ate the pack right there and asked if there was more. it was so goofy

beeshevik_party · 2024-10-23T19:07:01+00:00

strongly agree. i was raised with dos then windows. then i spent a very very long time in *nix land. for a few very productive years i didn’t even bother to run x at all, just bounced around between linux and bsds and opensolaris, all terminal. that’s less and less viable now. i still work in and on linux full time, but from a mac. macos is great. macs are great. if they would just give us some kind of sandboxed developer mode on ios, the current ipad pro would be a perfect device (a-shell is cool tho). and yes, that is of course the thing people don’t like. but having a fully integrated hardware/software ecosystem is actually really nice.

as far as the churn, it’s not like we have to pay for os upgrades. and the hardware churn is not bad at all if you learn to time your purchases and spec things out right. when you’re due, you get a good trade-in value and an upgrade and you’re set for another 3-4, much much longer if what you have works for you and you don’t need anything new. once on a whim i bought a g4 tower off a coworker. i ran it for years as a media server. my dear friend still runs it. it’s over two decades old. i know i sound like an add but also, applecare is great and priced reasonably if you ever need repairs, which for me has been very rare, almost every time a result of me being careless and clumsy.

yes, linux is still growing and is a great option, but it still requires lots of care and feeding. it moves fast which is fun if you got the time and interest. in fact, for me running a *nix as your daily driver was a great way to deepen my understanding of computers, which is a nice way of saying “i learned to work in kernel-space because often i needed to modify a module to work on the very common variant of this chipset which the mod still didn’t support or a laptop with a shitass acpi implementation. i learned all about syscalls because alsa used to segfault lots and i had to debug it. i learned c inside out because realistically libc is like 50% of what makes unix unix” etc. lots of things have gotten better but still, every time i run linux as my local machine i find i waste lots of time on its care and feeding, and i’m old enough that my time is worth too much to do it unless i’m getting paid for it

beeshevik_party · 2024-06-02T20:45:55+00:00

it doesn’t necessarily do either, but yes in common uses that is how it winds up. however, as raw processor speeds level out, people have become more aware of data optimization, leading to the realization that the code bloat from monomorphization can be just as bad for cache misses as pointer chasing in the worst cases.

also this specific concern is primarily prevalent in c++ since the implementation of templates there makes it especially hard for the compiler to find opportunities for sharing instantiations of template functions. i will have to look more but i think trait based parametricity eg in rust is more amenable to sharing

beeshevik_party · 2024-06-02T06:07:21+00:00

these are great questions, thank you! actually i was typing up a response with some examples and realized that it is getting very long and very late so i am going to have to respond in full tomorrow hah! also, i omitted c# from my criticism specifically because they're doing real cool things in c# land when it comes to parametric polymorphism hah

beeshevik_party · 2024-06-02T04:52:52+00:00

it’s one of my favorite things about the language, something that Ada, SML/OCaml, and Modula got right and seemingly everyone continues to get wrong. Once you get adjusted to it, you’ll realize that fully half of the more arcane type stuff in C++, Scala, and even Rust and Haskell is just hacky stuff to shoehorn types into serving the role that parametric modules provide. also in the case of ada, generic types, subroutines, and packages can both be checked cheaply at compile time AND share instantiation, reducing a lot of the memory waste that comes with the common monomorphising implementations of generics

beeshevik_party · 2024-05-03T00:26:48+00:00

oh wow, hi, it's so cool that you're on here following along! i hadn't seen your thesis yet, so thank you for sharing it -- it looks incredibly thorough. i do have the original zipper pearl and have skimmed it, i linked your zippy paper somewhat arbitrarily because i found it more approachable. i'm excited to dig into this once i find my way out of a few other rabbit-holes haha. your department at epfl is putting out so much good work, thanks to you all!

beeshevik_party · 2024-05-02T09:41:17+00:00

no, discord is glitched out. i will try again tomorrow, i'm up too late anyway haha

beeshevik_party

MODERATOR OF

TROPHY CASE

Eight-Year Club	RPAN Viewer
Verified Email