Viewing profile — INTPnerd

It is true that the underlying technology used to write the code to begin with should be less forgiving. If you use a strictly typed, compiled language instead of PHP, you would ha…

Even if you can reason about the code enough to come to a conclusion that seems like it must be true, that doesn't prove your conclusion is correct. When you figure something out a…

Thanks! These definitely sound like what I should explore next in my journey.

Which languages would you say are really good for defining your own types? Would they be a good fit for the example I provided where a function needs to accept integers larger than…

This is a good point. Right now Kotlin is my favorite language. By default classes and methods are closed for inheritance, and therefore for polymorphism. I like the way this is th…

Which languages would you say are really good for defining your own types? Would they be a good fit for the example I provided where a function needs to accept integers larger than…

In Kotlin classes and methods are closed by default, making avoiding inheritance and polymorphism the default. It also makes you mark each variable as mutable or immutable, by decl…

The main benefit of classes is as a way to define custom types. Otherwise you are stuck with the types built into the language, which are not designed to help ensure correct progra…

What a stubborn Emacs user, all they had to do was switch to Vim..

That's brilliant, using heart attacks to treat strokes

I'm not saying you should not rename it instead. I'm just suggesting that there may be times when placing a helpful comment is easier than renaming it. So you might start by adding…

I mostly agree with you. I think the key is to always keep improving the code, don't expect or try to achieve perfection, and keep refining your concept of what makes for "improved…

Yeah, I would have recommended Kotlin. Runs on the JVM, so benefits from the matureness of Java, but is a more modern, and better designed language. A reason to choose Rust over th…

I prefer to just do screen sharing with an audio conversation going to maximize the learning and flexibility. Since I also like Sococo, I prefer to just stick to that, since that i…

I'm working on a new flavor of the logic paradigm https://github.com/still-dreaming-1/PurposefulPhp

It has MRU tab switch ordering!!! Oh wait, Firefox already had that, I just didn't care because it was.. Firefox. Now that it is faster, I care. If either of those is missing I don…

I was actually kind of excited until I started reading the sample code and that it deletes code that has bugs. Of course this coming from the guy who went on a reddit rant about ho…

I recently had an interesting conversation about the use of the HTML 4 transitional doctype, and was surprised to find out that it was no longer valid. I thought this website was t…

"As an Emacs user"... Switch to Vim. Problem solved.

The intro video is very...interesting. They have this fast paced, upbeat music while they very slowly do things on the phone, like make phone calls. It felt like they thought we sh…

I like that it's open source now, but until they remove the need to mark certain references as weak or unknown, it still just feels like Apple doesn't get modern languages. Until t…