fjfaase

13 ms·

181.
by fjfaase 1y ago
His coding blog https://thecodist.com/ is also worth reading.
182.
by fjfaase 1y ago
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
183.
by fjfaase 1y ago
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
184.
by fjfaase 1y ago
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.
185.
by fjfaase 1y ago
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 th
186.
by fjfaase 1y ago
There are already radar devices, such as mmWave, that can do this. Instruction videos can be found on youtube.
187.
by fjfaase 1y ago
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.
188.
by fjfaase 1y ago
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
189.
by fjfaase 1y ago
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 p
190.
by fjfaase 1y ago
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
191.
by fjfaase 1y ago
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
192.
by fjfaase 1y ago
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.
193.
by fjfaase 1y ago
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. See section '
194.
by fjfaase 1y ago
You are right. I verified this myself. I do not know where I got this wrong. Maybe this was different in earlier implementations.
195.
by fjfaase 1y ago
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 s
196.
by fjfaase 1y ago
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.
197.
WHY2025: Reviewing Live-Bootstrap [video](youtube.com)
1 points by fjfaase 1y ago|0 comments
198.
by fjfaase 1y ago
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.
199.
by fjfaase 1y ago
Often it is the case that safety concerns are overruled by less technical savvy managers for some lesser critical reason.
200.
by fjfaase 1y ago
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.
201.
by fjfaase 1y ago
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 Tanmats
202.
Fire hazard of WHY2025 badge due to 18650 Li-Ion cells(wiki.why2025.org)
107 points by fjfaase 1y ago|106 comments
203.
by fjfaase 1y ago
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 compl
204.
by fjfaase 1y ago
Yes, but the website does have an interactive map with all the dikes.
205.
by fjfaase 1y ago
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
206.
by fjfaase 1y ago
This is a link to just one section of a larger book. The next section compare CBOR with a number of other binary storage format, such as protobuf.
207.
by fjfaase 1y ago
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
208.
by fjfaase 1y ago
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
209.
by fjfaase 1y ago
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
210.
by fjfaase 1y ago
How far are you from self hosting it? Assuming that that is a goal? (I am currently working on a small, probably incomplete, C compiler.) Edit: spelling

More ›