HackerTrans
TopNewTrendsCommentsPastAskShowJobs

mauricioc

no profile record

Submissions

Mathematicians put AI model AlphaProof to the test

nature.com
3 points·by mauricioc·8 mesi fa·1 comments

Olympiad-level formal mathematical reasoning with reinforcement learning

nature.com
3 points·by mauricioc·8 mesi fa·0 comments

comments

mauricioc
·11 mesi fa·discuss
https://www.smbc-comics.com/comic/aaaah
mauricioc
·12 mesi fa·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
·12 mesi fa·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
·anno scorso·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
·anno scorso·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
·anno scorso·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
·anno scorso·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
·2 anni fa·discuss
Previously: https://news.ycombinator.com/item?id=38779480