Viewing profile — gelisam

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 s…

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 comm…

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 …

I thought FP Complete had moved on from selling tools (like the online IDE they used to host) to being a Haskell consulting firm?

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 com…

> 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…

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

Is it only CSG? The page says it's using FRep instead of BRep. Is FRep limited to CSG operations only?

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…

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 har…

Sounds like fun, let's write one!

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 o…

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 …

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…

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 cam…

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 the…

Thanks for posting my repo to HN! It always makes me feel like I do good work when other people post my stuff :)

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!

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 form…

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 c…

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 fr…

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…