rsrsrs86

13 ms·

151.
by rsrsrs86 5y ago
A non-response. Gee, I hate PR.
152.
by rsrsrs86 5y ago
I think I get what anger means here. I think the OP meant that you need to express your angry feelings that come from the frustration; just holding back will only make it worse. Don't think OP meant to be violent.
153.
by rsrsrs86 5y ago
For me, it's medication. Alprazolam, whenever I feel that my anxiety level is unjustifiable - and panic causes a lot more physical pain that plain anxiety, so I kinda know if it's a panic attack. Over the years I started getting u
154.
by rsrsrs86 5y ago
Yes. It reads like other thousands of articles in medium or equivalent... Just content marketing hoping it gets some traffic.
155.
by rsrsrs86 5y ago
Presenting dimensionality reduction as the starting point in machine learning is not usual, but it does make sense, technically. A classification model can be seen as mapping inputs from an N dimensional space to set of labels. Regression m
156.
by rsrsrs86 5y ago
do { a <- m; return r } Ia desugared to m >>= (\a -> return r) Think of it m.then(function (a) return r)
157.
by rsrsrs86 5y ago
Ocaml is so nice and fast! The very fast feedback you get from the compiler is amazing.
158.
by rsrsrs86 5y ago
There is generally no typing in run time. One of the practices in writing compilers is to skip type checks during run time, because you know beforehand that no type errors are possible. That is type erasure. If you're interested, looku
159.
by rsrsrs86 5y ago
I think the gradual typing is just too permissive... It's not the same feel you get with type inference. Not to say that a unsound type system is useless. If you're coming from dynamically typed languages it will certainly feel sa
160.
by rsrsrs86 5y ago
Surprised no one mentioned the relationship of this to Alloy
161.
by rsrsrs86 5y ago
This. You do not need music theory if you have a very special ability to know what sounds come from your playing. It becomes muscle memory. And you need a pretty good ear.
162.
by rsrsrs86 5y ago
Not exactly a CEO but a founder - it can really be rough. You are really the less free person. Every step you take can have huge consequences - there's too many people involved in a deal, there's your team, your clients. You are a
163.
by rsrsrs86 5y ago
Ok I expressed it wrong. I am just trying to embed a legal DSL it in Haskell and get the type system to help building type-safe contracts - same as embedding the STLC in GADTs
164.
by rsrsrs86 5y ago
How can I reach you?
165.
by rsrsrs86 5y ago
Working with Catala in academy. Also trying to model Catala as a type system embedded in Haskell
166.
How do you design a “Keep Out ” sign to last 10k years? (2002)(salon.com)
2 points by rsrsrs86 5y ago|0 comments
167.
by rsrsrs86 6y ago
Most comments here are asking guarantees from type checkers that actually belong to semantic analysis and static analysis in general but not necessarily related to type checking.
168.
by rsrsrs86 6y ago
Oh, I find that Haskell and Elm are much quicker to write code because I spend much less time on little programming mistakes and refactorings are much safer
169.
by rsrsrs86 6y ago
In that vein, GitHub should work the same for issues you say?
170.
Ask HN: An issue/bug-tracker specific for data?
3 points by rsrsrs86 6y ago|4 comments
171.
by rsrsrs86 6y ago
Indeed
172.
Ask HN: Anyone to try new languages for the upcoming AoC?
2 points by rsrsrs86 6y ago|2 comments
173.
by rsrsrs86 6y ago
Witty, but not wholly faithful to statistical learning theory
174.
Fixed Points in Natural Language Translation(github.com)
3 points by rsrsrs86 7y ago|0 comments
175.
by rsrsrs86 7y ago
I use both, and for very different problems.
176.
Ask HN: What are your views on authoritarian governments?
1 points by rsrsrs86 7y ago|0 comments
177.
by rsrsrs86 7y ago
I think the "give your data to a computer and ask it to find patterns" kinda defeats the purpose of showing what machine learning is. There is a lot involved in framing a problem in a way that it can be solved by a computer...
178.
Tell HN: Merry Xmas
8 points by rsrsrs86 7y ago|0 comments
179.
by rsrsrs86 7y ago
This is very interesting work! I am poking around CPython and Python bytecode to learn about compilation/VM/interpretation and I was thinking about writing cose directly in Python bytecode to play with. The UI on top looks very ha
180.
by rsrsrs86 7y ago
This is a very clever question. If your problem's domain is not too big then you are basically right, but in practice things are more complicated, larger, noisier, etc. I am conflating many things here of course.

More ›