HackerTrans
TopNewTrendsCommentsPastAskShowJobs

mauricioc

no profile record

Submissions

Mathematicians put AI model AlphaProof to the test

nature.com
3 points·by mauricioc·há 8 meses·1 comments

Olympiad-level formal mathematical reasoning with reinforcement learning

nature.com
3 points·by mauricioc·há 8 meses·0 comments

comments

mauricioc
·há 11 meses·discuss
https://www.smbc-comics.com/comic/aaaah
mauricioc
·há 12 meses·discuss
If you have "3 1 5" and you burst 1, you gain 3x1x5 points and the state becomes "3 5", with the two remaining balloons being adjacent to each other.

The "1x3x1=1" part for the earlier example is a typo indeed, it should be 3.
mauricioc
·há 12 meses·discuss
> I wouldn't say there's a ton to connect.

What's the point of your rude post? OP already knows this. In fact, they learned it from Tom Lehrer.
mauricioc
·ano passado·discuss
Parent's point is that sometimes (but not always) the store is perfectly fine selling you a car for $1 less than what the "price tag" of Delta(G)+1 dollars asks for, so "need" is a bit inaccurate.
mauricioc
·ano passado·discuss
For the edge-coloring problem, the optimal number of colors needed to properly color the edges of G is always either Delta(G) (the maximum degree of G) or Delta(G) + 1, but deciding which one is the true optimum is an NP-complete problem.

Nevertheless, you can always properly edge-color a graph with Delta(G) + 1 colors. Finding such a coloring could in principle be slow, though: the original proof that Delta(G) + 1 colors is always doable amounted to a O(e(G) * v(G)) algorithm, where e(G) and v(G) denote the number of edges and vertices of G, respectively. This is polynomial, but nowhere near linear. What the paper in question shows is how, given any graph G, to find an edge coloring using Delta(G) + 1 colors in O(e(G) * log(Delta(G))) time, which is linear time if the maximum degree is a constant.
mauricioc
·ano passado·discuss
As you point out, 'icônes' is French for 'icons'; the name is probably related to the fact that the site is built using Vite. Was NES capitalized in the title earlier?
mauricioc
·ano passado·discuss
https://lore.kernel.org/rust-for-linux/CAHk-=wi=ZmP2=TmHsFSU...

Edit: For further context for Linus's reply, there's http://web.archive.org/web/20250206022420/https://social.tre...
mauricioc
·há 2 anos·discuss
Previously: https://news.ycombinator.com/item?id=38779480