abetusk

3 ms·

1.
by abetusk 2mo ago
lg(n!) grows roughly as (n lg n). Constants matter, of course, but to that's the rough estimate. As an aside, if you take numbers from 0 to (n-1) in an array, there are n! configurations, so representing each configuration or different
2.
Lean Game Server(adam.math.hhu.de)
3 points by abetusk 2mo ago|0 comments
3.
Natural Number Game (Lean4 Tutorial)(adam.math.hhu.de)
3 points by abetusk 2mo ago|1 comments
4.
by abetusk 2mo ago
What is the other clay prize that's might be solved now/soon?
5.
by abetusk 2mo ago
Do you have a repo for this project? I would encourage you to work in the open, if you're not already. Even a BOM would be helpful. Also understanding the post-processing/cleanup step would be interesting.
6.
Leveraging Sparsity to Accelerate Automatic Differentiation (2025) [video](youtube.com)
4 points by abetusk 3mo ago|1 comments
7.
by abetusk 3mo ago
Video lecture discussing sparse automatic differentiation. Blog post: https://iclr-blogposts.github.io/2025/blog/sparse-autodiff/ Previous discussion: https://news.ycombinator.com/item?id=4382
8.
HydroGym: A Reinforcement Learning Platform for Fluid Dynamics [video](youtube.com)
1 points by abetusk 3mo ago|1 comments
9.
by abetusk 3mo ago
paper: https://www.nature.com/articles/s41586-026-10917-6 code: https://github.com/dynamicslab/hydrogym
10.
Sutton and Javed: Why AI Models Stop Learning, and How to Start It Again [video](youtube.com)
2 points by abetusk 3mo ago|0 comments
11.
by abetusk 3mo ago
The picture of the teenager holding a piece of paper in front of a commodore is of Regina King [0]. [0] https://www.fineartstorehouse.com/michael-ochs-archives/regi...
12.
by abetusk 3mo ago
1000x slowdown is bad but not a complete deal breaker. Do you have a sense of what a reasonable achievable factor is? Do you have sense for how long before we get to that achievable factor?
13.
by abetusk 3mo ago
> For [Dependency resolution] and [Type checking], the worst-case just doesn't occur. ... at least in my career, I've never seen a galactic blow-up. Both of these problems have been hand crafted and sanded down so as not to get
14.
Openness Made All of This Possible(opensource.org)
1 points by abetusk 3mo ago|0 comments
15.
by abetusk 3mo ago
[0]: > ... I thought dynamic programming was a good name. It was something not even a Congressman could object to. So I used it as an umbrella for my activities. [0] https://en.wikipedia.org/wiki/Dynamic_programming
16.
by abetusk 3mo ago
Could someone summarize what the main idea is for this method?
17.
by abetusk 3mo ago
Power law distributions are specializations of the more general Levy stable distributions [0] [1]. Levy stable distributions answer the following question: Given that the sum of independent and identically distributed random variables that
18.
by abetusk 3mo ago
1% compounding "positive impact", however that's defined, still leads to a singularity like event. Moore's law-like effects are doubling computing power for fixed cost at 1.5 to 2 years, so it's noticeably fast, esp
19.
by abetusk 3mo ago
I'm not sure I had a well formed question. I saw the post title, didn't get a clarification in the article and started searching. The entropy rate seems like a pretty natural definition of "entropy of a Markov chain", no
20.
by abetusk 3mo ago
OK, no, I'm wrong. The entropy of a Markov chain with stationary distribution v is [0]: -\sum v_i p_{i,j} \log(p_{i,j}) That is, the "entropy" of the transition matrix modified by the stationary distribution. [0] h
21.
by abetusk 3mo ago
So how does one calculate the entropy of a Markov Chain? Is it actually specified? If so, it seems buried. The Markov chain provided as an example has the edge labels swapped (np should be qp and qp should be np). Regardless, what is the en
22.
by abetusk 3mo ago
You've talked past the point. Both can be true. It took 10-15 years before the stock market got back to the level it did pre dot-com crash [0]. [0] https://en.wikipedia.org/wiki/Dot-com_bubble
23.
by abetusk 3mo ago
The SQL planner is most definitely "AI", we're just so used to it that it's become trite to say so. I'm having trouble tracking down the version I heard about, but this essentially the "AI effect": "
24.
by abetusk 3mo ago
And him receiving a lifetime achievement award here: https://www.youtube.com/watch?v=40v2JFzgEPY&t=4802s
25.
Conformance vs. Comprehension(intertwingly.net)
2 points by abetusk 4mo ago|0 comments
26.
by abetusk 4mo ago
[0]: > If you refrain from participating in the software of the commons, the only thing that you're doing is surrendering more of our collective agency to abusive centralized powers. [0]: https://www.youtube.com/watc
27.
by abetusk 4mo ago
I think people are missing one of the points of the article. It's not just that agents are hammering the site, it's that there might be lurking vulnerabilities that allow malicious usage, which is why it went down, then came back
28.
by abetusk 4mo ago
Invitation sent. Let me know if you haven't received it.
29.
by abetusk 4mo ago
Invitation sent. Let me know if you didn't get it.
30.
by abetusk 4mo ago
Invitation sent. Let me know if you didn't receive it.

More ›