mraison

14 ms·

91.
by mraison 12y ago
> Maybe someone else can confirm, but I think right now Rust can't cross-compile; I would hope that this changes after 1.0, as LLVM makes it fairly easy to do. Rust can cross-compile, at least for a limited set of targets (see http
92.
by mraison 12y ago
From the man page: > Unlike a shell redirect, sponge soaks up all its input before opening the output file. This allows constructing pipelines that read from and write to the same file.
93.
by mraison 12y ago
Interesting to see that the "growth curve" was already a thing back then.
94.
by mraison 12y ago
Great link, thanks!
95.
by mraison 12y ago
As noted in some comments, writing a non-trivial proof by hand with TLA+ only seems possible if there exists a good repository of non-trivial propositions that one can start from. Does anyone know of interesting initiatives out there to bui
96.
by mraison 12y ago
> I just want an online service that will generate a new credit card number for me on demand. I'm wondering why it's not more widespread. My (small) bank has been providing me a unique card number for every purchase for at leas
97.
Show HN: How to Annoy Your Coworkers for $42 Using ClojureScript and Rust(wit.ai)
74 points by mraison 12y ago|11 comments
98.
by mraison 12y ago
> most of us had in-house stl libraries for decades now I've no doubt there has been many talented programmers for decades, but what about open-sourcing these "in house" libraries if they are so great, to avoid countles
99.
by mraison 12y ago
I think that when you're not expected to publish any papers to rationalize what you're doing, you're free to use any possible ugly hack to improve your results, (using a "kitchen sink" approach where you just combin
100.
by mraison 12y ago
> Web developers MUST NOT (in the sense of RFC 2119) use HTML 5 drag and drop. They should use old-school scripts instead. As far as I remember if you do that (i.e. if you use mousedown, mouseover, etc and move your dragged element acc
101.
by mraison 12y ago
Does someone involved in the project know what is the status of desktop notifications? Last time I checked, it had been removed from the app, which was a deal breaker for me.
102.
by mraison 12y ago
> If people are willing to buy reservations, why not just charge more for the food until there is no waiting list? I don't really like the idea that restaurant owners should be forced to raise their prices just to avoid being screwe
103.
by mraison 12y ago
No you're right, that was a bit confusing - it should be fixed now :) Thanks for the feedback!
104.
by mraison 12y ago
On http://www.kifi.com you can select a Keep an on the right hand side you'll see a button to "Unkeep". http://bit.ly/1kNnQpg Also if you are on a page that you want to unkeep, you can click to u
105.
by mraison 12y ago
Software engineer at Kifi here. We've been working on this product for a year now, and are all very excited about how it's taking shape. We're of course extremely interested in any feedback you may have! http://www
106.
by mraison 12y ago
It would be even more fun if they also asked for your email address at the same time (for security, you know, to protect against viruses).
107.
by mraison 12y ago
var tens = ['10','10','10','10','10','10','10','10'].map(parseInt); var ten = tens[tens.length-1]; var two = ten % 4; console.log(two + 2);
108.
by mraison 12y ago
Interesting read, but I too would love to know more about how archeological conclusions are drawn. For example I may be too picky but I'm always suspicious when I see percentages used for analyzing a sample of 25 individuals. In my opi
109.
by mraison 12y ago
Even though Ada is now completely forgotten by most people, it's worth mentioning that the GNAT compiler is being actively maintained by the company AdaCore (which core business, as the name suggests, is about Ada). http://w
110.
by mraison 12y ago
I have the feeling that fighting this is about as important as protecting net neutrality. I wouldn't like a world where only those who can afford to buy expensive IPv4 addresses can serve their content without any obstacles, especially