AndreasFrom

5 ms·

1.
by AndreasFrom 12y ago
They give an explanation here. https://coq.inria.fr/faq?q=node/16&som=2#htoc4
2.
by AndreasFrom 12y ago
`const` is for compile-time constants where something like `let` in Rust can be used for values generated on the fly. The latter is immensely more powerful and actually provides the described benefits like guaranteeing that data is not chan
3.
OOXML SDK project opened up(people.gnome.org)
1 points by AndreasFrom 12y ago|0 comments
4.
by AndreasFrom 12y ago
Bryan O'Sullivan commented that https://mobile.twitter.com/bos31337/status/47356953136621158... and Graydon Hoare referenced it in his post on Swift http://graydon2.dreamwidth.org/5785.html
5.
by AndreasFrom 12y ago
I've written a lot of LaTeX and ConTeXt in Vim with one sentence per line without any problems.
6.
by AndreasFrom 13y ago
Mobile? Wouldn't that be even harder?
7.
by AndreasFrom 13y ago
You're right and they're not currently a goal: "Non-goals: make channels completely lock-free (this would significantly complicate implementation and make it slower for common cases)" http://talks.golang.org&#
8.
by AndreasFrom 13y ago
Clojure, like Java, has primitives. And I don't understand why you'd include it anyway, as functions are the primary form of abstraction in Clojure.
9.
by AndreasFrom 13y ago
As you acknowledge yourself, whether Haskell makes you think or not relies on what you're trained to read.
10.
Everything you need to know about Bitcoin(wired.com)
2 points by AndreasFrom 13y ago|0 comments
11.
by AndreasFrom 13y ago
Wow, I used this website for my school-assignment on GUIs a couple of years ago. It's funny to see it again.
12.
by AndreasFrom 13y ago
I think the size of the bar is actually ms/x so because Riot.js does more x's in the same period of time, the bar is shorter.
13.
by AndreasFrom 13y ago
I just started on #2 with Clojure ande F# experience and it seems really good so far. Now I'm really looking forward to reading it!
14.
by AndreasFrom 13y ago
Do you have JS enabled? The whole page falls down when interacting with it. The physics are quite nice actually and you can toss the elements around.
15.
by AndreasFrom 13y ago
Clojure has done a lot in this area on both the server- and client-side.
16.
by AndreasFrom 13y ago
I often hear good things about IdeaVim. I don't think that's want you meant, but I just wanted to throw it in there.
17.
IBM releases FusedOS(github.com)
4 points by AndreasFrom 13y ago|0 comments
18.
by AndreasFrom 13y ago
It only supports one finger at a time, but it works well then.
19.
Microsoft Surface preorders are open with more info(microsoft.com)
2 points by AndreasFrom 13y ago|0 comments
20.
by AndreasFrom 13y ago
Has anyone tested the difference between Mozilla's Firefox build and a local fully-optimized for your machine build? Or something similar with another piece of open source software. I wonder how much the "Gentoo-model" of com
21.
by AndreasFrom 13y ago
I agree with your second point, but the code is monospaced for me.
22.
Cognitect: Relevance merges with Metadata Partners (Datomic)(cognitect.com)
107 points by AndreasFrom 13y ago|26 comments
23.
by AndreasFrom 13y ago
Yes, sorry about the ambiguity.
24.
by AndreasFrom 13y ago
Uhmm, all the images are oriented right in Safari on my iPad.
25.
by AndreasFrom 13y ago
The Scribd link is added automatically and is just another way to browse the pdf.
26.
by AndreasFrom 13y ago
I actually find the difference noticeable when using Chrome on iOS. Only Safari can JIT Javascript for instance. At least with Chrome it also seems to run out of memory faster (it has access to less?).
27.
by AndreasFrom 13y ago
Too bad it can't compete with Safari on performance, because the UI is interesting.
28.
by AndreasFrom 13y ago
I tend to switch back and forth between Vim and Emacs and am curious. What causes the hate in your relationship with Vim?
29.
by AndreasFrom 13y ago
Yes, Chris Granger even contributed upstream according to this http://www.chris-granger.com/2013/08/22/light-table-050/
30.
by AndreasFrom 13y ago
Ligth Table [1] works well and uses node-WebKit. 1: http://www.lighttable.com/

More ›