497 karma · joined August 3, 2010
Things that I find:
- I develop primarily in C, so I have man pages for the stdlib accessible
- I try to rely on header files for documentation of other things, and find them to be far better than things like auto generated documentation or even manually written guides
- For algorithmic style things, I don't like to implement things without understanding, and to me that means being able to have them in my head to a good enough standard that they can be implemented without needing to be online. e.g. one of the sounds in my game is made by a physical model of a string, and while it is not the best synth that has ever been made (in fact, it is pretty bad), I definitely understood it enough to get something plausible without needing references
- There are things that I suspect would be quite difficult to do offline. Maybe they are just the things I am unfamiliar with, but I suspect that some project types are just harder to do offline
- You tend to accumulate useful documents on your Dev machine. Keep these organised as it turns out to be very nice to have on other machines. Language specs, file format specs, protocol specs etc
I know that these days people consider that a byte is 8 bits by definition, but I think that probably isn't a great linguistic move (we already have a word for that - octet)
Unfortunately, I had no such button on the family computer, so many games were unplayable because of our speedy 486SX33
Even the cpython2 interpreter is no longer supported by the original authors, but that doesn't stop someone else from supporting it.
I still don't think it has properly clicked, because the function "f(x) = xN" still needs me to know what N is - despite it being an integer.
For example, let's suppose that you manage to have a conversation with God and you discover that BB(100) has the value of 42, and Chaitlin's number is 1/2.
Does Chaitlin's number suddenly become computable? My intuition is that it remains uncomputable, but maybe my intuition is wrong... I guess by the definition, it is computable, but you can't prove it.
I'm also struggling with the reciprocal of BB(100). This is rational, so maybe it too is computable.
I guess I am struggling with the lack of a constructive proof and what that means - it is like we are saying "there exists an algorithm to do X, but the algorithm can't be known", and maybe that is the core of me being wrong - we can prove that such an algorithm exists, and so 1/BB(100) is computable just like BB(100) is computable 0 but every time I write this down, I still can't see how this logic doesn't also break down with actually non-computable numbers. e.g. "There is a function f(x) which returns an integer, I can't tell you what the integer is, but it is the one that results in showing that Chaitlin's number is computable"
Anyway, if you notice this and do reply, then very much thank you - and apologies if your reply goes unread
If you have the time to help me with my understanding then I would appreciate it.
I'm looking at wikipedia's formal definition, which says that for x to be computable, you need to provide a function from naturals to integers such that if you pick a denominator of a fraction (n), this function can give the numerator such that (f(n)-1)/n and (f(n)+1)/n end up straddling the value which is computable.
So, for an integer N, you make f(x) = xN then (f(n)-1)/n = N-(1/n) and (f(n)+1)/n = N+(1/n).
Therefore, for any integer N, it is computable.
Now, what is stopping me from doing something similar with a real?
If I say: f(x) = floor(xN)
Now (f(n)-1)/n = floor(n*N)-(1/n)
It is at this point where I realise I need to go to bed and sleep. If you see this and have the time to explain to me where it falls apart with reals, then I will be most happy. To be clear - I'm quite sure I am wrong, and this isn't me being passive aggressive about it.
I'm also not sure if asan has an equivalent to --leak-check=full
If you decide you want to have a malloc/free implementation that isn't as garbage as that, then you need some way to ensure malloc() does not ever return a pointer to memory that was already handed out - and I would argue that the book-keeping for this is this metadata being talked about. Even if free() took a "size" parameter, this would still be needed.
I think people would do a disk to disk dub in these situations as a form of "defrag" operation.
You could also get an 80 minute disk, put it in a recorder and get it to read it, then sneakily swap it with a 74 minute disk without letting the recorder's eject switch trip, then force a TOC write, and you would be able to upgrade a 74 minute disk to an 80 minute version.
Having heard positive things about caldigit, I got their USB-C Pro Dock and I get frequent screen blanking with my M1 Mac, and often some of the USB ports fail to work. I don't use the ethernet port, but I think it is a Realtek (so likely the same thing the author is complaining about)
I have spoken to caldigit support and so far they have replaced the dock once, and now have gone pretty quiet.
Firefox + uBlock Origin + Video Background Play Fix
uBlock Origin -> removes the ads (but no sponsorblock) Video Background Play Fix -> lets you turn off the screen or switch tabs with it still playing
I developed a game on a shoestring budget, and hoped that an M1 would be able to be used for capturing video of the game at the resolutions that Apple wants, but it was way too slow to be able to do this, so I had to just leave video out of my store page.
The same app run on your M1 mac with its iOS compatibility works completely fine (as it should, it is a 2d game with about 10 sprites that just get drawn with scaling and no rotation).
Ads in software are just a case of a computer not doing what you have asked it to do. It has always been ok to ignore ads - putting them on computers does not make them special in any way.
This is just my parenting, and I can imagine that other people want their children to value other things - and I might change things as they get older so they can understand how the ads work. Right now, they are not ready for that.
I don't really consider this to be cheating though - it isn't like a person is capable of doing pixel perfect inputs to a touchscreen, nor is a touchscreen going to give pixel perfect finger positioning.