scscsc

15 ms·

61.
by scscsc 12y ago
Exactly. And I do not see zeroes as fewer variables, but as more constraints. The two points of view are actually equivalent. If you have actual variables for the digits that need to be zero, you can either get rid of these variables and re
62.
by scscsc 12y ago
Yes it's from 2013 it seems but I just bumped into it and it seemed cool and interesting. I think this community will appreciate the idea. I was curios if anyone here is mining bitcoins and if it's worth their time.
63.
by scscsc 12y ago
Actually I'm not sure that claim is accurate (they state it as an intuition). The fact that there are more constraints (that was the word you're looking for) does not necessarily mean that SAT will be easier. It could be that the
64.
by scscsc 12y ago
I think you misread the article. They are not claiming to break SHA, they are claiming they can get better than bruteforce performance on mining bitcoins.
65.
SAT solving – An alternative to brute force Bitcoin mining (2013)(jheusser.github.io)
74 points by scscsc 12y ago|26 comments
66.
by scscsc 12y ago
I like the concept, but the graphics is a bit off. First of all, I would suggest making the board as big as possible and lose the shades of grey.
67.
by scscsc 12y ago
My thesis is that by trying to write functional/imperative UI code you will create your own ad-hoc OOP system.
68.
by scscsc 12y ago
It seems to me that everyone is missing the point behind object-orientation. Object-orientation sucks for everything except user interfaces. If you don't believe me, try writing a UI library without objects and see what happens. UI is
69.
by scscsc 12y ago
Very interesting. They seem to have gained some traction. I'm curious how they solved their chicken and egg problem (not enough buyers versus not enough sellers).
70.
Understanding 3-way merges(blog.trumpi.co.za)
4 points by scscsc 12y ago|0 comments
71.
by scscsc 12y ago
https://play.google.com/store/apps/details?id=com.ovaludi.no... I've been working (and still am) on an Android puzzle game using libgdx. The puzzle requires to fill a board with Xs and Os while obeying the no
72.
by scscsc 12y ago
Seems not. Their webpage is: http://www-ui.is.s.u-tokyo.ac.jp/~ume/GliderDesign/2014_sigg... but I haven't seen any download link. I would love to play with it, thought.
73.
Why Go Camping?(contributors.ro)
2 points by scscsc 13y ago|0 comments
74.
by scscsc 13y ago
The trailer is here: http://www.youtube.com/watch?v=6ybd5rbQ5rU
75.
by scscsc 13y ago
It's not the rich. It's the "nouveaux riches"... Happens all over the world. Little education + fast money does that.
76.
Earn money when travelling(worksurfers.co)
1 points by scscsc 14y ago|0 comments
77.
by scscsc 14y ago
Lists are recursive, right. Better than double pointer indirection is to have the function return the new head. Note that the following code is not functional, but returning the new head makes it cleaner. node *remove_if(node *head, r
78.
by scscsc 14y ago
Nice that the author has read so many programming books so that creating an algorithm for reading such books is cost-effective.
79.
Ask HN: What payment options do I have for starting up?
1 points by scscsc 14y ago|0 comments
80.
by scscsc 14y ago
Another possibility would be to place them as side-notes (the essays only take very little horizontal space -- the rest could be used for notes).
81.
by scscsc 14y ago
Negative, the Visitor pattern cannot be naturally replaced with map and fmap. Read up on double dispatch at e.g.: http://en.wikipedia.org/wiki/Double_dispatch
82.
by scscsc 14y ago
I really like the minimalist design of the site. The other game I found is more challenging: http://connect4.cwoebker.com/
83.
by scscsc 14y ago
"mentions article processing charges (APC) around GBP 2,000 per article, presumably paid by the institution to some private institution to manage the peer-review process" I would gladly (and highly profitably) run a for-profit which "manage
84.
by scscsc 14y ago
The problem started to haunt Microsoft as well -- there are (simple) cases where their files don't open up correctly in slightly different versions of Office. In fact, I've recently had to open some .doc files with LibreOffice instead of Mi
85.
by scscsc 14y ago
"When the clock hits 8, I sit. I plop back in my rolling chair, crack open the laptop on my desk, and spend the next nine hours with my butt glued firmly to seat. [...] When that clock hits 5, I bolt. I’m out the door in the blink of an eye
86.
by scscsc 14y ago
There seem to be a lot of people confusing complexity with practical issues. I think we can agree that: 1) you can write most software in a functional programming language without any (noticeable) loss of performance 2) there will always be
87.
by scscsc 15y ago
I find it ironic that the author says that you should just shut up and make stuff without taking his own advice (the part about making stuff will probably follow soon). Having written a C(++) web-app (using CGI), I'm ok with writing in C++
88.
by scscsc 15y ago
Bidirectional programming is somewhat related. http://www.cis.upenn.edu/~bcpierce/papers/lenses-etapsslides... e.g. read a file, parse it into an AST, modify AST (i.e. rename a variable), unparse the new AST, close the file.
89.
Why Pascal is Not My Favorite Programming Language(lysator.liu.se)
2 points by scscsc 15y ago|1 comments
90.
Unify Type Classes and GADTs(lambda-the-ultimate.org)
1 points by scscsc 15y ago|0 comments

More ›