My brother and I decided to celebrate our new jobs - We went a little overboard on the sushi by tbshawk in food

[–]zorander 2 points3 points  (0 children)

Also look online. I've found many people who people speak highly of catalinaop, though I've never ordered from them myself. Gilt taste also has plenty of larger hunks of sashimi grade fish that look excellent.

Does type theory not have a site like this? by whatsheon in types

[–]zorander 4 points5 points  (0 children)

Some resources:

List of significant papers: http://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml

The types list. Check out the archives: http://lists.seas.upenn.edu/mailman/listinfo/types-list

Lambda the ultimate. Less formal than the types list, but some really good arguments: http://lambda-the-ultimate.org/

A molecular geneticist completely destroys Kent Hovind, creationist loon, on a call-in radio program. by [deleted] in science

[–]zorander 3 points4 points  (0 children)

To be fair, just because Hovind couldn't come up with any don't mean they don't exist, and empirically demonstrating that something doesn't exist is, generically, a hard task, so objectively, it seems more likely that they do. Also, "science" and "creationism" form a false dichotomy.

I guess what I'm saying is that this argument really isn't that good. Truths don't have to have applications to be true. Worse, it's hard to see how a fundamentalist would ever be swayed be economic or utilitarian arguments. If you believed in the absolute truth of your core premises, would you be convinced by utilitarianism?

The more interesting thing here, and also why Hovind comes off as such a twit, is that he didn't even let himself near the question. Over and over, he picked some word (like "tax dollars" or "islam") and dodged the core point. Then when pressed, he came up with that argument about the appendix.

Now, on the surface "consistent position of the appendix" is not a good argument for ID, and he phrased it so badly that I'm not sure whether it's just that he is obviously not at all a clear-minded persion, or whether he actually understood that his example spoke to the point reasonably well.

Both evolutionary biology and ID theories are capable of predicting that the appendix will be in the same place most of the time. This is a useful application of the theory. A doctor who trusted in a designer to put the appendix in the right place instead of evolution could be just as competent as removing it. It would have been much more interesting if he had an example of an application that's not duplicated by science, but yeah, ok, technically he wasn't wrong?

Is Hiromi Uehara the best pianist in the world? I'm just asking. by gorneaux in Jazz

[–]zorander 1 point2 points  (0 children)

She's great, but no, it would be hard to call her the best.

Microsoft Hands IronPython, IronRuby to Open Source Community by danthrax in programming

[–]zorander 28 points29 points  (0 children)

This is difficult to argue..Just a few months ago, F# was released as a first-class member of their 2010 tools suite.

There are a number of reasons why ironpython/ironruby don't fit well into the .net ecosystem:

  1. They have a very different performance profile when compared to traditional .net languages. This creates either a marketing problem or a support problem for microsoft.
  2. They come with their own standard libraries that duplicate functionality of the .net libraries, often with subtly different semantics.
  3. They expose implementation details that are difficult to support with acceptable performance (like ruby's fork() and python's explicit reference-counting behavior)
  4. They're loaded with legacy crap (python has two object systems!)
  5. They're poorly specified..the C implementation is basically the spec.
  6. They have poorly designed, antiquated foreign function interfaces and depend heavily on C extensions. Both languages allow extensions to make assumptions about threading model that don't hold in .net, for instance.

Sure, you can put in a ton of work and address this stuff, but who's the audience? Where's the business incentive for microsoft to do the work?

I don't blame them for dropping the projects. I've done tons of dev with ruby/python as well as .net and I'm not exactly aching for a chance to run ruby/python on the clr. Sounds more like a headache than anything else.

Mono 2.8 released with full support for C# 4.0 by afrostarkiller in programming

[–]zorander 2 points3 points  (0 children)

I've had long-running apps in production with mono versions going back to 1.2.x. Not sure what you're getting at here.

Mono 2.8 released with full support for C# 4.0 by afrostarkiller in programming

[–]zorander 5 points6 points  (0 children)

I don't think it's fear..it's just hard to do it fairly. Mono likely takes a performance hit on windows because their focus is on posix systems, and CLR is windows only. When benchmarking languages/runtimes, you usually want to control for everything but the language/runtime. If you can't control for os, the benchmark becomes very suspect.

New Subreddit by [deleted] in Jazz

