Joseph Hertzlinger @jhertzli@mathstodon.xyz
Joined Jun 2017
There is a C compiler written in TeX.
https://raw.githubusercontent.com/hak7a3/8cc.tex/master/8cc.tex
Joseph Hertzlinger
boosted
There's just less wiggle room for mistakes but I'm really aiming for an 80 here!!!! Luckily it's all based on assignments which I'm much more successful with :)
Big, if true:
"In a more recent study, Amir Siraj and Prof. Loeb identified another (and much smaller) potential interstellar object, which they claim could be regularly colliding with Earth."
https://www.universetoday.com/142025/astronomers-think-a-meteor-came-from-outside-the-solar-system/
I seem to have acquired a fat-finger problem again.
Joseph Hertzlinger
boosted
Let \(X \sim \mathcal{N}(0, 1)\) and \(x > 0\).
\(
\mathbb{P}(X > x)
\)
\(
= \frac{1}{\sqrt{2\pi}} \int_x^\infty e^{-t^2/2} \,\mathrm{d}t
\)
\(
\leq \frac{1}{\sqrt{2\pi}} \int_x^\infty \frac{t}{x} e^{-t^2/2} \,\mathrm{d}t
\)
\(
= \frac{e^{-x^2/2}}{x \sqrt{2\pi}}.
\)
Quite elegant!
Joseph Hertzlinger
boosted
Joseph Hertzlinger
boosted
OMG GUYS THEY EMAILED ME AGAIN TO FOLLOW UP.
My reply:
Hi.
I'm morally against ads. I think advertising is deceptive manipulation designed to create needs that don't need to exist. I think advertising is a big component of the capitalist society that is bringing this planet to ecological ruin.
Besides, they're just annoying. Nobody likes watching ads. At best we put up with them or manage to ignore them.
You don't have to worry about this if you're using LaTeX.
https://www.xkcd.com/2109/
"Today We Learned You Can Sail In A Straight Line From The UK To New Zealand"
http://digg.com/2019/straight-line-uk-to-new-zealand
The fat finger problem strikes again!
Weren't anti-agathics supposed to be invented this year?
Joseph Hertzlinger
boosted
(Very) Drunk maths ponderings Show more
Is it possible for the AMS or MAA to use IP law to claim that NumbersUSA is violating a trademark by using the word "numbers" without the permission of mathematicians?
On a second thought, that would be using the Ring...
The following chart inspired a question:
There's evidence for a natural nuclear fission reactor 2 billion years ago based on the nuclear waste found in rocks that age. Do you accept such evidence? The waste did not move with respect to the surrounding rock. Does this have implications for nuclear waste disposal?
Chart seen via birdsite: https://twitter.com/pickover/status/1072209041768763392
"That wealth got extracted from somewhere."
I'll have to add that to the lists of premises I don't agree with.
http://hertzlinger.blogspot.com/2014/05/commonly-accepted-premises-i-dont-share.html
One problem with the above: It implies that ratios in which one side is zero are impossible.
Alternative: The quantity that should be uniformly distributed should be \(\frac{x^2-y^2}{x^2+y^2}\), where x and y are the two quantities.
I don't see why the wine/water paradox should be a paradox. It seems clear that the logarithm of the wine/water ratio is in the range \(-\log(3)\) to \(\log(3)\) and the a priori distribution should be uniform on that interval.
https://www.researchgate.net/publication/252476141_The_WineWater_Paradox_background_provenance_and_proposed_resolutions
Joined Jun 2017
