AxEy

6 ms·

1.
by AxEy 4mo ago
> The real problem turns out to be the combinatorial explosion inherent in unstructured search through the Herbrand universe. One needs Unification and one needs a still missing ingredient to give search a sense of direction. Shameless p
2.
by AxEy 5mo ago
I'm not trying to be snarky here, I'm genuinely considering moving north, and am curious: > "sidewalks are empty, because if you had any money you would be driving." Not sure this makes me feel safer. I'm guessi
3.
by AxEy 6mo ago
Not sure why you're getting downvoted. I've definitely seen behind-the-front-seats screen ad placement and other weird things in ride shares in the U.S. so this doesn't seem out of the question.
4.
by AxEy 6mo ago
I remember seeing one of these https://en.wikipedia.org/wiki/Galton_board at the (I think) Boston Science Museum when I was a kid. They have some pretty cool videos on Youtube if you're curious.
5.
by AxEy 8mo ago
A blind person does not have the necessary input (sight data) to make the necessary computation. A car autopilot would. So no we do not deem a blind person to be unintelligent due to their lack of being able to drive without sight. But we
6.
by AxEy 11mo ago
> "Use cash, and offline tablet or nothing at all," Why would I have to use cash if I gave up my smartphone?
7.
by AxEy 1y ago
> "In some schools of Buddhism, the tradition was to live with only one bowl and one spoon. The practice was to beg daily... " Interesting. So the practice of (these schools) of Buddhism requires that there be non-Buddists?
8.
by AxEy 1y ago
The comment you were responding to said that the free tiers were a boon for the poor and you responded that they (under the fork of interest) "left poor people poorer". I mean I supposed every transaction leaves someone poorer of
9.
by AxEy 1y ago
This assumes that poor people's attention is liquid and can readily be turned to cash whenever they please. It doesn't matter how much you think my attention is "really worth". If I want the service now, have no cash, bu
10.
by AxEy 1y ago
> " in many places around the world we kill people society or state considers assholes, including US." Not really the same as systematically bringing into existence a species with behaviors you find objectionable, keeping them
11.
by AxEy 1y ago
> "Personally, keeping chickens has almost completely put me off empathy with them. Roosters are assholes. Into the pot with you." What a relief that we don't generally take this policy toward asshole humans. At any rate,
12.
by AxEy 1y ago
Why did you stop freelancing?
13.
by AxEy 1y ago
I have twice attempted to make a Grubhub account and twice failed to solve their long battery of puzzles.
14.
by AxEy 1y ago
Tangentially related: I've always wanted to write a hello the address that they show during the opening credits of MST3K. Has anyone tried?
15.
Show HN: A compiler for the Cool language written in Rust with an LLVM back end(github.com)
2 points by AxEy 1y ago|0 comments
16.
by AxEy 2y ago
>There's the folklore about half of all math papers giving the wrong proof for the right conclusion. Sorry, what? This is an extraordinary claim.
17.
by AxEy 2y ago
Does this qualify? https://www.sfchronicle.com/bayarea/article/ucb-police-seek-... "The five people were part of a group of about 200 protesters, who on Feb. 26 broke down the door of Zellerbach Playhouse and
18.
by AxEy 2y ago
You beat me to it.
19.
by AxEy 3y ago
> Audition? Sorry, I don't entirely understand what you mean by that in this context. I think they mean "audiation".
20.
Ask HN: Any Prediction Markets hiring developers?
3 points by AxEy 3y ago|0 comments
21.
by AxEy 3y ago
Yes, I'm quite serious. You give an analogy of software. I suppose I feel that art differs from this in some ways. E.g. originality, creativeness. Reading many of these responses I'm gathering that perhaps I have too strong a no
22.
by AxEy 3y ago
Honestly what I'm most excited about is how this technology can be used, not to arrange parts or even loops but rather in new plugins (VSTs) that implement novel approaches to digital synthesis. Think of all the awesome sounds. If any
23.
by AxEy 3y ago
It was not super discerning listeners (like it sounds like you are) that I meant to address in that second question. Sorry if that was not clear. Rather it had sounded from some of the comments that people were desperate for original tunes
24.
by AxEy 3y ago
I get that. It was not those purposes that I wanted to question, but rather just the one near the top of my question, namely demand.
25.
by AxEy 3y ago
>the simple answer is that your motivations for being an artist need to change to be exclusively personal fulfillment. Mine are and the same goes for most of the artist I indicate. The point wasn't that they were in it for the mone
26.
by AxEy 3y ago
(This is not meant to be an anti-ai-generated-art rant. It's coming whether we like it or not. But some of the motives in this thread confuse me.) Music producer here with an honest question to those saying "this will provide me
27.
Show HN: An Automated Theorem Proving library inspired by a book by Harrison(github.com)
3 points by AxEy 4y ago|0 comments
28.
by AxEy 4y ago
Perhaps these are all probes dropped off during ʻOumuamua's fly-by? (mostly kidding...)
29.
by AxEy 4y ago
I'll be happy to circle back to more modern methods once the core parts of the field are addressed. The point of the library is not really to deliver a competitive solver (yet).
30.
by AxEy 4y ago
Thanks

More ›