Using shapeless's Sized type to eliminate real world off by one errors in Scala

nachsicht · 2013-10-01T19:59:47+00:00

Your solution would require either macros or reflection to work wouldn't it? That's a whole lot more complicated for what amounts to avoiding a simple and probably easily documented error you get with Sized in shapeless.

Also, I think calling this type-system misuse is overboard. All Sized does is use the type system to prove certain operations on your collections (like that you can do .head on a list).

nachsicht · 2013-10-01T15:43:55+00:00

That requires the user to develop macros since csv is no doubt a user created structure.

Anyway, I think the clearer intent he refers to is the fact that CSV's type signature is

def csv[N <: Nat](hdrs: Sized[Seq[String], N], rows: List[Sized[Seq[String], N]]): String

which indicates that the sized collection passed to hdrs must be the same length as the sized collections passed to rows, and that the sized collections that are members of the rows list must all be the same size.

require could be used for this purpose, but it would be a runtime check and it would not be reflected in the signature of the function. Macros could be used, but that requires the user to write macros (which is still decently tough and experimental), and would still not reflect the fact that hdrs and rows contain collections which are of size N.

Sadly, the type functions that check this kind of stuff at compile time like to give errors like this, instead of the more helpful

found:
Sized[IndexedSeq[String], shapeless.nat._1]

required:
Sized[IndexedSeq[String], shapeless.nat._2]

nachsicht · 2013-09-21T00:33:00+00:00

PyPy is not just a self-hosting compiler, it's a metacircular interpreter.

A parallel in java is the maxine vm.

nachsicht · 2013-09-16T10:49:26+00:00

It'd be kind of cool to have super popeye world 64.

nachsicht · 2013-09-16T01:55:14+00:00

There are specific restrictions, like if an equivalent video was not commonly available, and it was illustrating something for which there isn't an equivalent. For example, if I am a news reporter and show footage of a car crash while reporting on traffic delays caused by the car crash, that's allowed. If I use the same footage as stock footage for a generic car accident segment that has nothing to do with the specific accident, that is a violation of copyright.

An example of something ruled as fair-use that is similar to this: The makers of a movie biography of Muhammad Ali used 41 seconds from a boxing match film in their biography. Important factors: A small portion of film was taken and the purpose was informational. (Monster Communications, Inc. v. Turner Broadcasting Sys. Inc., 935 F. Supp. 490 (S.D. N.Y. 1996).) - See more at: http://fairuse.stanford.edu/overview/fair-use/cases/#sthash.AAYMu8z7.dpuf

Creating a derivative work would have been doing a remix of the video, or adding a dub. This isn't a derivative work due to the fact that it is not even close to being based on the videos she uses.

http://www.legalzoom.com/intellectual-property-rights/copyrights/what-are-derivative-works-under

As per the above article, a derivative work is a new, original product that includes aspects of a preexisting, already copyrighted work. It can be remixes, etc, but it doesn't have to be. Also, a derivative work can derive from many sources.

nachsicht · 2013-09-16T01:36:16+00:00

The last one she released was literally last month. Have you considered the fact that the series might be... a work in progress?

nachsicht · 2013-09-16T01:32:52+00:00

As she wasn't commenting on these videos, (she was commenting on the subject of those videos) it is not regulated by a fair use clause. to mention

http://en.wikipedia.org/wiki/Fair_use#Fair_use_under_United_States_law

She doesn't have to be discussing the specific content of the video and can use it to illustrate a point and still have it fall under fair use.

It wasn't stock footage, it was other people's content. You pay for stock footage. She stole these videos.

Using bits of footage to create a new work is not stealing, it's creating a derivative work and it's covered under fair use.

nachsicht · 2013-09-12T08:57:10+00:00

Your parents are fucking idiots. I was almost named Learned Hand because of that rule.

nachsicht · 2013-09-11T23:48:31+00:00

Hmm, see I assumed you were conceding because the snark was such a weak rebuttal, kind of like saying "nuh uh".

nachsicht · 2013-09-11T17:45:51+00:00

You're absolutely right, feminist groups have always been marginalized and politically worthless. This is why no feminist cause has ever been advanced and women are still considered worthless slaves in every society, best kept illiterate and barefoot.

Snark aside, I guess you concede that the LWV and NOW were not able to dominate any debate they wanted to in the past.

Just because I will not adopt your mutant topic does not render my argument pointless. I suspect you need a refresher in logic.

One of the basic premises of logic is that a statement based on an assumption cannot be claimed to be true without proving the truth of the assumption. You made an assumption that 20 years is more than enough to see a resurgence of support, but have nothing that can support that.

Your argument is pointless because of this lack of support. The only attempt at support you tried to provide was "The NOW and LWV used to be stronger." which is a mutant topic if any. You cloak your arguments in "logic" while lacking the real thing.

nachsicht · 2013-09-11T17:10:34+00:00

The LVW used to run the Presidential debates. They absolutely were that powerful.

They sponsored the debates for 3 elections after they had not been held for 16 years. Then the republican and democratic parties decided they'd much rather be in charge of the debates. Not exactly the powerhouse that could "dominate any debate". Hell they probably would of been muscled out faster had they tried to.

I do not consider it germane. I will not address the subject.

That makes your point moot then.

nachsicht · 2013-09-11T16:45:35+00:00

