fjfaase

9 ms·

91.
by fjfaase 10mo ago
I fear that some women who once slept in my bed, will be rather sad now. On April 15, 1984, Chris Rea gave a concert at the University of Twente. Some people in my dorm were involved with the organization of concerts. After the concert a gi
92.
by fjfaase 10mo ago
I see this coded in C++ and I wonder if there is also an C++ API available? Are you considering other bindings, besides Python? What about C#?
93.
by fjfaase 10mo ago
In the Netherlands there are many cities where an other, road like name is used for all streets in a quarter. Where I live the word 'hoek', meaning corner, is used. Others are 'brink', 'landen', 'velden&#x
94.
by fjfaase 10mo ago
I doubt they will ever release the files that contain(ed) the name or images of Donald Trump as long as he is in office. They will find excuses after excuses not to release them and the courts will be busy with those that are mentioned in t
95.
by fjfaase 10mo ago
I twice worked in a teams where we did not use branches (or PRs). Both were working like that when I joined them. The first was because we were svn (and maybe even csv before that, but I cannot remember) and that did not support branching e
96.
by fjfaase 10mo ago
One more reason to work without branches and PRs. The future for CI/CD is bright ;-).
97.
Show HN: C-compiler to compile TCC for live-bootstrap(github.com)
67 points by fjfaase 10mo ago|23 comments
98.
by fjfaase 10mo ago
Yes, the primary reason being the bootstrapping problem. But because Dafny can already can generate C# code, that should not be a major problem. It also allows for a gradual conversion where more and more parts are generated from Dagny sour
99.
by fjfaase 10mo ago
The difference in the graphs of men an women could be explained if you assume that women with a lower percentile score get more children and/or are more affected by it.
100.
by fjfaase 10mo ago
If I had late stage cancer and a few months to live, I would be happy to receive a shot because the choice between fully cured or possibly dying a bit sooner is not that bad if you your end is near. I guess many people would.
101.
by fjfaase 10mo ago
The USA is quickly changing into a full fascist, autocratic country. I wonder if it still can be stopped. To me it seems as if people outside the USA are more are aware of what is going on than people inside the USA. It also understand that
102.
by fjfaase 10mo ago
I get the impression that these font are primarely designed to be used for large font sizes and are less suitable for normal texts with normal sized fonts.
103.
by fjfaase 10mo ago
Looks interesting. I saw some C# files, from which it seems it is implemented in C#. Is there going to be an implementation in Dafny?
104.
by fjfaase 10mo ago
Interesting. A bit similar to bootstrapping.
105.
by fjfaase 10mo ago
I see a lot of maintainers specialized in topology and category theory, but non in graph theory. I wonder if this is also reflected in the areas that are covered by the library.
106.
by fjfaase 10mo ago
Maybe I should have written: "Many have tried to find algorithms in P to solve NP problems and failed to find them." Even now, many people are working on algorithms to find solutions for NP problems. I understand that it has been
107.
by fjfaase 10mo ago
It is fairly new, but very relevant for daily life, like many others are not. Thousands of people have tried to write smart algorithms to solve NP problems and many have thought they found an algorithm in P only to be disproven later. Wheth
108.
by fjfaase 10mo ago
The fact that thousands of people have failed to prove that P=NP indication that it is probably not true. It has even been proven that it cannot be proven by some methods.
109.
by fjfaase 10mo ago
The toolbox was sold for 50,800 and the desk for 330,200. There are some other interesting items.
110.
by fjfaase 10mo ago
That could possibly result in 'empty' soccer stadiums next year, because I fear that many foreign fans will be baned due to some 'critical' comment in social media about USA or Israel. The number of foreign tourists will
111.
by fjfaase 10mo ago
If "islamisation" is a problem, why then is Saudi-Arabia a close ally of the USA? I think it is more that Trump cannot collect bounties in the form of donations in his crypto currency in exchange for favors. Maybe it is also becau
112.
by fjfaase 10mo ago
Nice!
113.
by fjfaase 10mo ago
I for thirty years. But usually only very short blogs about personally relevant events, such as buying books. I am not really interested whether it is read or not.
114.
by fjfaase 10mo ago
This is very true. I once had to implement a form with a table that looked a bit similar to three already existing forms that were implemented with some shared classes. I studied it and concluded that it was just too different to make use o
115.
by fjfaase 10mo ago
For the presentation, which includes links to the recording, see: https://iwriteiam.nl/WHY2025_talk.html The 'show notes' button reveal additional notes and links to sources and blog posts I wrote in the past year
116.
by fjfaase 10mo ago
After reviewing stage0, I have concluded that it can be simplified and made easier to review. I am working on a project to proof this. On WHY2025 I gave a presentation about this.
117.
by fjfaase 10mo ago
This based on a highly simplified idea of how focus works. My experience is that motivation is a far more important factor for me. I struggle a lot with procrastination when my internal motivation is low. Meetings do drain me, but short int
118.
by fjfaase 11mo ago
What do you mean with bad grammars? Do you mean grammars that are hard to parse (require a lot of backtracking) or do you mean that it leads people to creating bad languages? My experience is that if a back-tracking parser list all the poss
119.
by fjfaase 11mo ago
I agree, that if you want to write a production grade parser, this is probably the best way to go. I also agree that parsing is not a solved problem for all cases. But that is the case with many more problems. However, for many cases it is
120.
by fjfaase 11mo ago
I mend to say: No, even if a grammar is not ambiguous ...

More ›