Give me the natural numbers or give me death. Also hyperpape@hachyderm.io and https://xitter.cf/t.co/34DIwnSHZB

Caldas da Rainha, Portugal
Joined March 2008
Super excited: I just released the first version of needle, a library I’ve been working on for some time that compiles regular expressions to JVM bytecode. I plan to keep working on it, but it’s already fast, and I hope people can make use of it. justinblank.com/experiments/…
207
Indeed. In ways that are about advances in AI, the intellectual progress that happened in 2024 is not distinguishable from the intellectual progress of 2014. We are still speculating about what might happen soon (which is not to say I think it won’t happen).
Replying to @michael_nielsen
I occasionally think (per Hilbert) "has the Riemann Hypothesis been solved yet?" as a reminder that we're quite some ways from ASI. The first 25 years of the third millenium saw one Clay Prize problem solved. I suspect the second quarter century will see at least 4 of the remaining 6 solved (or if not then, soon after)
1
114
Almost no one will ever read this correction, but of course that should’ve been “…ways that are *not* about advances in AI…”
29
Replying to @1Password
@1Password I’m trying to add 1Password to Firefox, and reached https:://my.1Password.com/signin, which tells me to open the mobile app and select the account icon or 1Password logo in the top corner. The iOS mobile app doesn’t have a 1Password icon there.
2
66
I figured “this isn’t a problem, it just means they need to update their documentation” so I used the email flow. However, that flow infinite loops. I enter sign-in information, get prompted to choose my account, and am returned to the sign-in screen.
40
How many lines on this list are duplicates? Surely the reasonable thing is to actually deduplicate it and count?
Fun fact: rust needs to generate random numbers in the standard library for hash maps and sets. But that's not exposed. This is how many dependencies adding the latest version of the popular rand crate pulls in that everybody uses:
1
2
122
Several of those “dependencies” are from the same damn GitHub repository! github.com/rust-random/rand/…
1
36
The headline figure of 41% is amazing, isn’t it? But it’s not the number you care about. You want to know “given that a person has Covid, what are the chances that they get Long Covid?” This asks “given that a person has a postviral syndrome, what the odds they had Covid?”
41% LONG COVID !!! 😨😨😨 "Small study suggests many more people have long COVID than previously believed" "A study using SARS-CoV-2 antibody and T-cell tests shows that 41% of 29 patients who developed a postviral syndrome (PVS)" cidrap.umn.edu/covid-19/smal…
1
1
70
Potentially significant, but there’s a whole industry of people who cherry-pick and manipulate these results as evidence of their fears (this author clearly makes the mistake of treating the 41% as the probability of long covid conditional on an infection).
Replying to @ejustin46
2) Potentially 4 million hidden long-COVID patients !!! 🤬 We posted on 1st June this thread with 43% : xitter.cf/ejustin46/status/16643…
1
1
61
Note that “4 million patients” would be 2% or less of people ever infected with Covid in the US.
1
28
I know a physics PhD who said the biggest thing that held him back in grad school was not being good enough at building experimental apparatus, and a bio professor who spends significant time doing surgery on animals (and plenty of others). I don’t believe this take.
Almost all of academic science has moved away from actual (empirical) science. It is higher status to work on theories and models. I believe that it is closely related to well documented scientific stagnation as theory is often ultimately sterile. This tendency is quite natural in academia if there is no outside pressure… And is the main reason why academia should be ruthlessly judged by practitioners and users. As soon as academia can isolate itself in a bubble, it is bound to degrade. It is worth trying to understand some of the factors driving this degradation… Theoretical work can sometimes be seen as more complex. This complexity can be mistakenly equated with higher intelligence or prestige. Empirical work, while also complex, often deals with tangible, observable data, which might seem more straightforward to the uninitiated. Empirical work is more likely to lead to nuanced or inconclusive results while theory is often seemingly more direct and definitive. Theoretical research often requires fewer resources than large-scale empirical studies which might need extensive funding for equipment, data collection, and personnel. Thus you get to do more research with less using models and theory. Theoretical work is often seen as requiring a high level of creativity to devise new frameworks or models. While empirical work also requires creativity in design, execution, and interpretation, the creativity in data collection or experimental design might be less recognized or appreciated. The educational system often glorifies theoretical knowledge over practical skills until one reaches higher education or specialized training. E.g., we eagerly make calculus compulsory even if it has modest relevance in most practical fields. This educational bias can carry over into professional perceptions.
1
4
226
If you look at the replication crisis in psychology, it consists of a ton of experimental work with bad statistical methods (this isn’t a criticism of experiments, you could have an experimentally oriented field with better standards around statistical methods and replicability).
1
48
You can argue about whether economics is a science, but natural experiments have been extremely fashionable in the past 10-15 years, at the expense of classical theory.
26
I’m on the other two main social networks (username is what you suspect, but is in my profile just in case). I suspect this place gets deader and deader, though I haven’t stopped reading yet.
50
Justin Blank retweeted
A major Indonesian bank moved from Java to Rust and saw 486x boost in memory efficiency… bruh
51
1,314
49
18,752
768,265
This is an attractive thought, but I actually think the word “mostly” hides something it is wrong. The subjective experience of being wrong must be different. Of course, both the person who is right and the person who is wrong say to themselves “I’m right.”
What is the most striking depiction of the subjective experience of being wrong (which feels, mostly, just like being right) ever written? I met a well-known 911 Truther years ago. He was a very good mathematician, and quite a careful thinker in many ways. And one of the striking things about talking with him was to realize how much deeper his understanding of 911 was than mine. He understood it far, far better than I (not a truther, FWIW). In a fair debate on the subject with me he would be adjudged the victor - indeed, it wouldn't even be close. And I'll bet his internal experience of thinking about 911 was pretty darn interesting What was going on was quite complicated - some complex social process whereby I delegate understanding and belief to institutions and some social process. I don't quite trust those institutions, but in this case my judgement is "good enough". Anyway, that process of delegation is another matter. I guess mostly what I'm interested in is really terrific depictions of the subjective experience of being wrong. What's it like to think really deeply and with belief about astrology, or (most) religion, or 911 Truth theories, etc?
1
73
But at some point the 9/11 truther parts ways with us. There is some question, where we are satisfied with the answer and he pushes back (wrongly). Subjectively there is a difference, though we might have a hard time specifying it.
1
25
This doesn’t mean there’s a magic road to correctness. There are questions where each of us doubts some consensus. What distinguishes those cases from 9/11 trutherism? Many things, but few that we could specify in a way that all parties would agree to.
1
31
Spot a benchmark bug:
21
2
33
15,398
Justin Blank retweeted
30 Years of Notebooks bactra.org/weblog/30-years-o…
8
8
58
20,051
Do no work. (fail fast) Do less work. (Algorithmic optimisation) Do work in parallel. (Parallelism) Do work before the actual work. (Pre processing) Do work only once. (Idempotence) Do work with previous results. (Caching) Do work with less. (Compression) Do work when required. (Lazy loading) Do work without contention. (Lock free) Do work near the data. (Locality) Do work adaptively. (Auto Scaling) It’s all about “doing work the right way” to design and implement - high performance, cost-effective and highly reliable systems.
1
18
103
7,645
I’ve updated my page on benchmarking, with a lot of new resources. justinblank.com/notebooks/be… Apologies to anyone who follows me on multiple social media sites today.
48