urs2102

20 ms·

151.
by urs2102 11y ago
> If, instead of the above example, you declared x of type (List Any), the list '(1 2 "hello") could still be bound to it, and the call to car would still be accepted by the compiler, but not the call to sqrt. (sqrt (car &
152.
by urs2102 11y ago
> We know statically that its car is x, of symbol type. I'm saying within a statically typed Lisp or when trying to use HM's algorithm w you don't know what type of car of (x y z). The type of "symbol" is not spe
153.
by urs2102 11y ago
Echoing auxym something Bell Labs like, I've had two professors Bjarne [0] and Aho [1] who both worked there, and I've always got the sense that it was just about research and building things for the sake of building them. Seems l
154.
by urs2102 11y ago
SICP is a great book to start with although it's not about web development (src https://xuanji.appspot.com/isicp/ ) and like lnk2w said, The Odin Project is something I usually recommend to people interested in web
155.
by urs2102 11y ago
So let's try an experiment: (sqrt (car '(1 2 "hello")) How would this work according to you, if the car function will return type Any? And what is the difference between ?x and Any? Thanks by the way!
156.
by urs2102 11y ago
Thanks man, this is great. > since it's the heterogeneous nature that will prevent optimization anyway That was the part I was wondering about. I wanted to see if it was possible to do compile time type checking on a list where I do
157.
by urs2102 11y ago
Just checked back on this post from yesterday. The reason I didn't pose it to SO is that 1. I still do associate HN with a strong Lisp community. 2. It's more of a question of opinion versus a technical question itself and figured
158.
by urs2102 11y ago
Hm, that's what I'm thinking as well. Scala's Any list is probably not the same, but I think with Haskell you can do it if you make a union of types. I just want to see if there are ways to allow type inference while keeping
159.
Ask HN: Can I have heterogenous lists in a Lisp while preserving type inference?
21 points by urs2102 11y ago|32 comments
160.
by urs2102 11y ago
I definitely agree with ML and OCaml, but why do you recommend Lisp for compiler work? I love working withs Lisps, but how do you deal with dynamic typing bugs in compiler work? I prefer OCaml/Haskell/ML for its really strong stat
161.
by urs2102 11y ago
I'm not sure, I was wondering the same thing. Although the repo seems to still be active[0]. [0]: https://github.com/LightTable/LightTable
162.
by urs2102 11y ago
I usually use vim for everything, but really checked out Light Table more recently. I wasn't able to tell from any of the demos, but does Cursive offer something like the Instarepl feature of Light Table? I see you can send commands fr
163.
by urs2102 11y ago
Do you think it's possible that words with similar sentiments are more likely to have a longer existance? Take the word "dope" right now, which is often used as a synonym for "cool". What's the likelihood of a
164.
by urs2102 11y ago
Great name! I'm wondering if this will be like Reddit's Upvoted trying to surface interesting content from Hacker News, or if this will be focused on allowing submissions and collecting ideas to distribute as a publication? Lookin
165.
Literacy – Our World in Data(ourworldindata.org)
1 points by urs2102 11y ago|0 comments
166.
by urs2102 11y ago
Having read posts on both HN and hearing from other founders, I'd always assumed for years that it was common knowledge that Jessica was so integral to YC. Then again, I have noticed some of the changing narrative on the founding of YC
167.
by urs2102 11y ago
Thoughtbot really has some smart people who make great things. I've really liked both Hound and Formkeep (not to mention their plethora of open source projects like Suspenders, Liftoff, Paperclip, Factory Girl and more). I always get t
168.
by urs2102 11y ago
Any way to make this open source so one could create the same service in reverse (maybe with Google popularity data if possible)? Use case: finding a popular bar in a new town.
169.
World Wide Web: Tim Berners-Lee’s Original Home Page for the World Wide Web(info.cern.ch)
2 points by urs2102 11y ago|0 comments
170.
by urs2102 11y ago
I think the first footnote in this is extremely valid. It all depends on what performance metric the selection process is identifying compared to the performance metric you use to determine success. I would suspect the larger issue is that
171.
by urs2102 11y ago
Did people primarily not use terminal multiplexers like GNU Screen back then (or like tmux today)? It seems to be a lot of windows all over the place. Other than that, jumping a little ahead --I remember getting Windows XP in late 2001, ear
172.
Google Frightgeist: See which costumes are trending nationally(frightgeist.withgoogle.com)
1 points by urs2102 11y ago|0 comments
173.
by urs2102 11y ago
> Let's boil down all this egghead complexity and get to what matters. You actually be may be right - this Gladwell style of writing is usually quite dangerous, because it does give the reader the sense that they really know what th
174.
by urs2102 11y ago
I've always written essays on ideas, but it wasn't until when I wanted to start publishing my writing on a blog that I found this idea true. Often times flowery language can sacrifice the clarity of your prose for attempting to ap
175.
by urs2102 11y ago
Wanted to share my first proper post with the community here and see what people think.
176.
Predicting the Future and Exponential Growth(uday.io)
1 points by urs2102 11y ago|1 comments
177.
by urs2102 11y ago
Despite this definitely being important for all businesses at some point, where does this come in when evaluating businesses like early Facebook and Google where prior to monetization, wouldn't they appear to be "default dead&quot
178.
Ask HN: Outside of HN and Reddit what discussion communities are you a part of?
21 points by urs2102 11y ago|18 comments
179.
by urs2102 11y ago
@sama - Interesting, I definitely think the toss up between meaningful research and high paying engineering work is very broken. You mentioned how compensation will not be determined based on conferences and papers, do you have any specific
180.
by urs2102 11y ago
@sama - are the members of these groups going to be selected by YC or will there be an application process similar to YC? This is awesome to see, maybe YCR could be the next Bell Labs or something (although Google probably has a hold on tha

More ›