jlrubin

5 ms·

1.
by jlrubin 9mo ago
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 added to academia. maybe a plugin can solve this part
2.
by jlrubin 9mo ago
@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 a sensationalization of what actually happened.
3.
by jlrubin 1y ago
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) and updating is also
4.
Data Structure for Dynamic Discrete Probability Distributions(github.com)
1 points by jlrubin 1y ago|1 comments
5.
by jlrubin 1y ago
> 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 asymptotically few, or constant but smaller than e.g. 1
6.
by jlrubin 2y ago
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 seemed to be the only one on the pla
7.
by jlrubin 3y ago
wouldn't those be a different category & thus get unique coverage?
8.
by jlrubin 4y ago
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 whatever he was saying... wasn't clear
9.
by jlrubin 4y ago
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 inflation was decreasing = sign(d^3 money &#x2F
10.
by jlrubin 4y ago
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 rid of employees who are working in areas you nee
11.
by jlrubin 4y ago
fwiw i was able to successfully port this complex project into rust's type system.
12.
by jlrubin 4y ago
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 generics it becomes really unworkable, inconsistent, and hard
13.
by jlrubin 4y ago
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.
14.
by jlrubin 5y ago
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 need to take away Schmidt's funds to do so?
15.
by jlrubin 5y ago
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 valuable skill. For those unaware, in a legal case where there i
16.
by jlrubin 5y ago
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 "this data can only be written to a fil
17.
by jlrubin 5y ago
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.
18.
by jlrubin 5y ago
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 good lord that seemed to be a worse for them.
19.
by jlrubin 5y ago
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 when you're looking into it. even though precise control i
20.
by jlrubin 5y ago
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 it matter dwarfs the degree to which it's
21.
by jlrubin 5y ago
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 consensus. The evidence that raft is more "unders
22.
by jlrubin 5y ago
drumroll please yup!
23.
by jlrubin 5y ago
thanks so much! your support means a lot :)
24.
Rubin's 2021 Bitcoin Advent Calendar(rubin.io)
12 points by jlrubin 5y ago|4 comments
25.
by jlrubin 5y ago
i'm assuming she purchased what she thought was percocet and it was actually fentanyl, not that she mixed up her pills
26.
by jlrubin 5y ago
I think that Julia lacks a native tagged enum, which is what rust has. Unions are more akin to a local trait T that you box and implement for all the return types, which is strictly worse. If instead explicit unions were optimized to be tag
27.
by jlrubin 5y ago
i think you can successfully type the return type using a Union. This might have the performance penalty of instability, but i care more about the soundness issue of potentially returning garbage types than about e.g. vtables btw rust-minis
28.
by jlrubin 5y ago
it has a huge impact on static analysis to know that the type is a Box<dyn T> in rust, and you can't (without something else) downcast Box<dyn T> to a specific U. i don't care about the performance as much the correctn
29.
by jlrubin 5y ago
this has always been my top complaint about Julia -- programming without type stability is madness!
30.
by jlrubin 5y ago
nicely done jj!

More ›