haliax

14 ms·

91.
by haliax 14y ago
It's possible that the art in question is ahead of its time, or expresses radically unpopular ideas. I'm not saying that a piece of art that no one ever cares about after it's created is valuable, but it's hard to judge the value of art bas
92.
Ask HN: Interested in a site for listing startup ideas you want done?
5 points by haliax 14y ago|6 comments
93.
by haliax 14y ago
I get data from Y! finance, using urllib2, and then use csv.DictParser to get the daily price series. From there I write code that takes in those series for a given basket, and buys/sells and keeps track of P&L, then use matplotlib to v
94.
by haliax 14y ago
Can you go into more detail on your setup? I've been using Python to simulate interday ETF strategies -- which is a relatively simple matter, but haven't really done anything to complex with it yet.
95.
Ask HN: Best way to do a startup in e-commerce?
1 points by haliax 14y ago|0 comments
96.
by haliax 14y ago
Wow. This is fantastic!
97.
How Homomorphic Encryption Works(youtube.com)
3 points by haliax 14y ago|0 comments
98.
by haliax 14y ago
http://www.blumberg.com/invoice.cgi?rm=view_cluster;cluster_... http://www.legalzoom.com/legal-incorporation/incorporation-p...
99.
by haliax 14y ago
Woah, I'd love to hear about confounding ITA if you're up for a chat, or a drink if you're in NY. My email is in my profile.
100.
by haliax 14y ago
The linked book by Pierce is pretty fantastic as well. http://www.cis.upenn.edu/~bcpierce/sf/
101.
by haliax 14y ago
LOVE the web example! Keep up the good work!
102.
by haliax 14y ago
How did they try to play the banks?
103.
by haliax 14y ago
Does anyone know how Facebook's market cap compares to its cashflow? Or have any idea about the prospects for their ad revenue? (I know HN has had articles bashing DB ads of late, but is this the whole truth?)
104.
by haliax 14y ago
> Second order logic does not have a complete proof theory Is this different from saying that second order logic contains unprovable true statements / that the incompleteness theorem applies? Also thanks for the really well informed res
105.
by haliax 14y ago
Awesome, thanks!
106.
by haliax 14y ago
I've read it, but clearly didn't digest enough (a common problem I'm told :P). I will take another look, thanks!
107.
by haliax 14y ago
Ahh, fair enough. I'd have to agree with you there. My guess is that that plus being able to inductively generate axioms from experience are largely what let us escape that particular weakness of formal systems.
108.
by haliax 14y ago
> humans don't reason based on mechanistic principles Do you support an empiricist view of logic then ( http://en.wikipedia.org/wiki/Is_logic_empirical%3F ) ? That we justify logical rules because they so strongly correspond with our ow
109.
by haliax 14y ago
On a related note, does anyone know where I would look to understand reducibility of formal systems to one another? I'm really interested by questions like: Why is second order logic irreducible to first order logic if I could use first ord
110.
by haliax 14y ago
Yes, your implementation and the general idea, I've some familiarity with the bittorrent protocol.
111.
by haliax 14y ago
Can you share some technical details/details of your conversations with this guy please?
112.
Ask HN: Any interest in an HN meetup for Oxford, UK?
1 points by haliax 14y ago|0 comments
113.
by haliax 15y ago
Transparency is a great idea. May I suggest starting off by releasing your intended feature list for the product? That way, with each release, you can cross things off the feature list, and people can see that you're making progress.
114.
He makes billions inventing, marketing & selling his own products.(gladwell.com)
14 points by haliax 15y ago|1 comments
115.
by haliax 15y ago
I like it, it shows initiative and creativity, although it sounds a bit awkward if you sent the emails without asking your parents.
116.
by haliax 15y ago
They're making marriage better by understanding and then changing the process by which it evolves -- fantastic!
117.
Facebook's Timeline: In Praise of Lost Time(domusweb.it)
1 points by haliax 15y ago|0 comments
118.
by haliax 15y ago
If the yellow cab drivers have phones on them as well, you could try to make "psuedo hails" using bluetooth or something where if you drive by a taxono.my user who has hailed a cab both apps ping, and let the users know. Then you could just
119.
by haliax 15y ago
I've not read this paper, but studied the technique described here. A good example of the sort of thing this lets you do is the fold fusion, which (under the conditions which you need to derive the equality) lets you collapse multiple calls
120.
by haliax 15y ago
> And furthermore, if you believe in evolution, you have to believe that there was no consciousness Actually, you don't http://en.wikipedia.org/wiki/Panpsychism

More ›