abetusk

6 ms·

1.
Lean Game Server(adam.math.hhu.de)
3 points by abetusk 7d ago|0 comments
2.
Natural Number Game (Lean4 Tutorial)(adam.math.hhu.de)
3 points by abetusk 7d ago|1 comments
3.
by abetusk 8d ago
What is the other clay prize that's might be solved now/soon?
4.
by abetusk 14d 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.
5.
Leveraging Sparsity to Accelerate Automatic Differentiation (2025) [video](youtube.com)
4 points by abetusk 21d ago|1 comments
6.
by abetusk 21d 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
7.
HydroGym: A Reinforcement Learning Platform for Fluid Dynamics [video](youtube.com)
1 points by abetusk 26d ago|1 comments
8.
by abetusk 26d ago
paper: https://www.nature.com/articles/s41586-026-10917-6 code: https://github.com/dynamicslab/hydrogym
9.
Sutton and Javed: Why AI Models Stop Learning, and How to Start It Again [video](youtube.com)
2 points by abetusk 29d ago|0 comments
10.
by abetusk 1mo 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...
11.
by abetusk 1mo 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?
12.
by abetusk 1mo 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
13.
Openness Made All of This Possible(opensource.org)
1 points by abetusk 1mo ago|0 comments
14.
by abetusk 1mo 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
15.
by abetusk 1mo ago
Could someone summarize what the main idea is for this method?
16.
by abetusk 1mo 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
17.
by abetusk 1mo 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
18.
by abetusk 1mo 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
19.
by abetusk 1mo 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
20.
by abetusk 1mo 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
21.
by abetusk 1mo 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
22.
by abetusk 2mo 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": "
23.
by abetusk 2mo ago
And him receiving a lifetime achievement award here: https://www.youtube.com/watch?v=40v2JFzgEPY&t=4802s
24.
Conformance vs. Comprehension(intertwingly.net)
2 points by abetusk 2mo ago|0 comments
25.
by abetusk 2mo 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
26.
by abetusk 2mo 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
27.
by abetusk 2mo ago
Invitation sent. Let me know if you haven't received it.
28.
by abetusk 2mo ago
Invitation sent. Let me know if you didn't get it.
29.
by abetusk 2mo ago
Invitation sent. Let me know if you didn't receive it.
30.
by abetusk 2mo ago
Invite sent. Let me know if you didn't get it.

More ›