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 added to academia.

maybe a plugin can solve this particular gripe...

@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.

> 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 in 2^256.

I guess the article covers it's working definition of common, ever so briefly:

> that if you randomly select a graph from a large bucket of possibilities, you can practically guarantee it to be an optimal expander.

So it's not a reliable property, either way.

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 whatever he was saying... wasn't clear if intentional or a tic for when he thought he had said something clever. I noticed that habit to have transferred to me for a while after, though I think now it's faded.

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 / dt^3)

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 need to cut. the secrecy lets management retain control.

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 generics it becomes really unworkable, inconsistent, and hard to dig yourself out of.

but for little things, like just function signatures, it's great!

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 need to take away Schmidt's funds to do so?

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 is no precedant (something us technologists encounter often), you make the case that what you are doing is just like what X had done, and should be treated in kind.