aquafox

6 ms·

1.
by aquafox 7d ago
FWIW, the best traveling speed is 147000km/h, because the Doppler effect makes a red light appear green. ;)
2.
by aquafox 7d ago
> but that an AI system may have produced new mathematical knowledge that humanity did not have before From the expose in Terence Taos blog [1], it seems the difficulty of the Navier-Stokes counter example is a delicate balancing act bet
3.
by aquafox 12d ago
We should start a gofundme to send him 2 months to a remote tribe in the Amazon. Chances are, we see the Riemann hypothesis and twin prime conjecture proven. ;)
4.
by aquafox 14d ago
Coming from an R/dplyr background, I agree. Compare df.select( pl.col("x"), (pl.col("w")/pl.col("z")).alias("y") ) with df |> select(x, y = w/z)
5.
by aquafox 28d ago
Nice, but Rainbolt would do it in under a minute ;)
6.
by aquafox 1mo ago
I also dont miss the days without GPS bike computers, having to navigate route with printed out google maps sheets just to realize the resolution was not high enough for my route and I had to stop at every 3rd intersection to confirm I&#x27
7.
by aquafox 3mo ago
The problem is: Since we don't regularly full-body scan healthy people, we don't know how healthy, or say, still ok, looks like. This will create a lot of false positives and potential harm from unneccessary follow-up procedures a
8.
by aquafox 3mo ago
I think it's difficult to objectively quantify "effectively solved". A good source with loads of information about many diseases and their clinical status is OpenTargets, e.g. https://platform.opentargets.org/
9.
by aquafox 5mo ago
If I tell you I have function f with f(a) = 10 and on it's path from a to b, the graph first increaes by 5 units then by another 10, and then later on drops by 25 units, you can immediately deduce that f(b) = f(a) + (+5 +10 -25) = 0.
10.
by aquafox 6mo ago
As someone who has written his PhD thesis in LaTeX, I wish Markdown, or more specifically Quarto, would have existed at that time. Spent too mich time setting up basic stuff that is now just 2 pre-defines styles away.
11.
by aquafox 6mo ago
I work in a corporate setting and the money and time we wasted because of Zscaler and its SSL inspection [1] is beyond your wildest imagination. Whenever I see a "SSL certificate problem: self-signed certificate in certificate chain&qu
12.
by aquafox 7mo ago
I really don't understand why people think it's a good idea to use csv. In english settings, the comma can be used as 1000-delimiter in large numbers, e.g. 1,000,000 for on million, in German, the comma is used as decimal place, e
13.
by aquafox 8mo ago
There is a saying about Gauss: when another mathematician came to show him a new result, Gauss would remark that he had already worked on it, open a drawer in his desk, and pull out a pile of papers on the same topic.
14.
by aquafox 8mo ago
Oh wow, I wish I could give more than one upvote for this reference!
15.
by aquafox 8mo ago
Or a good one, forcing governments to have robust infrastructure that this info isn't useful. Similar reasoning as with security and open source software.
16.
by aquafox 9mo ago
I'm a data scientist and a lot of my R code are dplyr-chains a la data |> select(features) |> filter(low_quality) |> mutate(feature=...). It just saves time to comment on what those chains do instead of having go through them
17.
by aquafox 9mo ago
> I'll basically do $ man tool | <how do I do this with the tool> or even $ cat source | <find the flags and give me some documentation on how to use this> Could you please elaborate on this? Do I get this ri
18.
by aquafox 10mo ago
Having gone through the explainations of the Transformer Explainer [1], I now have a good intuition for GPT-2. Is there a resource that gives intuition on what changes since then improve things like more conceptually approaching a problem,
19.
by aquafox 11mo ago
I once bought an Office 2016 license and when I installed it this year on a new laptop, it turned itself into a trimmed down O365. After the first Office update, I got a non-closable ad next to my Excel spreadsheet to upgrade to a full O365
20.
by aquafox 11mo ago
> Our liveable breathable atmosphere is razor thin compared to the size of earth. If earth were a grapefruit, our atmosphere would be ~1mm thick!
21.
by aquafox 11mo ago
The problem for me is not getting my DNA sequenced but not having to trust a third party with my genetic information. As wirtten in the article, they only achieved a 13% coverage (even less if because you have to assume that not all base ca
22.
by aquafox 1y ago
Terence Tao uses a trick, I think he calls "structured procrastination": When there is a thing he doesn't want to do, he recalls another thing he doesn't want to do more. This way he's procrastinating on the other t
23.
by aquafox 1y ago
The consensus here seems to be that Python is missing a pipe operator. That was one of the things I quickly learned to appreciate when transitioning from Mathematica to R. It makes writing data science code, where the data are transformed b
24.
by aquafox 1y ago
> This sort of thing is exactly like preventative whole body MRI scans. It's very noisy, very overwhelming data that is only statistically useful in cases we're not even sure about yet. To use it in a treatment program is witch
25.
by aquafox 1y ago
I would plot the destination matrix as a jeatap where each row is a departure and each column an arrival and color is the number of trips. Additionally, you could cluster the rows and columns of this heatmap.
26.
by aquafox 1y ago
On a related note: Transporting a human in a car is (in relation to weight and size) like using a standard shopping cart to transport two 1L bottles of water. So the next time you walk through a pedestrian area, imagine everyone carrying a
27.
by aquafox 1y ago
Could someone maybe give a high-level explanation into why commercial ILP solvers (e.g. Gurobi) are that much better than free/open-source ones? Is it because ILP is inherently that difficult to solve (I know it's NP-hard), that t
28.
by aquafox 1y ago
I had similar issues in the past. Setting up renv, everything seems good, but after working in a project for a few weeks and installing packages, renv constantly complains about the library being out-of-sync and resolving these complaints t
29.
by aquafox 1y ago
Until there is a radically new version of {popular programming language} with breaking changes and no new and correct answers to train on.
30.
by aquafox 1y ago
Don't get me wrong, I love LaTeX, having written my PhD thesis in it. But with the current tools, I would use Quarto instead. It's much easier, you can still "inject" LaTeX and it's quicker for less technical collab

More ›