Interesting game dynamics. A bit like clickomania. I first though that this was a puzzle game with the purpose of finding a solution that removes all colored stones, but with the time limit of 2 minutes, it become a click-as-fast-as-possible game.
Finally, there is a response. In the past days several drones flew through Polish airspace on their way to Ukrane.
Putin is constantly escalating in this war. I read that the missile that hit the government building a few days ago, did not explode. There was but a luke warm response to that in the west. It won't surprise me, if another attempt will follow.
Let me add something to this. If you buy a painting (or some other work of art) because it is captivating you, and you put it into your house, to enjoy, than that is great. I myself have bought some works of art, that are not be considered as 'Art', but that captivated me. For me that is the only reason to buy some work of art, if it captivates me, not if is a good investment.
I had a quick look at these instagram links and except for the last two, they do not feel like 'Art', just like most novels are not considered literature. In the past years, I have visited a lot of art exhibitions (at museums and art galleries) and graduation shows of art schools here in the Netherlands. See: https://iwriteiam.nl/Exhibitions.html Even at those, I feel that a lot is crap, too conceptual. But there always some artists that stick out for some (often unexplained) reason. They have some new idea or make you view the world in a different way. They are not just repeating some gimmick or showing (exceptional) craftsmanship. Craftsmanship is not equal to art.
Is he about to start a war? Attack Iran again? Invade Venezuela? Invade Greenland? If he does so, he will probably not call it a war, but a military operation.
It is about the problem of untying knots. For many complex knots it is not know what is the minimal number of steps that are needed to unty it. There was this idea that if a complex knot consisted of two knots for which it is known, that the number would be equal to the sum of the number of steps of the two knots. The article shows that that is not true by showing an example of a knot where the number is one less. This shows that there is no easy route for finding the number for ever larger knots.
Some of the definitions remind me of the formalisation I wrote for the game Havannah by Christian Freeling. See https://iwriteiam.nl/Havannah.html Maybe I should try to write it in Lean as well.
Countries are a bit like people, they only believe something (like that fire is hot) after they have experienced it first hand. The USA has never experienced fascism first hand, so, in general they ignored every one warning them about it. I fear it is already too late to stop it from unfolding. Trump might declare the midterms invalid and/or declare marshall law.
According to the 'Acts of the Apostles', Paul (then still called Saul) was actively prosecuting the followers of Jesus, which by many were considered to be a Jewish sect, like there were more of such sects.
It was on one of this prosecution trips that he experienced a medical condition that lead to temporary blindness, which he interpreted as a divine intervention, resulting him to join the sect.
An argument against the position that the "concept of Jesus" is woven throughout the Old Testament is that the Jews did not accept him as such. And yes, I do know about all the 'christian' reasons why that did not happen, but it is rather obvious that there is no need to rewrite the Torah and books of prophets like Daniel and Isaiah.
The easiest way to solve a sudoku is to map it to an exact cover problem and then apply an exact cover solver, which for sudokus that have one solution is equal to finding colums that are a strict superset of another column and removing the rows that have a 1 in the superset and a 0 in the other column. You need far less code for describing this than the code presented in the article.
As an European, I am wondering how Americans are feeling about the USA government more and more siding with authoritarian countries (some of which are performing war crimes on a large scale) instead with democratic countries.
I got this wrong from Microsoft Visual Studio (before 2015 and Windows 10) where the function snprintf did not add the null character. The function _snprintf still has the behavior that it does not add the null character.
Nice work. I always have understood that snprintf does not write a null character when the produced string is longer than the given size. The snprintf function also can be called with a null pointer to calculate the length of the produced string.
It is this kind of stories that are keeping many foreigners from visiting the USA. As long as this administration is in power, I will not even consider to travel to the USA and not work for companies that might require traveling to the USA.
This is right. But this time that was not the primary reason. From earlier experiences, Badge.Team, started well ahead of time and were on schedule, but things went wrong after some drama with the WHY2025 organization.
Sorry, but I was not aware that the text with the submit (which I wanted to keep short) appears as a comment, otherwise, I would have given more details or left it out.
An earlier design by Badge.Team [1] did not use these cells and Badge.Team (no longer associated with WHY2025) strongly advised against the use of these cells.
The earlier design has been matured into Konsool [2] and is available as Tanmatsu [3].
Nice that they can do the processing in the GHz range, but from some pictures in the paper, it seems the system has only 60 'cells', which is rather low compared to the number of cells found in brains of animals that display complex behavior. To me it seems this is an optimization in the wrong dimension.
I understand that the Mizar community is rather closed and primarily focused on extending the Mizar Mathematical Library. The Mizar proof checker is closed source.
Lean is gaining traction, which can be seen from the fact that at the moment 81 [1] of the 100 theorems of the 'Formalizing 100 Theorems' [1] have been proven in Lean, while Mizar stands at 71 [3]
Combine this with the recent executive order to institutionize people with mental issues. Do not forget that the first people to be locked up in concentration camps in nazi Germany included communists, socialists, mentaly ill, homeless, and criminals.
Yes, it is basically this. I feel that writing a recursive descent parser with recursive functions is a bit easier than using an LR parser generator or a back-tracking PEG parser from my experience. It also does not requirer any third party tools or libraries, which I see as advantage.
Hard to tell. It depends on your experience. I would just search for jobs and try to apply. I do not know where you are from. If you are from outside the EU, a potential employer has to apply for a working visa. In two weeks there will be a hacker camp in the Netherlands where there will be people from the security industry attending. The tickets are sold out, but there are still some people offering tickets because they cannot attend: https://wiki.why2025.org/TicketSwap
I am not into cybersecurity, but maybe you can find some people through the program https://why2025.org/programme . Many talks will be streamed online and/or be available online afterwards. You could also look at talks given at previous events.