HackerTrans
TopNewTrendsCommentsPastAskShowJobs

zuzatm

no profile record

Submissions

Accelerating Mathematical and Scientific Discovery with Gemini Deep Think

deepmind.google
10 points·by zuzatm·5 bulan yang lalu·0 comments

Alphaproof paper (IMO 2024 Silver) is finally published in Nature [pdf]

nature.com
2 points·by zuzatm·8 bulan yang lalu·1 comments

Graph Mining Library

github.com
306 points·by zuzatm·3 tahun yang lalu·101 comments

A Modern Big-O Without Notation Abuse

1 points·by zuzatm·3 tahun yang lalu·0 comments

A fun 4-minute talk on the latest developments in crypto

youtube.com
1 points·by zuzatm·4 tahun yang lalu·0 comments

comments

zuzatm
·8 bulan yang lalu·discuss
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 applied in natural language reasoning.
zuzatm
·3 tahun yang lalu·discuss
It's coming! Check again in 12 hours, I believe it should be up then!
zuzatm
·3 tahun yang lalu·discuss
That said in the livestream it is, starting today.
zuzatm
·3 tahun yang lalu·discuss
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/files/conference/nsdi18/nsdi18...

I guess it makes sense why the article says how it is central in Google's / Microsoft's network architecture to achieve performance gains.
zuzatm
·3 tahun yang lalu·discuss
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 just got booted :)
zuzatm
·3 tahun yang lalu·discuss
I'd argue that the results of this paper are not meant to be implemented, hence no code required.
zuzatm
·3 tahun yang lalu·discuss
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 bound, but won't change much for non-theoretical results.
zuzatm
·3 tahun yang lalu·discuss
I did. It a beautiful and very educational website! :)
zuzatm
·3 tahun yang lalu·discuss
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 wheel so that gravity doesn't affect the watch in a single direction.

Spring drive: A very recent mechanism that produces a perfect sweeping motion of the seconds hand. It combines both mechanical power (no battery) with a quartz crystal in a super cool way.

Minute repeater: a mechanical way for a blind person to tell the time.
zuzatm
·4 tahun yang lalu·discuss
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...