1,755 karma · joined October 14, 2008
(Edit: Here it is! https://pwmarcz.pl/kaboom/ And the write-up: https://pwmarcz.pl/blog/kaboom/ )
This is similar in spirit to my take on the game: https://magnushoff.com/articles/minesweeper/
Unfortunately, not being familiar with SAT solvers, my implementation can grind to a halt in some configurations :)
The third buffer comes into play if you want to start working on the next frame _before_ the switch has occurred. So you start drawing in C, and if the right time should hit, the display system can still flip A and B. In this case, triple buffering gave you a head-start with drawing the frame in C.
Going further, if you complete the frame in C still before the A/B switch has happened, you queue up C as the next frame, instead of B. Then, you can start working on the next frame again in B. With this scheme, there is no sense in having more buffers than three.
Running code from the linked notebook (https://github.com/AdamScherlis/notebooks-python/blob/main/m...), I can see that a 32 bit representation of the number 3 decodes to the following float: 2.999999983422908
(This is from running `decode(encode(3, 32))`)
1. https://pharr.org/matt/blog/2018/04/18/ispc-origins
2. https://pharr.org/matt/blog/2018/04/19/ispc-volta-is-born
3. https://pharr.org/matt/blog/2018/04/20/ispc-volta-going-all-...
4. https://pharr.org/matt/blog/2018/04/21/ispc-volta-c-and-spmd
5. https://pharr.org/matt/blog/2018/04/22/ispc-volta-first-resu...
6. https://pharr.org/matt/blog/2018/04/23/ispc-volta-users-and-...
7. https://pharr.org/matt/blog/2018/04/25/ispc-volta-avx
8. https://pharr.org/matt/blog/2018/04/26/ispc-volta-more-on-pe...
9. https://pharr.org/matt/blog/2018/04/27/ispc-volta-open-sourc...
10. https://pharr.org/matt/blog/2018/04/28/ispc-talks-and-depart...
11. https://pharr.org/matt/blog/2018/04/29/ispc-retrospective
(More details here: https://support.apple.com/en-us/102149 )
The title makes it out to be something fundamental in Linux, but this is just one driver becoming more complete.
Many RSS readers are stand-alone GUI applications. I would have appreciated an up-front notice that this is a hosted solution. (Which is what I am looking for. I'd like the same view of what's read and unread on my different devices, thank you)
Different RSS readers use different storage backends. I dug through your code, and it seems to use SQLite, which is exactly what I hoped for. It's a huge difference in deployment and system administration headaches whether it uses an embedded or a hosted database.
Looks interesting! I'd also appreciate a prebuilt binary for Linux, but I understand that it's still early days. Paying attention :)
I am a huge fan of React for the maintainability of the resulting code, and this was my attempt to regain some of that without the dependency.
To encode any string (for example a URL) containing & in HTML, you must HTML-encode that &. Using & in the value of the href attribute for an a-tag must result in a URL containing just & in place of the entire entity. This is a property of HTML that has nothing to do with URLs or URL encodings.
This is in contrast to the local rules I first describe that consider only a very limited part of the board, and there is a pre-determined hard limit for how much would ever need to be considered for these rules.
Right off the bat, I cannot agree that abc must contain exactly 2 mines. From what we can see, abc contains _at most_ 2 mines. There may or may not be mines in what you have left out, and we cannot know without considering what's there.
I haven't written a formal proof for that statement, but I have been unable to solve it to my own satisfaction by reasoning about a reduced view of the board.
That would at least make this game more strict and perhaps even more difficult.
It's in a similar vein as the variant I developed, which makes you declare that you are in a situation that requires a guess. I don't use an SAT solver, and I prepopulate the board.
https://magnushoff.com/articles/minesweeper/
In comparison to the Simon Tatham version mentioned at the end of the article, my game allows all game configurations while Tatham's version guarantees solvability by restricting the possible configurations.
I should clarify that I am talking about the situation when running Firefox with GDK_BACKEND=wayland.
UPDATE: Ooh! Firefox 67 in my package manager! I am happy to report that I am now able to use Firefox with WebRender on Wayland directly. One glitch so far: It leaves a one-pixel row transparent at the bottom of the screen. Weird :)
Fortunately it's easy to opt in to, and in my experience works well on an oldish Intel chip.
Unfortunately, it fails hard with Wayland, putting no pixels on the screen. (In my experience) But I'm using it happily through XWayland.
>Sometimes, when the ProtonMail app is updated to a new version and that update is bigger and more incremental, that could happen.
That's unsatisfactory. However it does not address the complaint I had at the time that every once in a while a notification appears that tells me I have been logged out, with no explanation. I don't know if that still happens, as I cannot be bothered to keep logging in on my phone. I'll give it a new try now.
Retrieving that quote for you meant I had to browse my Protonmail archive. I could log in via web, but for some reason your TOTP works differently from everywhere else: I have to enter it every time, and there is no way for me to "remember this browser". I could use the Bridge, but for some reason the Bridge, too, logs me out whenever it feels like it. Again, I have to enter both factors with no option to trust permanently.
Do you see how these paper cuts could demotivate me?
Do you have any experience with using the IMAP Bridge? It is a daemon you run locally that translates between Protonmail's internal protocol and IMAP, to let you use your email client of choice. I'm using it and it seems to be working OK in my experience, but I don't use my Protonmail account heavily.