zuzatm

3 ms·

1.
Accelerating Mathematical and Scientific Discovery with Gemini Deep Think(deepmind.google)
10 points by zuzatm 8mo ago|0 comments
2.
by zuzatm 10mo ago
One notable difference from what one would expect from a LLM-RL paper is the use of test-time RL. I guess when you have a very strong verification, you can specialize your network to solve only your problem. Curious if this can be also be a
3.
Alphaproof paper (IMO 2024 Silver) is finally published in Nature [pdf](nature.com)
2 points by zuzatm 10mo ago|1 comments
4.
by zuzatm 3y ago
It's coming! Check again in 12 hours, I believe it should be up then!
5.
Graph Mining Library(github.com)
306 points by zuzatm 3y ago|101 comments
6.
by zuzatm 3y ago
That said in the livestream it is, starting today.
7.
by zuzatm 3y ago
There is some extremely nice 2018 research paper on new routing paradigms that seems to be blowing out older stuff, and that is only possible because MPLS exists. The NSDI paper is linked below. https://www.usenix.org/system
8.
by zuzatm 4y ago
I was an intern in FB in 2010 and I distinctly remember getting this email. My full-time buddies, some of which included very senior engineers who often work with Mark, mentioned the got the shivers when they saw the title and thought they
9.
A Modern Big-O Without Notation Abuse
1 points by zuzatm 4y ago|0 comments
10.
by zuzatm 4y ago
I'd argue that the results of this paper are not meant to be implemented, hence no code required.
11.
by zuzatm 4y ago
Minor comment: the improvement over the state-of-the-art is in the second order term of the exponent. Their formula express det. with B_n = exp( n ln n - n lnln n - O(n)) terms. The old formula had exp(n ln n - O(n)) terms. It's a nice
12.
by zuzatm 4y ago
I did. It a beautiful and very educational website! :)
13.
by zuzatm 4y ago
I don't know why, but I find watch mechanics super fascinating. Few favorites for people with spare time (and lots of money if one wants to buy these): Tourbillon: a watch complication where the main mechanism is mounted on a rotating
14.
by zuzatm 4y ago
I think the far most problematic thing is that the answers are often plain wrong but well written. Eg (shameless plug) https://twitter.com/zuza777/status/1599370082919936000?t=oB9...
15.
A fun 4-minute talk on the latest developments in crypto(youtube.com)
1 points by zuzatm 4y ago|0 comments
16.
Leg-lengthening: cosmetic height-increasing surgeries (2020)(bbc.com)
2 points by zuzatm 5y ago|0 comments
17.
Purdue professor urges for aggressive social distancing in the US(docs.google.com)
3 points by zuzatm 7y ago|0 comments
18.
Multiplicative weights or how to approximate maxflow with O(log n) Dijkstras(zuza.github.io)
2 points by zuzatm 7y ago|0 comments