HackerTrans
TopNewTrendsCommentsPastAskShowJobs

zuzatm

no profile record

Submissions

Accelerating Mathematical and Scientific Discovery with Gemini Deep Think

deepmind.google
10 points·by zuzatm·5 mesi fa·0 comments

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

nature.com
2 points·by zuzatm·8 mesi fa·1 comments

Graph Mining Library

github.com
306 points·by zuzatm·3 anni fa·101 comments

A Modern Big-O Without Notation Abuse

1 points·by zuzatm·3 anni fa·0 comments

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

youtube.com
1 points·by zuzatm·4 anni fa·0 comments

comments

zuzatm
·8 mesi fa·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 anni fa·discuss
It's coming! Check again in 12 hours, I believe it should be up then!
zuzatm
·3 anni fa·discuss
That said in the livestream it is, starting today.
zuzatm
·3 anni fa·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 anni fa·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 anni fa·discuss
I'd argue that the results of this paper are not meant to be implemented, hence no code required.
zuzatm
·3 anni fa·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 anni fa·discuss
I did. It a beautiful and very educational website! :)
zuzatm
·3 anni fa·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 anni fa·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...