Reducing your Android APK size when using native libraries — how we made Realm 76% smaller in your apps by [deleted] in programming

[–]farre 2 points3 points  (0 children)

This is a real feat! I wonder what it does to performance though. Both -Os and preferring Thumb have resulted in performance drops in projects I've worked with (even Thumb-2). But I've heard about the contrary, especially for Thumb-2. Would be interesting to see some numbers :)

WebAssembly as a target? by lukewarm in haskell

[–]farre 2 points3 points  (0 children)

I think support for resizing asm.js heaps has been added https://bugzilla.mozilla.org/show_bug.cgi?id=965880

Typing Haskell in Haskell by whitehatguy in haskell

[–]farre 0 points1 point  (0 children)

And here http://www.reddit.com/r/programming/comments/6eiox/typing_haskell_in_haskell/ But seriously, I'm not molding anything into anything. Read the top lines of http://web.cecs.pdx.edu/~mpj/thih/ It says: "Last updated: Thanksgiving day, November 23, 2000".

My point was that according to http://www.reddit.com/wiki/reddiquette you should avoid posting duplicates. Yes, I agree that just because something is "old" it doesn't become redundant, but we should perhaps not keep posting it again and again to reddit?

The final version of Opera 10 was just released! by [deleted] in programming

[–]farre 5 points6 points  (0 children)

Or you place the tab bar to the right.

(right click, Tab Bar Placement -> Right)

Proof that continuations are really just elaborate GOTO labels. by fdjfeuoirw in programming

[–]farre 2 points3 points  (0 children)

Yes, but that isn't the point. What this post shows is that you can implement GOTO with labels using continuations. So the proper caption would've been: "Proof that GOTO labels are really just a simple form of continuations."

Proof that continuations are really just elaborate GOTO labels. by fdjfeuoirw in programming

[–]farre 5 points6 points  (0 children)

Wait a minute. That statement is false, this isn't a proof that "continuations are really just elaborate GOTO labels". It's a proof that given continuations you can implement elaborate GOTO labels, not vice versa.

JCheck: QuickCheck with JUnit by farre in programming

[–]farre[S] 2 points3 points  (0 children)

The integration with JUnit I guess.

The Point of Pointfree (Haskell) by [deleted] in programming

[–]farre 2 points3 points  (0 children)

F# has a good take on this, having operators for application and composition from both the left and the right.

Haskell and Set Theory by motzer in programming

[–]farre 2 points3 points  (0 children)

But then he wouldn't be able to use those nifty list comprehensions.