a-nikolaev

11 ms·

61.
by a-nikolaev 6y ago
I'm not really talking about multiple dispatch, but more like a module that store two or more types, like: module Data = struct type pair = int * float type numbers = int list let make_pair () = (0, 0.0)
62.
by a-nikolaev 6y ago
As another answer pointed out, a class in OOP is supposed to implement only one type and operations on it. It works in many cases, but sometimes it does not fit naturally the problem at hand. Modules relax this single-type requirement, and
63.
by a-nikolaev 6y ago
One thing is that OCaml modules are first class objects, so can be constructed at runtime and passed around as variables. But this Zig example, I think, will cover the most common case of functors for creating generics. (I'm also not s
64.
by a-nikolaev 6y ago
Maybe.
65.
by a-nikolaev 6y ago
Guido is not a Physics Nobel Laureate. Going with the Physics analogy, Python is more like an overgrown masters level project, not a Nobel prize level by far. He did a good job at growing the Python community, and this is a great achievemen
66.
by a-nikolaev 6y ago
What if randomness here also might be a mechanism for possible divine intervention?
67.
by a-nikolaev 6y ago
The hard part is giving the student meaningful feedback. Especially to those who don't understand something important. It takes time to understand what they do and don't understand, and explain it at their level.
68.
by a-nikolaev 6y ago
Hey, Rust is the future of bitcoin and vice versa.
69.
by a-nikolaev 6y ago
"Deep" is such a good prefix for all sorts of Deep Learning, Deep Math, Deep Thinking, Deep Engineering etc. Wonder if the networks were originally called Thick neural networks, would the ML/AI revolution as we know it still
70.
by a-nikolaev 6y ago
Nice story. It can go either way, I think, depending on the courses you teach, how you re-structure them for teaching remotely, and how the college helps you with it. This is a good example of changing things for the better! On the other ha
71.
by a-nikolaev 6y ago
To put it in the context, it's not actually a "strong type system" that allows you to model data precisely, but algebraic data types. (And type constraints, such as non-empty collections, can be created using generalized alge
72.
by a-nikolaev 6y ago
This is great, but I think, learning Vulkan and writing a video game can be hard within the same project. Don't burn out. If you want a suggestion, I'd keep learning Vulkan on a side, but chose a higher-level graphics library for
73.
by a-nikolaev 6y ago
What about safety if your hand or hair gets in between the moving parts? Also cleaning those separate moving parts could be difficult. It will either get all dusty and dirty, or you will have to put ugly covers on top of it, I guess..
74.
by a-nikolaev 6y ago
Not at all, I think, these two traits are orthogonal. I share this mindset without making much money at all (I'm a graduate student and an adjunct lecturer at a college). If you don't focus on your personal gain, but instead do so
75.
by a-nikolaev 6y ago
If I'm not mistaken, if all code authors agree on the license change, then, the new release can be made fully GPL. While the old copy will be still available as MIT. A malicious actor can pretend that they merged MIT parts with new GPL
76.
by a-nikolaev 6y ago
If you tried to take care of a baby or a toddler, you would see that it's like a second job in terms of how much time and effort it requires from you every day. Now imagine yourself doing all that x2 amount of work, would you ask for h
77.
by a-nikolaev 6y ago
I think, this is why you need explicitly ASCII and explicitly Unicode lower-/upper-/capitalized-transformations. So you don't assume these things to work automagically. Some times you need one type, the other times you need t
78.
by a-nikolaev 6y ago
Any proper form of crowd funding Mozilla would be a nice thing to do, since they are doing a lot of work for our common good.
79.
by a-nikolaev 6y ago
Maybe, donating to Mozilla would be nice, instead of giving to Wikipedia or other projects that don't need more money.
80.
by a-nikolaev 6y ago
Yeah, makes sense, but this is still a pretty good approach. Inserting invisible or unusual Unicode symbols would prompt the scraper to carefully cleanup the read files (maybe even fixing these apostrophes as a result). Unusual whitespace i
81.
by a-nikolaev 6y ago
Yeah, I agree with you, I think.
82.
by a-nikolaev 6y ago
I think, if anything, deleting the blog only raised the stakes. It definitely increased the publicity of the blog and the interest of the general audience to read his writing, which is still readily available through Internet Archive, and N
83.
by a-nikolaev 6y ago
Did it convince you? It certainly did not convince me.
84.
by a-nikolaev 6y ago
But can you explain the rationale for removing the blog though? I don't see his actions to be well thought-out here, unless it was a publicity stunt to infuriate his followers with NYT.
85.
by a-nikolaev 6y ago
You can hardly get a rational discussion, since I think, the positions are rather polarized on the issue.
86.
by a-nikolaev 6y ago
I agree that unification is great, but can you suggest a concrete non-hypothetical example (or better several examples) where this functionality would be useful in the context of web programming?
87.
by a-nikolaev 6y ago
Hi, yes, I really like Prolog for providing the programming paradigm that is not normally available in a more conventional programming language: I can specify the facts and relations between them, and Prolog will search for a solution for m
88.
by a-nikolaev 6y ago
Thank you, this is the most compelling argument for meditation I've ever seen. Don't want to sound too ignorant (although I might be), but more often than not I encounter much simpler interpretations of meditation and its goals th
89.
by a-nikolaev 6y ago
This is a great story. On my part, I enjoyed playing soccer with my friends when I was a kid: We didn't have to perform or run fast, but we just did our best, and it was fun and fulfilling. On the other hand, our PE classes were often
90.
by a-nikolaev 6y ago
If a mindful person can wait, then they don't need a fence to begin with.

More ›