So, let me get this straight. Investors thought other investors would confuse SPCE for SPCX, and so they INTENTIONALLY bought SPCE in anticipation of that, leading to a rise in SPCE stock...
I've been telling people for 25 years that Jane Street is not interested in formal methods.
No more!
And we're actively hiring to form a new formal methods team!
Might have been more interesting to discuss how disciplinary partitioning (math vs CS) sometimes means topics like GIT emerge in one but live out lives in another, hidden from former. Like Russell's barber, we've created a set of all disciplines that is itself not a discipline.
Gödel's incompleteness theorem is one of those things that math popularisers always talk about as a hugely important result.
But according to @3blue1brown, it almost never comes up in practice. It's a weird pathology that nobody expects to matter for the big questions.
Interesting approach: "We’ll teach 1,000 fellows how to use Claude well, match them with nonprofits across America, and pay them to spend a year—full-time, in-person—helping host organizations to advance their missions."
"Introducing Claude Corps"
anthropic.com/news/claude-co…
Lately, I've been thinking a lot about multiscroll hyperchaos and different application spaces than the conventional image encryption case. To help discuss these the topic in general, I created this new primer (which doubles as a review of what is chaos).
tpavlic.github.io/topic_visu…
Now updated to include a third tab that covers using mixed-effects Cox Proportional Hazards models for hypothesis testing (and various visualization options).
tpavlic.github.io/topic_visu…
To help a student understand how to handle right-censored data, I built this survival (and recurrent-event) analysis explorer that demonstrates the approach and provides some basic derivations. Applications to compartmental models from epidemiology too.
tpavlic.github.io/topic_visu…
Now updated to include a third tab that covers using mixed-effects Cox Proportional Hazards models for hypothesis testing (and various visualization options).
tpavlic.github.io/topic_visu…
I don't know how, but somehow Claude has spontaneously decided to check its own responses for em dashes and make sure to construct responses to me without them. I guess I yelled at it enough that it started remembering?
Hot take: Universities charge $300,000 for a degree that teaches you skills any LLM can do for free. At some point we need to have an honest conversation about whether higher education is the greatest individuals misallocation of capital in recent history.
From UI to UX to... "AX"? -- "According to Lawson, [engineers] are the ones who understand what agent experience (AX) can and should be."
"Netlify CTO Dana Lawson: Writing code is no longer the job"
thenewstack.io/netlify-agent…
Imagine if every article had to include, "This manuscript was assembled using a word processor. In some cases, a calculator was used. Handwritten work was done on a tablet which sometimes involved virtual graph paper and a virtual ruler. Plots were generted with a graphing..."
It's not like these statements help with reproducibility nor absolve the authors of responsibity for research integrity violations. I guess they could ask for chat transcripts, but what if they were lost or extremely long and not timestamped and so impossible to interleave.