mauricioc

6 ms·

1.
Mathematicians put AI model AlphaProof to the test(nature.com)
3 points by mauricioc 11mo ago|1 comments
2.
Olympiad-level formal mathematical reasoning with reinforcement learning(nature.com)
3 points by mauricioc 11mo ago|0 comments
3.
by mauricioc 1y ago
https://www.smbc-comics.com/comic/aaaah
4.
by mauricioc 1y ago
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,
5.
by mauricioc 1y ago
> 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.
6.
by mauricioc 1y ago
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.
7.
by mauricioc 1y ago
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. N
8.
by mauricioc 1y ago
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?
9.
by mauricioc 2y ago
> As it happens, I'm the kind of masochist who uses Sublime Text without any plugins for most of my programming, so I find value in letting people stick to their familiar workflow, even if some might see that workflow as somewhere b
10.
by mauricioc 2y ago
> Of course, the classic response is "get a better MUA you luser" Git is distributed and allows you to work efficiently with poor connectivity, having full history available at any time, which is a big accessibility point for p
11.
by mauricioc 2y ago
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://socia
12.
by mauricioc 2y ago
Volume 4, Fascicle 7 was officially released this week! The latest draft ("prefascicle", dated December 2024) is available at https://www-cs-faculty.stanford.edu/~knuth/fasc7a.ps.gz . As Knuth says, the conten
13.
The Art of Computer Programming, Volume 4, Fascicle 7: Constraint Satisfaction(informit.com)
4 points by mauricioc 2y ago|1 comments
14.
by mauricioc 2y ago
The real scandal here is the pressure to remove a maintainer based on vague "code of conduct violation grounds" when the supposed "violation" is just expressing an technical preference on code he maintains. Shamelessly w
15.
by mauricioc 2y ago
The function defined in the video is "Given a pair of points A and B on the curve, output (x, y, z), where (x, y) is the midpoint and z is the length of the segment connecting A and B", and the pictures are of its image, not its g
16.
by mauricioc 2y ago
Now I really want to go to a "Sexuality, Gender and Hacking the RP2350" talk. Maybe next year?
17.
by mauricioc 2y ago
Valid point, but I will also amend your nitpick: Schwarz is also a name of a lot of people :) Both refer to hair colour, I think. "Schwartz" was a valid spelling for the colour many centuries ago (see, e.g., item 15 in [1]), which
18.
by mauricioc 2y ago
The WHO [0] reports 60 thousand Covid deaths this year so far, and around 250 thousand deaths in 2023. [0] https://data.who.int/dashboards/covid19/deaths
19.
The ∞-Cosmos Project(leanprover-community.github.io)
2 points by mauricioc 2y ago|0 comments
20.
by mauricioc 2y ago
Previously: https://news.ycombinator.com/item?id=38779480
21.
by mauricioc 2y ago
The grandparent thought this was implausible, researched it as an outsider (with a slight bias towards thinking the claim is false, which is not a problem per se) and still didn't find any refutation. While I applaud the impetus behind
22.
Lean into Verified Software Development(aws.amazon.com)
3 points by mauricioc 2y ago|0 comments
23.
Lean 4.7.0(lean-lang.org)
1 points by mauricioc 3y ago|0 comments
24.
by mauricioc 3y ago
Raymond Chen has been writing his blog for more than 20 years now, almost 7000 posts. It is a treasure trove of information and first-hand account. I can see an argument for peer-reviewing every post, but I think it would have limited (a lo
25.
by mauricioc 3y ago
The whole page is tongue-in-cheek. In the '90s, <blink> was only supported by Netscape while <marquee> was only supported by Internet Explorer, so combining the two didn't make a lot of sense. Mozilla only added <ma
26.
by mauricioc 3y ago
This makes it seem like they invented XHR and did nothing with it, but Outlook Web Access already used XHR for dynamic/asynchronous update of an email web interface context four years before Gmail. If your claim is that Google populari
27.
by mauricioc 3y ago
Microsoft invented Ajax/XMLHttpRequest for Outlook Web Access.
28.
by mauricioc 3y ago
Duolingo courses are no longer created by volunteers. They stopped the volunteer program in 2021 [1], right around the time they increased monetization efforts. They offered part-time jobs and a $4 million reward fund to previous volunteers
29.
by mauricioc 3y ago
An important part of reading mathematics is mentally filling in the "correct" interpretation for terms. The optimal amount of detail typically depends on the target audience. Part of that is because making notation fully specified
30.
by mauricioc 3y ago
An argument on a public forum is not won by whoever shouts the loudest or has the most "courage". If expressed clearly enough, it suffices (and is much wiser) to explain your ideas once and let the readers decide.

More ›