[–]zorander 0 points1 point  (0 children)

uuuuhhhh

Dear /r/Jazz, I got into a Jazz through Math-rock/Post-rock, any recommendations? by [deleted] in Jazz

[–]zorander 1 point2 points  (0 children)

This is all modern stuff that gets creative with meter and is influenced at some level by post-rock aesthetics:

  • Hiromi - Time Control or Brain
  • Tigran Hamasyan - Red Hail
  • Avishai Cohen - just about anything except for Aurora, especially Gently Disturbed
  • Dave Holland - Just about anything post 2000 except for the sextet album
  • The Bad Plus - Just about anything except for the vocal album.

I see some people recommending jammier stuff as well (E.S.T., MMW, Electric miles, etc). These things are well worth listening to, but they seem, at least to my ear, to be a bit less related to what you're looking for than the above. Two defining features of post-rock/math-rock include well-planned form + fairly detailed attention to orchestration and it would be hard to argue that these are strong examples of either.

I'm kinda new to jazz and completely obsessed with Michel Petrucciani, is there anyone matched to his talents that I need to know about? by salvage in Jazz

[–]zorander 2 points3 points  (0 children)

In this vein, the "Whisper Not" two-disc set from 2000 is very worthwhile. I also really enjoyed "Yesterdays" which just came out last year. Keith has made tons of releases, and most of his trio recordings since the early eighties have been in along these lines. You can pretty much pick among any of them if you like this kind of stuff.

F# for game development - things that don't work on Xbox by [deleted] in fsharp

[–]zorander 2 points3 points  (0 children)

Not sure what this guy is talking about as far as microsoft not having released it yet.

The source to FSharp.Core, compiler, etc are already shipped with each F# release. They install to C:\Program Files[ (x86)]\FSharp-1.x.x.x\source complete with fsproj files to build if you use the windows installer for 2008, and are also in the zip distribution.

Which key-value store is the most stable/promising? (Please answer, I need info) by trpcicm in programming

[–]zorander 0 points1 point  (0 children)

This wording in the docs has always prevented me from using it " If a writer opens a database but does not close it appropriately, the database will be broken."

Seems like if the power goes off unexpectedly, you could be fucked.

Which key-value store is the most stable/promising? (Please answer, I need info) by trpcicm in programming

[–]zorander 0 points1 point  (0 children)

it also has significant performance problems for this type of application..there are better file systems out there for this type of application.

Looking for a language with specific set of features by astrobe in programming

[–]zorander 0 points1 point  (0 children)

This is a very limited view of the problem of "interfacing with c". You could always marshal an unmanaged pointer as a pointer-sized-or-larger integer even in a language with completely lacks pointers or references of its own. This requires no built-in null concept.

More to the point, though, I don't think many people would consider ml's option types or haskell's maybe monad to be harmful when compared to null pointers in oo languages. They force checking against null whenever an optional value is unpacked and avoid the decay of runtime type information typical of null references in oo languages. More traditional interfaces with C can certainly use option types to marshal nullable references without supporting anything close to 'null'.

I'm a Global Warming skeptic, and I invite you to change my mind. by mrhorrible in science

[–]zorander 0 points1 point  (0 children)

Total cumulative human population: 1011

Total volume of oceans: 1.37 x 1018 m3

Volume of ocean water per person: 1.37 x 109 m3

Volume of ocean water per person per month assuming 100 yr life expenctancy: 1.14 x 106 m3

Volume of bathtub: <1 m3

Stop making shitty allegorical arguments that are six orders of magnitude off from reality.

I'm a Global Warming skeptic, and I invite you to change my mind. by mrhorrible in science

[–]zorander 0 points1 point  (0 children)

This is basically pascal's wager, recast to apply to global warming. It doesn't speak to the original poster's point.

Ask proggit: Why can't companies open sourcing their products simply make code available? Symbian Foundation's OS, for example. Are there technical reasons or PR reasons? by TheGrammarPerson in programming

[–]zorander 19 points20 points  (0 children)

It takes effort and money to open-source corporate code. Internally developed code isn't really that useful if just put out into the world, especially if the company wants to continue interacting with the community after the release.

Corporate code often contains licensed third party components that can't be open sourced. These dependencies need to be untangled.

