Viewing profile — jlrubin

one thing i've found, is that i've regretted not blogging more via PDFs. This is because Google Scholar treats PDFs as first class citizen, so your Important blog posts can get add…

@dang title has been changed to "The (successful) end of the kernel Rust experiment", since there were complaints in the articles comments from the committee members that that was …

Options like std::discrete_distribution don't allow updates, in Rust e.g. https://docs.rs/rand_distr/latest/rand_distr/weighted/struct... allows updates but sampling is O(log n) an…

> The fraction turned out to be approximately 69%, making the graphs neither common nor rare. The wording kinda bothers me... Either 31% or 69% is exceedingly common. Rare would be…

i have the unique experience of being in a plane over the Bering sea a few hours ago. https://twitter.com/JeremyRubin/status/1789273537179426922 i was going nuts in my seat and see…

wouldn't those be a different category & thus get unique coverage?

anecdotally, i had a professor (if you're reading this, hi) who would wink in conversation at exactly the right point to add a little "isn't the world a funny place" comedy to what…

money = money(t) inflation = d money / dt rate of increase of inflation = d^2 money / dt^2 rate of change in rate of increase of inflation = d^3 money / dt^3 rate of increase of in…

that'd cause an org wide panic, and you might lose key personel in your actually profitable business units. cutting costs at this scale is not just reducing employees, it's getting…

fwiw i was able to successfully port this complex project into rust's type system.

my experience with python's optional type system was that the simple stuff works very well, but when you try to go down a type rabbit hole for more advanced stuff involving generic…

note that it is measured in SLOC. You can do in 500 lines of rust what might take 5000 lines of C. I would be interested to see this as a stack chart showing overall LoC.

The free market is usually better at allocating resources than the government. Plus, the government already has much more than $125M it could use to fund AI research, why do we nee…

like them or not, analogies are one of the pillars of the American legal system. Being able to reason about them and create them (usually with motivated reasoning) is a highly valu…

you got it flipped. Dependendent types enable you to do things like "takes a nonempty list" and "returns a nonempty list of greater size". Linear types lets you do things like "thi…

scottlamb seemed to be implying it's not worth being able to since it's an uncommon use case, so I was explaining why even if it's uncommon it's must-have.

Hi back atcha! I took 6.824 under Paxos (I think we took it at the same time maybe? not sure if you were TA at that point) and then helped a friend when it switched to raft and goo…

my point is that these are the fat tail + survivor bias of cases where you do actually care about performance to this degree, so it probably is actually more common in practice whe…

it's very likely that it's one of the cases that when reducing cache misses does really matter it's very different from using as little space as possible, and the degree to which i…

I dont like raft personally. I think it does way too much "all in one shot" v.s. a layered abstraction approach you have to do with Paxos where you build up from the basics of cons…

drumroll please yup!

thanks so much! your support means a lot :)

i'm assuming she purchased what she thought was percocet and it was actually fentanyl, not that she mixed up her pills