gelisam

7 ms·

1.
by gelisam 10y ago
The [Beluga language]( http://complogic.cs.mcgill.ca/beluga/ ) is a variant of Twelf which aims to make such transformations much easier. Full disclosure: Brigitte Pientka was my supervisor. I did not work on the compile
2.
by gelisam 10y ago
Not sure what the context of the question is, are you offering services to build custom chatbots? The startup I work for, keatext.ai, happens to need one. We analyse free-form comments and uses NLP to extract commonly-mentioned problems. Cu
3.
by gelisam 10y ago
I'm a programmer working at an AI startup, http://keatext.ai , but I'm not touching the AI part, so I just want to point out that there are other ways to get in. In my case, I had experience with Haskell, their backend
4.
by gelisam 10y ago
I thought FP Complete had moved on from selling tools (like the online IDE they used to host) to being a Haskell consulting firm?
5.
by gelisam 10y ago
What? Apart from Sibi Prabakaran who I've never heard of (maybe I only know them by their handle?), everybody else in the list is a high profile, highly-respected member of the community. As far as I can tell from being on /r&#x2F
6.
by gelisam 10y ago
> Does this mean I’m a static typing zealot now ? That part made me chuckle, because it made me realize that a typing zealot is exactly what I've become! I used to be a huge fan of Ruby and I was using it for everything, and now 10
7.
by gelisam 11y ago
My best work of science fiction is much shorter than 1000 words, but here, enjoy it anyway: http://gelisam.blogspot.ca/2013/09/the-first-two-years.html
8.
A whirlwind tour of Haskell, via Advent of code solutions(gelisam.blogspot.com)
1 points by gelisam 11y ago|0 comments
9.
by gelisam 11y ago
Is it only CSG? The page says it's using FRep instead of BRep. Is FRep limited to CSG operations only?
10.
by gelisam 11y ago
I understand FRP, but I did not understand this post. What's this philosophical fluff about the ever-changing "now"? The fact that a signal is a value which describes how something changes at all points in time does not mean
11.
by gelisam 11y ago
I implemented version of this several years ago, except against human players instead of against an AI, and with randomly-generated levels instead of a succession of harder and harder levels. It was a semester project where we had to hand i
12.
by gelisam 12y ago
Sounds like fun, let's write one!
13.
by gelisam 12y ago
While Haxl is great and is a good example of Haskell usage in the industry, it's not a good example of the usage of formal methods, since functional programming is only the first of the two steps mentioned in the article. The title of
14.
by gelisam 12y ago
How about adding new elements with lower keys instead of decreasing the existing elements? Then, once we count that more than half of the n elements are duplicates, we could spend O(n log n) operations cleaning up the heap by recreating it.
15.
by gelisam 12y ago
How can I downvote this post? He uses a non-standard definition with a very obvious flaw, and then proceeds to explain how Kolmogorov complexity is "silly" because it has that flaw.
16.
by gelisam 12y ago
After reading the title but before reading the article, I was trying to imagine a situation in which anybody might want to fake surprise in a work environment. The only thing I came up with was as a teaching mechanism, as in: "your pro
17.
by gelisam 13y ago
If Google is really using that algorithm, then I'm afraid I'm polluting their data. When I am looking for something on Google, I ctrl+click on all the relevant-looking links so they open in new tabs. Since I haven't even read
18.
by gelisam 13y ago
Thanks for posting my repo to HN! It always makes me feel like I do good work when other people post my stuff :)
19.
by gelisam 13y ago
I came here to recommend http://lesswrong.com/ , but then I saw that you want to become more knowledgable, not smarter. In that case, your current strategy sounds right to me!
20.
by gelisam 13y ago
Related: I also made a vim-based presentation tool, called git-slides [1]. The main difference between Vimdeck and git-slides is that vimdeck generates slides out of a simpler format (Markdown), while git-slides displays one WYSIWYG slide f
21.
by gelisam 13y ago
While I am flattered that somebody would post one of my repos on Hacker News, any particular reason why the link is to my fork and not to the original repo? ssadler deserves some credit :)
22.
by gelisam 13y ago
You're kidding, right? I want to like this game; I love vim, and I agree that the premise of the game is very creative. But the execution is vastly below average. They are using free graphics [1], annoying sounds, and they force the user th
23.
by gelisam 13y ago
try this: > let foo = map reverse As the error message "clearly" says, the result "map reverse" is a function, which doesn't have a printed representation. You might think that all objects would at the minimum have a default pr
24.
by gelisam 14y ago
I certainly don't mind! I'm glad I could be useful.
25.
by gelisam 14y ago
What this project does really wasn't clear to me until I tried reidrac's canvas-raycasting URL, so here is a (hopefully more clear) explanation: If a github repo has an index.html file and you click on it, github will show you the source in
26.
by gelisam 14y ago
The way in which ties are resolved is very important. I had assumed that in case of a tie, neither player won the bidding war, so they had to bet again. Under that interpretation, the worst case is that O always bets the same as X, trapping
27.
by gelisam 14y ago
"You will also earn the title Certified C++ Grandmaster [CPPGM]." A certificate or title isn't worth anything unless the organization who emits it has the authority to emit them. And if you can truthfully claim to have written a fully-compl
28.
by gelisam 14y ago
I don't know much about philosophy, but I know that Less Wrong's opinion of it is pretty low [3]. Eliezer probably talks about quantum mechanics more than most philosophers, so his recent explanation [4] of how statements about day-to-day o
29.
by gelisam 14y ago
That post is part of a sequence called "Map and Territory" [1] in which Eliezer explains that your beliefs are a map, which may or may not correspond to reality, the territory which the map is supposed the represent. In this post, Eliezer i
30.
by gelisam 14y ago
I know, that's why I sorted them! I think the first 18 are especially worthwhile.

More ›