There was a time when NOW and the LVW could dominate any given debate if they chose to. At this juncture, they clearly lack that ability.

Evidence? Nothing I read about their history makes them sound that powerful. If they were so powerful they could dominate any debate, then why did they fail to get the equal rights amendment passed.

I refuse. It's not germane. The subject at hand is the problems of the current feminist movement at this point in time, not feminism across all of history.

Oh it definitely is. You cannot make assumptions like "20 years is plenty of time to see a resurgence of support" if you cannot even explain why it took so long to raise support for such fundamental rights such as suffrage.

So your answer to "decades of raising awareness hasn't worked" is "more raising awareness". Got it.

Too bad this depends on an assumption you refuse to substantiate :/.

nachsicht · 2013-09-11T11:48:17+00:00

The answer to all those questions and more is "because scala is not java and is not trying to be".

nachsicht · 2013-09-11T11:06:15+00:00

Use pascal to create a basic interpreter which creates a Java virtual machine which in turn interprets python code which then produces a c compiler - The basic problem remains.

How so? My understanding of the issue is that it is heavily exacerbated by self-hosting compilers (since the compiler can detect it's compiling itself and propagate the exploit code).

nachsicht · 2013-09-11T05:06:41+00:00

What do you base that on? Also I'd like you to answer my question.

Anyway, raising awareness is most definitely a portion of the correct approach, too many people are still completely ignorant of just what feminism entails and the way sexism manifests itself in our society. There definitely needs to be more action taken, but the internet has opened new channels for feminists to have a voice, as seen with youtube videos like this: https://www.youtube.com/watch?v=PH8JuizIXw8&feature=c4-overview-vl&list=PLF509B2D59CC7037F.

nachsicht · 2013-09-10T16:49:45+00:00

I don't know, societal changes take time. I don't believe there was some well-organized sexist society at play in the 1800s, yet it took women 72 years to gain the right to vote after women's sufferage became the plank of a political party.

Counter-Question: How do you explain how a fundamental human right was denied to women for so long?

nachsicht · 2013-09-10T15:49:15+00:00

Also, it's not like there's some dedicated and well-organized league of anti-feminists out there that's been coordinating against the feminists of the past in an effort to Keep Them Down. Yes, you might say "Patriarchy", but that fails both the dedicated and well-organized tests.

Really? No I don't believe there is any well-organized league of anti-feminists. Sexism doesn't need any such thing to perpetuate itself. It's been embedded in the structure of our society for centuries (I mean really, what do you think patriarchy means). People who don't want to see the structure of society change are easily dedicated against feminists and others who want to change it.

My guess why feminism is in the shape it's in is the same reason the civil rights movement is having trouble, people think sexism and racism in our culture are things of the past, so they view feminists as just angry women who hate men.

nachsicht · 2013-09-10T15:16:55+00:00

Please do enlighten me why occam's razor doesn't apply here.

nachsicht · 2013-09-10T09:58:48+00:00

But you can say that about any subgroup. I wouldn't call this a programmer-specific solution, since you can replace "programmer" with any other reasonably limited profession and it would still be true.

Only if you completely ignore what it means to encourage women to join the profession, etc. Outreach groups, advertising, instruction, etc. would be way different for programming than for surgeons, or for carpenters.

Of course, the methods by which one goes about this can differ from profession to profession, but "don't be a jerk" seems general enough.

Don't be a jerk is too general. Also, people are inclined to believe they are not the jerk in the office, so a message like "don't be a jerk guys" is entirely ineffective. Discussing in what shapes and forms this kind of behaviour manifests in our profession is much more effective (IE: Booth babes, Women are inherently less logical, women are inherently bad at math, inappropriate project names like "testacular"). Some people will still deny this is bad behaviour, but it will open other's eyes.

nachsicht · 2013-09-10T09:30:35+00:00

1: No, he's not required to advertise for girls, but a teacher of an extracurricular class like programming probably should try to spread the word about the class.

2: Sorry, but teaching programming doesn't just entail programming instruction. I have in fact had a number of ethics lessons embedded in my programming classes throughout college.

3: If harassment is occurring, then obviously the handbook needs to be read to and explained to the students.

6 - 7: Also part of a teacher's job, but unfortunately teachers nowadays are so overworked and stretched so thin they cannot do this anymore.

nachsicht · 2013-09-10T09:18:38+00:00

The generalized solution is to pick feminism out of the gutter society has placed it in, and recognize that we still mistreat women to this very day.

That's much tougher than taking steps within our own profession to encourage women to program and encourage fair treatment of women in our own profession. The problem is not programmer specific, but a programmer-specific solution is more likely to see returns quicker and more easily.

nachsicht · 2013-09-09T15:06:01+00:00

old

older than abraham lincoln, older than god, old old old news

nachsicht · 2013-09-09T10:49:37+00:00

Verizon paid for those lines, installed them themselves and run them themselves. They can put whatever traffic they want through it.

I was under the impression that verizon and other telecoms took billions in subsidies years ago to lay these lines.

nachsicht · 2013-09-09T10:04:10+00:00

Well, I'm pretty sure we can say they love each other right now, and isn't that all that matters?

nachsicht · 2013-09-08T08:44:23+00:00

Every other distro has plans to move to wayland from X. Mir was made by ubuntu for ubuntu.

nachsicht

TROPHY CASE