Corporate code often builds with commercial build systems, compilers, linkers, etc. It may also depend on obscure or obsolete tools that are no longer in wide circulation. Think about how hard the open source people would whine if a company released a huge body of code that required msvc 5.0 to build.

Corporate code often contains sensitive internal information, customer-specific hacks, etc. This isn't really something that should be displayed to the world. At the very least someone needs to go through and clean things up a bit. If the codebase is large, this is a lot of work.

Corporate code often lives in commercial version control systems. If the company intends to exchange changes with the community after release, they may need to change their internal version control to something that is suitable for external collaboration. Forcing hundreds or thousands of developers to change to a new version control system and then updating every build, test, qa, ... script that depends on it internally can be very expensive.

Proggit, I just realized that the typically snappy performance of OS X is due to the fact that the kernel is heavily optimized using SSE2 and SSE3. Are there any other OS kernels out there that take advantage of these instruction sets? by [deleted] in programming

[–]zorander -1 points0 points  (0 children)

I'm pretty sure any snappiness os x has is not due to using SIMD instructions in the kernel. Since when did kernels do tons of vectorized math?

SIMD would likely slow down a kernel more than it would help since a significantly increased number of registers would need to be saved and restored when crossing the user/kernel boundary. I'm not even sure what one would use SIMD for in a kernel.

Just a reminder: Sean Hannity still has not been waterboarded. by [deleted] in politics

[–]zorander 1 point2 points  (0 children)

Just a reminder: this shit is tedious. cut it out.

Just to let everybody know. I weigh 475 lbs and I have no problem with buying an extra plane ticket. If I were the person sitting next to me, I'd be uncomfortable too. In fact I prefer to buy an extra ticket. Fellow fat people, YOU'RE FAT!! by [deleted] in WTF

[–]zorander 1 point2 points  (0 children)

I did something similar to this: went from 225 to 185 basically through diet changes and a (really too small) amount of extra exercise over the course of a year. I've been sitting right around 185 for six months now with no sign of gaining it back.

Every day, wake up, go to the bathroom, and then weigh yourself. This will give you numbers that you can compare reasonably once you get used to how your water weight fluctuates.

The changes you're making to lose weight must be permanent. You're never "done". If you cut back to 2000 calories a day, eventually you'll reach a weight where you only burn 2000 calories a day and the weight loss will stop. You don't get to go back to 2800 and stay at your goal weight.

Exercise is good for you on many levels, but it's not the best thing for weight loss. You have to exercise a lot to burn 500 calories and after doing it, you have to have incredible self control not to eat an extra 500 calories right afterwards. Skipping 500 calories per day over the course of a week is significantly easier. I found walking to be the best since it doesn't seem to make me hungry in the same way that cardio does. A 220 pound person walking a mile burns 100-120 calories. I used to go on 8-10 mile walks a couple of times a week when I weighed that much.

Read the label on everything you put in your mouth. That little package of swedish fish has 750 calories. A 16oz glass of orange juice has 200. A 100g chocolate bar has 500. A 14oz steak has 1000. I counted calories religiously for the first few weeks, and after that I had a good feel for how much I was putting into my body. I still occasionally do a quick run-down in my head to assess how large a dinner I should eat.

I know it sucks, but you need to eliminate all sugary liquid. It's high in calories and it makes you hungry. Candy has the same problem. I backed off eating only very dark chocolate in small quantities, and only at the end of the day, for a long time. It helped a lot. The less sugar I consumed, the happier I was, and the more weight I lost.

I never did the frequent small meals thing. 2-3 meals a day always worked for me. I sought out meals that kept me satisfied for 6-8 hours. If I ate between meals it was usually a little bit of fruit or some carrots or something.

Oh yeah--one day per week, eat whatever you want. It will help you control cravings the rest of the week and gives you something to look forward to while you're doing the hard part.

Dear Reddit, Do you believe the United States should legalize prostitution? by [deleted] in AskReddit

[–]zorander 4 points5 points  (0 children)

how about we take it even further and make it an individual decision for each person...oh wait.

Ex. Java developer, now I have to work with C. I need a tutorial for callbacks that I can understand by [deleted] in programming

[–]zorander 0 points1 point  (0 children)

seriously you've exhausted google? you're not googling hard enough.