smadge

39 ms·

391.
by smadge 9y ago
If x = x + 1, then x - x = x + 1 - x, then 0 = x - x + 1, then 0 = 0 + 1, then 0 = 1. This is why ‘=‘ is a terrible symbol for assignment.
392.
by smadge 9y ago
Equality is symmetric. If lhs = rhs then rhs = lhs. x ≠ 5 means exactly that, x is anything that is not 5. So if you are talking about the natural numbers, x could be any element of the set {0, 1, 2, 3, 4, 6, 7, ...}. If x = ±5 then x could
393.
by smadge 9y ago
‘=‘ does not mean assignment in math. Your example y = mx + b could equivalently be stated as y - b = mx What does it mean to assign something to ‘y - b’? Another example, 2 = x means exactly the same thing as x =
394.
by smadge 9y ago
This is essentially what ‘assert’ does in some C like languages except it allows more than just asserting equality. For example: assert(length < 10)
395.
by smadge 9y ago
I would definitely prefer ‘destination <- source’ as it reflects the actual flow of data.
396.
by smadge 9y ago
The Semantic Web is incompatible with the commercial incentives of most technology companies. For instance, it would currently be irrational for Facebook to voluntarily publish their social network using the friend of a friend schema. Their
397.
by smadge 9y ago
Abolish the wage system!
398.
by smadge 9y ago
The article presumed that the rise in the self storage industry is caused by overflow from the American dream and rampant consumerism, when I think it might be more characterized by the death of the American dream. How many people who rent
399.
by smadge 9y ago
Critizing a creative work is not censorship. Using the authority of the state to repress a creative work is censorship. I am free to, and in some sense ethically obligated to criticize the ideological implications of creative work.
400.
by smadge 9y ago
Then you should say that or “cryptocurrency”
401.
by smadge 9y ago
Someone just shared their heartwarming tale about how they met their spouse using craigslist personals and you have the audacity to tell them that their story is illegitimate because "back in my day" people met differently? Have s
402.
by smadge 9y ago
Tonight tens of thousands sex workers are devestated that their safer tool for finding clients is shutting down. Exploitative sex trafficking will continue unabated, but independent working people will be forced into more dangerous situatio
403.
by smadge 9y ago
This looks interesting. I should bookmark it for later.
404.
by smadge 9y ago
Oh no your anti-corporate organization is being visited by left wing people...
405.
by smadge 9y ago
Strange, I have taken a 4 credit, one quarter class in both probability theory and combinatorics in my undergraduate math and computer science education.
406.
by smadge 9y ago
I don’t think quaternions would be taught in a typical first course of abstract algebra. Do you know of a textbook where they are featured prominently?
407.
by smadge 9y ago
First, there are many language who’s default integer type are not fixed bit width. For example Haskell and Python can represent arbitrarily large integers out of the box, limited only by available memory. Second, it is not too difficult to
408.
by smadge 9y ago
The point has nothing to do with functional vs oop, or exceptions versus monads. It has to do with using the features of your language of choices type system to prevent bugs. The thing going on here is putting validation logic in your type
409.
by smadge 9y ago
In this example, the main point is to have the type system do work for you. Some languages have bad type systems and I agree in those languages it is often more work than it's worth to write type safe code. However, in general, I would
410.
by smadge 9y ago
Patterns exist whether or not you are aware of them or give them a name. Most nontrivial programs will end up recreating patterns whether the programmer is conscious of them or not.
411.
by smadge 9y ago
Nobody has a "right" to work anywhere. Go work in a non-unionized place of employment if you don't want to pay union dues.
412.
by smadge 9y ago
x = 0 and x = 1. Therefore by the reflexive and transitive property of equality, 0 = 1.
413.
by smadge 9y ago
I think "declarative" exists on a spectrum. There's no clearly defined line between declarative and nondeclarative that I know of. For instance I would say Haskell < Prolog < SQL are on one end of the declarative spectr
414.
by smadge 9y ago
Learn basic digital circuits. Learn an assembly language. Learn C. Implement a simple interpreted language. You don't have to reinvent every level of the stack and connect it all together(your imagination can fill in the gaps), but thi
415.
by smadge 9y ago
> Injective and surjective are more "international", but those English names are fine as well Thanks! one-to-one and onto is the terminology my American courses are using. > What's missing is that the function sshould m
416.
by smadge 9y ago
Sure, but once a defacto standard schema exists between these services it is trivial to formalize that standard and implement it in the various services. Of course there is still the business problem where no one is willing to expend any re
417.
by smadge 9y ago
> About reservations, I don't see why would you want to move your data. Reservations are tied to companies in a way no standard can solve. And by design. Maybe company A has a history of all your travel reservations with them, and c
418.
by smadge 9y ago
Yes and no. Think of something like a travel reservation. The schema for travel reservations I argue have remained unchanged for centuries from horse drawn carriages, to passenger ships, to trains, to buses, to planes: departure location, d
419.
by smadge 9y ago
There doesn't have to be one database schema, or even one data interchange format. There only has to be an agreed upon semantics that can be mapped on to different data interchange formats. Here is where linked data/semantic web c
420.
by smadge 9y ago
So every finite group is isomorphic to a subgroup of a N dimensional simplex? And then we should build our intuition about these groups via a geometric visualization? These are not rhetorical questions, I'm currently learning abstract

More ›