ac

4 ms·

1.
by ac 1mo ago
Core Decay is a spiritual successor to the Deus Ex series. It’s a very small team indeed working on it right now. Just one person working on it now, IIRC.
2.
by ac 4y ago
First of all, thank you for making and sharing this. I have a few technical questions, if I may. Does Bearer perform data-flow analysis? If so: 1. Is the analysis inter-procedural? 2. Is it sound? (Does it only report findings that it’s abs
3.
by ac 8y ago
+1 for s2n. It's one of the select few C codebases that is actually a pleasure to read.
4.
by ac 8y ago
I've been using it for a while. It's been the most convenient solution, and worth the price. Before that I used a 3rd party Send-To-Kindle bookmarklet, and Instapaper via Calibre in the past. Pros: + QR-codes at the end of article
5.
by ac 10y ago
Does the library export data from the web service or from the device itself? Also, do you know if the device can be prevented from syncing with the cloud? PS: Thank you for your contributions. I've looked into 3rd party open source syn
6.
by ac 10y ago
I assume you are looking at the table on slide 7. I think that is the percentage of all who completed relative to those who started it, so whether many CS undergrads go intro industry (which is most likely the case) or not is irrelevant. Ho
7.
by ac 10y ago
Could you, please, explain what .service files are and how they eliminate the need for bash scripts etc? Couldn't find anything in search results.
8.
by ac 10y ago
> As a PhD student [..]. The hiring process we mentioned completely ignores teaching skills [...] As a PhD student myself, I have observed the hiring process at my department many times. Here teaching experience counts, and teaching skil
9.
by ac 10y ago
Depends on the publisher. Both ACM and IEEE allow publishing a copy on your website, don't know about Springer or Elsevier. Most authors in CS that I know publish copies as soon as they are accepted for publication.
10.
by ac 10y ago
It's not the departments that pay for subscriptions: it's the universities themselves (usually, the library).
11.
by ac 10y ago
> * Publicly recommend to all scientific boards that the hiring process should judge applicants by the merit of their publications, not by their journal's ranking. Unfortunately, that's just not practical. Science has become (a
12.
by ac 11y ago
Not the parent poster, but I have custom agendas too. The two I use the most are "Today" and "Weekly review". "Today" has the ordinary day agenda block, but sprinkled with habits tracking, as well as the separa
13.
by ac 11y ago
> fmap has a tight relationship with <$> Yup, it's really tight: <$> is fmap
14.
by ac 13y ago
> Am I the only one who noticed they had articles published in August 2014 on that site? It's probably the papers that have just been accepted for publication, but haven't actually been published yet. The submission-reviewing-p
15.
by ac 13y ago
>> I'm kind of shocked there hasn't been a horrified response from HN Haskell fans. "What an ignorant fool?! How could he abandon the holy grail of Haskell?!" -- like that? :) For someone who wrote a lot of compile
16.
by ac 13y ago
> Maemo/Meego wasn't really an option. Now, why wasn't it? It was a solid OS, and there were two great products running it (N900 and N9).
17.
by ac 13y ago
If you have time, Steve Awodey's book "Category Theory" is both beginner-friendly and helpful. You can get a PDF of an early pre-print online. He covers monads towards the end. If you are an experienced Haskell programmer, I&
18.
by ac 13y ago
Yes, I think you should avoid Haskell (and any language with managed memory) on embedded systems or in very performance critical applications. Beyond that, it's going to be a choice of whether there are enough well-supported libraries
19.
by ac 13y ago
> Instances can't be explicitly imported either. You can import only instances by saying "import A.B.C.Instances ()" where A.B.C.Instances is the name of the module where the instances are defined.
20.
by ac 13y ago
Depends on what you are doing. The library eco-system used to be a weak link in Haskell, but I see it improving. To clarify, there were (and still are) a lot of broken and/or poorly documented and/or unmaintained libraries on Hack
21.
by ac 13y ago
Well, I'm exploring the process myself. From what I understand, you need to patch the CM source tree for your device with the patches found at [1] (choose the branch that corresponds to the correct Android version; CM 10 is AOSP 4.1.2,
22.
by ac 13y ago
Thanks for an insightful reply. > Frankly I think that level of privacy control has little appeal to the mainstream. One might argue that the whole idea of privacy is of little appeal to the mainstream. > The fake-/no-data approa
23.
by ac 13y ago
While I think this mode is useful, what I'd really like to see is Cyanogen integrating OpenPDroid [1,2]. OpenPDroid allows for more fine-grained permissions which, I think, is what we need. Because the real problem is not running suspi
24.
by ac 14y ago
Does it mean we won't be able to use "ssh -X" on Ubuntu in future?
25.
by ac 14y ago
> but it [acid-state] also limits the points of entry into 1 (which means no outside queries/reports which SQL does very well). > [...] > If you can live with the fact that your application is the only entry point for your data,
26.
by ac 14y ago
Replication and sharding (horizontal and vertical scaling) in acid-state are in development right now. The developer's page has the road-map as well as his contact details: http://acid-state.seize.it . There's another project for distribut
27.
by ac 14y ago
Various forms of program analysis/verification. Some examples of applications where SMT is heavily used are automated theorem provers, symbolic execution engines, model checking tools.
28.
by ac 14y ago
So can mobileorg synchronise via git now?
29.
by ac 14y ago
> There is a newer "advanced" guide: http://www.sirc.org/publik/advanced_flirting.shtml Note that the "advanced" guide almost doesn't have any of the HOWTO advice from the OP link, however I've read and would recommend to read both: t
30.
by ac 14y ago
Are there any decent and, preferably, open-source alternatives to Skype video calls? I don't mind hosting my own server if that's required.

More ›