math_dandy

7 ms·

61.
by math_dandy 2y ago
Was in Poland over the summer and, as a Jew of Ashkenazi heritage, I felt right at home culinarily (except for the pork).
62.
by math_dandy 2y ago
Some speak perfect conversational Hebrew in a standard Israeli accent but switch to an Ashenazi/Yiddish accent in biblical or liturgical contexts. Pretty cool actually.
63.
by math_dandy 2y ago
I know very little about Figma, but if their presentation product can (one day) understand LaTeX math syntax and render it, then I’ll definitely learn it!!
64.
by math_dandy 2y ago
This is certainly an active area of research. When I saw the article, I actually assumed that Google was announcing progress in AI4CO and was surprised that the article stuck to fairly orthodox techniques.
65.
by math_dandy 2y ago
I’m very excited about Mojo as a Rust 2.0 with first-class Python compatibility and support. Who knows if it’ll take off, but I love the project’s ideas and respect its ambition.
66.
by math_dandy 2y ago
Absolutely right. If you keep worrying about whether 1 is actually 1, you’ll never get any math done.
67.
by math_dandy 2y ago
React 19 has full support for web components and it scores perfectly on the “does your framework play nicely with web components” test suite whose name I don’t recall.
68.
by math_dandy 2y ago
PyTorch and JAX have very good — but narrowly scoped — compilation facilities, and this suffices for a lot of really compelling AI applications. A strong general purpose compilation story for Python is unlikely to materialize, IMO.
69.
by math_dandy 2y ago
Why isn’t this product infused with AI?
70.
by math_dandy 2y ago
Many heuristics in cryptanalysis rely on heuristics widely believed about the distribution of prime numbers. If RH is proved, some of these heuristics would become theorems. It would not, however, give practicing cryptanalysts new tools sin
71.
by math_dandy 2y ago
It may take many breakthroughs to yield a proof of the Riemann Hypothesis. Progress on a notoriously hard problem through introduction of innovative new ideas can certainly qualify as a breakthrough, imo. Naturally, the importance of the br
72.
by math_dandy 2y ago
People need to distinguish between ChapGPT-the-model and ChatGPT-the-service. The latter has memory; the former does not (as far as we know).
73.
by math_dandy 2y ago
We have no definition of reasoning that is sufficiently precise to be useful. But we do have a bunch of benchmark tasks/datasets that test what we intuitively understand to be aspects of reasoning. For AI models, "being able to re
74.
by math_dandy 2y ago
Well, yeah. How else do you keep your gizzard topped up?
75.
by math_dandy 2y ago
Contrastively, if the computer has no dedicated copilot button then it’s not at “AI PC”. Makes it simple to avoid the undesirable product lines.
76.
by math_dandy 2y ago
Check out visx. It should really be called D4: Declarative Data Driven Documents. It swaps out d3-select (the DOM manipulation module of D3) in favor of React. That this is possible and works great is a testament to the great design of D3.
77.
by math_dandy 2y ago
This exists, it’s called visx, and it’s great. https://airbnb.io/visx
78.
by math_dandy 2y ago
If robust, affordable storage technologies that can smooth out the volatility inherent to solar/wind energy become available for a variety of topographies and climate zones, then we’ll be in great shape to reduce GHG from power generat
79.
by math_dandy 2y ago
For the amount Canada recently spent on the expanding the Trans-Mountain Pipeline ($30 billion) we could probably build a nice nuclear plant.
80.
by math_dandy 2y ago
I'm absolutely not an authority in these matters, and any corrections are welcome and appreciated.) From what I've read, "green" hydrogen made from electrolysis with energy from non-carbon-emitting sources extremely ener
81.
by math_dandy 2y ago
I totally believe that this is true on average. But there are a few weeks in the January/February when we're sitting under a high pressure system with clear skies, no wind, and -30C temperatures. Power generation needs to be able
82.
by math_dandy 2y ago
Canada doesn't invest in infrastructure until it's too late. And by then, it's too late.
83.
by math_dandy 2y ago
In much of Western Canada, energy use is highest at night in deepest winter when there is no appreciable wind, meaning that the grid is completely reliant on gas-fired power. If we want to reduce gas-fired capacity, we need another source o
84.
by math_dandy 2y ago
This notion of derivative of a number depends very weakly on the number itself. It only depends on the multiset of exponents in the number’s factorization into a product of prime powers. In this way it’s like the divisor counting function,
85.
by math_dandy 2y ago
Investigating and prosecuting anticompetitive behavior simply takes to long to investigate and prosecute. And by the time this happens, the fast-moving nature of the tech industry usually means the issue is not nearly as relevant as it was
86.
by math_dandy 2y ago
Since all of these combinatorial optimization problems are, in full generality, are as difficult as possible in the complexity theoretic sense, there is little prospect of AI/ML helping to solve these problems in general. (?) But peopl
87.
by math_dandy 2y ago
I’ve always found it kind of badass that physics students are just expected to pick up the math they need as they study the physics.
88.
by math_dandy 2y ago
If this book has exercises at the end of each chapter, I’d assign it to my calculus classes.
89.
by math_dandy 2y ago
I look forward to my annual eight day matzahpizza orgy.
90.
4000 Jahre Zahlentheorie (4000 Years of Number Theory)(link.springer.com)
2 points by math_dandy 2y ago|0 comments

More ›